Control.Monad.Supply.Class

A class for monads supporting a supply of fresh names

Documentation

class Monad m => MonadSupply m where

Methods

fresh :: m Integer

peek :: m Integer

fresh :: (MonadTrans t, MonadSupply n, m ~ t n) => m Integer

peek :: (MonadTrans t, MonadSupply n, m ~ t n) => m Integer

Instances

Monad m => MonadSupply (SupplyT m)

Methods

fresh :: SupplyT m Integer

peek :: SupplyT m Integer

(Monoid w, MonadSupply m) => MonadSupply (WriterT w m)

Methods

fresh :: WriterT w m Integer

peek :: WriterT w m Integer

MonadSupply m => MonadSupply (StateT s m)

Methods

fresh :: StateT s m Integer

peek :: StateT s m Integer

freshName :: MonadSupply m => m Text