Safe Haskell	Safe
Language	Haskell2010

Control.Monad.Gen.Class

Synopsis

class Monad m => MonadGen e m | m -> e where
- gen :: m e

Documentation

class Monad m => MonadGen e m | m -> e where Source #

The MTL style class for generating fresh values

Methods

gen :: m e Source #

Generate a fresh value e, gen should never produce the same value within a monadic computation.

Instances

Instances details

MonadGen e m => MonadGen e (MaybeT m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: MaybeT m e Source #
MonadGen e m => MonadGen e (ListT m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: ListT m e Source #
MonadGen e m => MonadGen e (ExceptT e' m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: ExceptT e' m e Source #
(Monoid w, MonadGen e m) => MonadGen e (WriterT w m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: WriterT w m e Source #
MonadGen e m => MonadGen e (StateT s m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: StateT s m e Source #
(MonadGen e m, Monoid s) => MonadGen e (WriterT s m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: WriterT s m e Source #
MonadGen e m => MonadGen e (ReaderT s m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: ReaderT s m e Source #
MonadGen e m => MonadGen e (StateT s m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: StateT s m e Source #
MonadGen e m => MonadGen e (IdentityT m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: IdentityT m e Source #
Monad m => MonadGen e (GenT e m) Source #
Instance details Defined in Control.Monad.Gen Methods gen :: GenT e m e Source #
MonadGen e m => MonadGen e (ContT r m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: ContT r m e Source #
(Monoid w, MonadGen e m) => MonadGen e (RWST r w s m) Source #
Instance details Defined in Control.Monad.Gen.Class Methods gen :: RWST r w s m e Source #