| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Colonnade.Encoding
- 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
- 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
Documentation
mapContent :: Functor f => (c1 -> c2) -> Encoding f c1 a -> Encoding f c2 a Source
runRow :: (c1 -> c2) -> Encoding f c1 a -> a -> Vector c2 Source
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 Source