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.

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

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

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

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

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