Safe Haskell | None |
---|---|
Language | Haskell98 |
A class for monads supporting a supply of fresh names
Documentation
class Monad m => MonadSupply m where Source
Monad m => MonadSupply (SupplyT m) Source | |
MonadSupply m => MonadSupply (StateT s m) Source |
freshName :: MonadSupply m => m String Source