Data.Chatty.ListBuilder

Documentation

class Monad l => ListBuilder l i | l -> i where

Minimal complete definition

li, buildList

Methods

li :: i -> l ()

buildList :: l () -> [i]

Instances

ListBuilder (LazyBuilder i) i

Methods

li :: i -> LazyBuilder i ()

buildList :: LazyBuilder i () -> [i]

ListBuilder (StrictBuilder i) i

Methods

li :: i -> StrictBuilder i ()

buildList :: StrictBuilder i () -> [i]

newtype StrictBuilderT i m a

Constructors

StrictBuilder

Fields

• runStrictBuilderT :: [i] -> m (a, [i])

Instances

MonadTrans (StrictBuilderT i)

Methods

lift :: Monad m => m a -> StrictBuilderT i m a

ListBuilder (StrictBuilder i) i

Methods

li :: i -> StrictBuilder i ()

buildList :: StrictBuilder i () -> [i]

Monad m => Monad (StrictBuilderT i m)

Methods

(>>=) :: StrictBuilderT i m a -> (a -> StrictBuilderT i m b) -> StrictBuilderT i m b

(>>) :: StrictBuilderT i m a -> StrictBuilderT i m b -> StrictBuilderT i m b

return :: a -> StrictBuilderT i m a

fail :: String -> StrictBuilderT i m a

Functor m => Functor (StrictBuilderT i m)

Methods

fmap :: (a -> b) -> StrictBuilderT i m a -> StrictBuilderT i m b

(<$) :: a -> StrictBuilderT i m b -> StrictBuilderT i m a

(Functor m, Monad m) => Applicative (StrictBuilderT i m)

Methods

pure :: a -> StrictBuilderT i m a

(<*>) :: StrictBuilderT i m (a -> b) -> StrictBuilderT i m a -> StrictBuilderT i m b

(*>) :: StrictBuilderT i m a -> StrictBuilderT i m b -> StrictBuilderT i m b

(<*) :: StrictBuilderT i m a -> StrictBuilderT i m b -> StrictBuilderT i m a

type StrictBuilder i = StrictBuilderT i Identity

strictBuild :: StrictBuilderT i Identity () -> [i]

newtype LazyBuilderT i m a

Constructors

LazyBuilder

Fields

• runLazyBuilderT :: ([i] -> [i]) -> m (a, [i] -> [i])

Instances

MonadTrans (LazyBuilderT i)

Methods

lift :: Monad m => m a -> LazyBuilderT i m a

ListBuilder (LazyBuilder i) i

Methods

li :: i -> LazyBuilder i ()

buildList :: LazyBuilder i () -> [i]

Monad m => Monad (LazyBuilderT i m)

Methods

(>>=) :: LazyBuilderT i m a -> (a -> LazyBuilderT i m b) -> LazyBuilderT i m b

(>>) :: LazyBuilderT i m a -> LazyBuilderT i m b -> LazyBuilderT i m b

return :: a -> LazyBuilderT i m a

fail :: String -> LazyBuilderT i m a

Functor m => Functor (LazyBuilderT i m)

Methods

fmap :: (a -> b) -> LazyBuilderT i m a -> LazyBuilderT i m b

(<$) :: a -> LazyBuilderT i m b -> LazyBuilderT i m a

(Functor m, Monad m) => Applicative (LazyBuilderT i m)

Methods

pure :: a -> LazyBuilderT i m a

(<*>) :: LazyBuilderT i m (a -> b) -> LazyBuilderT i m a -> LazyBuilderT i m b

(*>) :: LazyBuilderT i m a -> LazyBuilderT i m b -> LazyBuilderT i m b

(<*) :: LazyBuilderT i m a -> LazyBuilderT i m b -> LazyBuilderT i m a

type LazyBuilder i = LazyBuilderT i Identity

lazyBuild :: LazyBuilderT i Identity () -> [i]

lis :: ListBuilder l i => [i] -> l ()

lit :: ListBuilder l (a, b) => a -> b -> l ()

(>-<) :: ListBuilder l (a, b) => a -> b -> l ()