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