Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Monad l => ListBuilder l i | l -> i where Source
ListBuilder (LazyBuilder i) i | |
ListBuilder (StrictBuilder i) i |
newtype StrictBuilderT i m a Source
StrictBuilder | |
|
MonadTrans (StrictBuilderT i) | |
ListBuilder (StrictBuilder i) i | |
Monad m => Monad (StrictBuilderT i m) | |
Functor m => Functor (StrictBuilderT i m) | |
(Functor m, Monad m) => Applicative (StrictBuilderT i m) |
type StrictBuilder i = StrictBuilderT i Identity Source
strictBuild :: StrictBuilderT i Identity () -> [i] Source
newtype LazyBuilderT i m a Source
LazyBuilder | |
|
MonadTrans (LazyBuilderT i) | |
ListBuilder (LazyBuilder i) i | |
Monad m => Monad (LazyBuilderT i m) | |
Functor m => Functor (LazyBuilderT i m) | |
(Functor m, Monad m) => Applicative (LazyBuilderT i m) |
type LazyBuilder i = LazyBuilderT i Identity Source
lazyBuild :: LazyBuilderT i Identity () -> [i] Source
lis :: ListBuilder l i => [i] -> l () Source
lit :: ListBuilder l (a, b) => a -> b -> l () Source
(>-<) :: ListBuilder l (a, b) => a -> b -> l () Source