Control.Monad.LPMonad.Supply.Class

Documentation

class Monad m => MonadSupply s m | m -> s where

A class implemented by monads that can supply values of type s. Minimal implementation: supplyNew or supplyN.

Methods

supplyNew :: m s

Supply a new value of type s.

supplyN :: Int -> m [s]

Supply n values of type s.

Instances

Monad m => MonadSupply Var (VSupplyT m)

MonadSupply x m => MonadSupply x (StateT s m)

MonadSupply x m => MonadSupply x (ContT r m)

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

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

(Error e, MonadSupply x m) => MonadSupply x (ErrorT e m)

MonadSupply x m => MonadSupply x (ReaderT r m)

MonadSupply x m => MonadSupply x (StateT s m)