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 #