Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- class Monad m => MonadSupply s m | m -> s where
Documentation
class Monad m => MonadSupply s m | m -> s where Source
A class implemented by monads that can supply values of type s
. Minimal implementation: supplyNew
or supplyN
.
Nothing
Monad m => MonadSupply Var (VSupplyT m) Source | |
MonadSupply x m => MonadSupply x (StateT s m) Source | |
MonadSupply x m => MonadSupply x (ContT r m) Source | |
(MonadSupply x m, Monoid w) => MonadSupply x (WriterT w m) Source | |
(MonadSupply x m, Monoid w) => MonadSupply x (WriterT w m) Source | |
(Error e, MonadSupply x m) => MonadSupply x (ErrorT e m) Source | |
MonadSupply x m => MonadSupply x (ReaderT r m) Source | |
MonadSupply x m => MonadSupply x (StateT s m) Source |