Game.Antisplice.Utils.ListBuilder

Documentation

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

Methods

li :: i -> l ()

buildList :: l () -> [i]

Instances

ListBuilder (LazyBuilder i) i

ListBuilder (StrictBuilder i) i

newtype StrictBuilderT i m a

Constructors

StrictBuilder

Fields

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

Instances

MonadTrans (StrictBuilderT i)

ListBuilder (StrictBuilder i) i

Monad m => Monad (StrictBuilderT i m)

Functor m => Functor (StrictBuilderT i m)

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)

ListBuilder (LazyBuilder i) i

Monad m => Monad (LazyBuilderT i m)

Functor m => Functor (LazyBuilderT i m)

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 ()