| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.Supply.Class
Description
A class for monads supporting a supply of fresh names
Documentation
class Monad m => MonadSupply (m :: Type -> Type) where #
Minimal complete definition
Nothing
Methods
Instances
| Monad m => MonadSupply (SupplyT m) # | |
| MonadSupply m => MonadSupply (StateT s m) # | |
| (Monoid w, MonadSupply m) => MonadSupply (WriterT w m) # | |
| (Monoid w, MonadSupply m) => MonadSupply (RWST r w s m) # | |
freshName :: MonadSupply m => m Text #