Control.Monad.Gen

Documentation

data GenT e m a

The monad transformer for generating fresh values.

Instances

MonadError e m => MonadError e (GenT e' m)

MonadReader r m => MonadReader r (GenT e m)

MonadState s m => MonadState s (GenT e m)

MonadWriter w m => MonadWriter w (GenT e m)

Monad m => MonadGen e (GenT e m)

MonadTrans (GenT e)

(Monad m, Functor m, MonadPlus m) => Alternative (GenT e m)

Monad m => Monad (GenT e m)

Functor m => Functor (GenT e m)

MonadFix m => MonadFix (GenT e m)

MonadPlus m => MonadPlus (GenT e m)

(Functor f, Monad f) => Applicative (GenT e f)

MonadIO m => MonadIO (GenT e m)

MonadCont m => MonadCont (GenT e m)

type Gen e = GenT e Identity

module Control.Monad.Gen.Class

data Successor a

successor :: (e -> e) -> Successor e

runGenT :: (Enum e, Monad m) => GenT e m a -> m a

Run a GenT computation starting from the value toEnum 0

runGen :: Enum e => Gen e a -> a

Run a Gen computation starting from the value toEnum 0

runGenTWith :: Monad m => Successor e -> e -> GenT e m a -> m a

Run a GenT computation starting from a specific value e with a the next fresh value determined by Successor e.

runGenWith :: Successor e -> e -> Gen e a -> a

Run a GenT computation starting from a specific value e with a the next fresh value determined by Successor e.

runGenTFrom :: (Monad m, Enum e) => e -> GenT e m a -> m a

Run a GenT computation starting from a specific value e.

runGenFrom :: Enum e => e -> Gen e a -> a

Run a Gen computation starting from a specific value e.