| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Gen
Documentation
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) | |
| 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) |
class Monad m => MonadGen e m | m -> e where Source
The MTL style class for generating fresh values
Methods
Generate a fresh value e, gen should never produce the
same value within a monadic computation.
Instances
| MonadGen e m => MonadGen e (MaybeT m) | |
| MonadGen e m => MonadGen e (ListT m) | |
| MonadGen e m => MonadGen e (IdentityT m) | |
| (MonadGen e m, Error err) => MonadGen e (ErrorT err m) | |
| (Monoid w, MonadGen e m) => MonadGen e (WriterT w m) | |
| MonadGen e m => MonadGen e (StateT s m) | |
| MonadGen e m => MonadGen e (ContT r m) | |
| (MonadGen e m, Monoid s) => MonadGen e (WriterT s m) | |
| MonadGen e m => MonadGen e (ReaderT s m) | |
| MonadGen e m => MonadGen e (StateT s m) | |
| (Monoid w, MonadGen e m) => MonadGen e (RWST r w s m) |
runGenT :: (Enum e, Monad m) => GenT e m a -> m a Source
Run a GenT computation starting from the value
toEnum 0
runGenTWith :: Monad m => e -> GenT e m a -> m a Source
Run a GenT computation starting from a specific value e.
runGenWith :: e -> Gen e a -> a Source
Run a Gen computation starting from a specific value e.