Colonnade.Encoding

Documentation

mapContent :: Functor f => (c1 -> c2) -> Encoding f c1 a -> Encoding f c2 a

headless :: (a -> content) -> Encoding Headless content a

headed :: content -> (a -> content) -> Encoding Headed content a

runRow :: (c1 -> c2) -> Encoding f c1 a -> a -> Vector c2

Consider providing a variant the produces a list instead. It may allow more things to get inlined in to a loop.

runBothMonadic_ :: Monad m => Encoding Headed content a -> (content -> content -> m b) -> a -> m ()

runRowMonadic :: (Monad m, Monoid b) => Encoding f content a -> (content -> m b) -> a -> m b

runRowMonadic_ :: Monad m => Encoding f content a -> (content -> m b) -> a -> m ()

runRowMonadicWith :: Monad m => b -> (b -> b -> b) -> Encoding f content a -> (content -> m b) -> a -> m b

runHeader :: (c1 -> c2) -> Encoding Headed c1 a -> Vector c2

runHeaderMonadicGeneral :: (Monad m, Monoid b, Foldable h) => Encoding h content a -> (content -> m b) -> m b

This function is a helper for abusing Foldable to optionally render a header. Its future is uncertain.

runHeaderMonadic :: (Monad m, Monoid b) => Encoding Headed content a -> (content -> m b) -> m b

runHeaderMonadicGeneral_ :: (Monad m, Monoid b, Foldable h) => Encoding h content a -> (content -> m b) -> m ()

runHeaderMonadic_ :: Monad m => Encoding Headed content a -> (content -> m b) -> m ()

fromMaybe :: c -> Encoding f c a -> Encoding f c (Maybe a)

columns :: (b -> a -> c) -> (b -> f c) -> Vector b -> Encoding f c a