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, Enum e) => MonadGen e (GenT e m)

MonadTrans (GenT e)

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)

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

MonadIO m => MonadIO (GenT e m)

MonadCont m => MonadCont (GenT e m)

type Gen e = GenT e Identity

module Control.Monad.Gen.Class

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 => e -> GenT e m a -> m a

Run a GenT computation starting from a specific value e.

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

Run a Gen computation starting from a specific value e.