purescript-ast-0.1.1.0: PureScript Programming Language Abstract Syntax Tree
Safe HaskellNone
LanguageHaskell2010

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 :: m Integer Source #

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

peek :: m Integer Source #

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

Instances

Instances details
Monad m => MonadSupply (SupplyT m) Source # 
Instance details

Defined in Control.Monad.Supply.Class

MonadSupply m => MonadSupply (StateT s m) Source # 
Instance details

Defined in Control.Monad.Supply.Class

(Monoid w, MonadSupply m) => MonadSupply (WriterT w m) Source # 
Instance details

Defined in Control.Monad.Supply.Class