Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
- 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
- runHeaderMonadic :: (Monad m, Monoid b) => Encoding Headed content a -> (content -> m b) -> m b
- 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
Documentation
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 #
runRowMonadicWith :: Monad m => b -> (b -> b -> b) -> Encoding f content a -> (content -> m b) -> a -> m b Source #