haskell/colonnade
1
0
Fork 1
mirror of https://github.com/byteverse/colonnade.git synced 2026-09-08 04:43:50 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

let reflex-dom tables return arbitrary Monoids

Browse Source
This commit is contained in:
Andrew Martin 2017-09-28 09:55:03 -04:00
parent e3f2eb8ccf
commit 50ffb67738
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
reflex-dom-colonnade/src/Reflex/Dom/Colonnade.hs
View File

@ -587,16 +587,16 @@ data Visible a = Visible !Bool a
-- It would be nice to use foldDynMaybeM, but we still need an initial -- It would be nice to use foldDynMaybeM, but we still need an initial
-- value. We could try to wait to generate the rows until we've seen -- value. We could try to wait to generate the rows until we've seen
-- a value, but that seems confusing. -- a value, but that seems confusing.
paginated :: forall t b h m a c. paginated :: forall t b h m a c e.
(Sizable t b h, Cellular t m c, Headedness b, MonadFix m, Functor h) (Sizable t b h, Cellular t m c, Headedness b, MonadFix m, Functor h, Monoid e)
=> Bureau t b a -- ^ table class settings => Bureau t b a -- ^ table class settings
-> Pagination t m -- ^ pagination settings -> Pagination t m -- ^ pagination settings
-> a -- ^ An inhabitant of type @a@ only used for the cells in hidden rows. -> a -- ^ An inhabitant of type @a@ only used for the cells in hidden rows.
-> Colonnade h (Dynamic t a) (c ()) -- ^ column blueprint -> Colonnade h (Dynamic t a) (c e) -- ^ column blueprint
-> Dynamic t (Vector a) -- ^ table row data -> Dynamic t (Vector a) -- ^ table row data
-> m () -> m e
paginated (Bureau tableAttrs theadAttrs bodyAttrs trAttrs) (Pagination pageSize arrange makePagination) aDef col vecD = do paginated (Bureau tableAttrs theadAttrs bodyAttrs trAttrs) (Pagination pageSize arrange makePagination) aDef col vecD = do
let colLifted :: Colonnade h (Dynamic t (Visible a)) (c ()) let colLifted :: Colonnade h (Dynamic t (Visible a)) (c e)
colLifted = PF.lmap (fmap (\(Visible _ a) -> a)) col colLifted = PF.lmap (fmap (\(Visible _ a) -> a)) col
makeVals :: Dynamic t Int -> Vector (Dynamic t (Visible a)) makeVals :: Dynamic t Int -> Vector (Dynamic t (Visible a))
makeVals page = V.generate pageSize $ \ix -> do makeVals page = V.generate pageSize $ \ix -> do
@ -620,13 +620,13 @@ paginated (Bureau tableAttrs theadAttrs bodyAttrs trAttrs) (Pagination pageSize
ArrangementFooter tfootAttrs tfootTrAttrs tfootThAttrs -> mdo ArrangementFooter tfootAttrs tfootTrAttrs tfootThAttrs -> mdo
tableHeader theadAttrs colLifted tableHeader theadAttrs colLifted
let vals = makeVals page let vals = makeVals page
tableBody bodyAttrs trAttrsLifted colLifted vals e <- tableBody bodyAttrs trAttrsLifted colLifted vals
page <- elDynAttr "tfoot" (hideWhenUnipage tfootAttrs) $ do page <- elDynAttr "tfoot" (hideWhenUnipage tfootAttrs) $ do
elDynAttr "tr" tfootTrAttrs $ do elDynAttr "tr" tfootTrAttrs $ do
let attrs = zipDynWith insertSizeAttr size tfootThAttrs let attrs = zipDynWith insertSizeAttr size tfootThAttrs
elDynAttr "th" attrs $ do elDynAttr "th" attrs $ do
makePagination totalPages makePagination totalPages
return () return e
_ -> error "Reflex.Dom.Colonnade: paginated: write this code" _ -> error "Reflex.Dom.Colonnade: paginated: write this code"
-- | A paginated table with a fixed number of rows. Each row can -- | A paginated table with a fixed number of rows. Each row can