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)

Methods

supplyNew :: VSupplyT m Var

supplyN :: Int -> VSupplyT m [Var]

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

Methods

supplyNew :: StateT s m x

supplyN :: Int -> StateT s m [x]

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

Methods

supplyNew :: WriterT w m x

supplyN :: Int -> WriterT w m [x]

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

Methods

supplyNew :: WriterT w m x

supplyN :: Int -> WriterT w m [x]

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

Methods

supplyNew :: ErrorT e m x

supplyN :: Int -> ErrorT e m [x]

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

Methods

supplyNew :: StateT s m x

supplyN :: Int -> StateT s m [x]

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

Methods

supplyNew :: ContT * r m x

supplyN :: Int -> ContT * r m [x]

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

Methods

supplyNew :: ReaderT * r m x

supplyN :: Int -> ReaderT * r m [x]