| 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 where Source #
Minimal complete definition
Nothing
Methods
fresh :: (MonadTrans t, MonadSupply n, m ~ t n) => m Integer Source #
peek :: (MonadTrans t, MonadSupply n, m ~ t n) => m Integer Source #
Instances
| Monad m => MonadSupply (SupplyT m) Source # | |
| (Monoid w, MonadSupply m) => MonadSupply (WriterT w m) Source # | |
| MonadSupply m => MonadSupply (StateT s m) Source # | |
freshName :: MonadSupply m => m Text Source #