Control.Monad.Supply

Fresh variable supply

Documentation

newtype SupplyT m a

Constructors

SupplyT

Fields

unSupplyT :: StateT Integer m a

Instances

MonadTrans SupplyT

MonadError e m => MonadError e (SupplyT m)

MonadWriter w m => MonadWriter w (SupplyT m)

MonadReader r m => MonadReader r (SupplyT m)

Monad m => Monad (SupplyT m)

Functor m => Functor (SupplyT m)

Monad m => Applicative (SupplyT m)

Monad m => MonadSupply (SupplyT m)

runSupplyT :: Integer -> SupplyT m a -> m (a, Integer)

evalSupplyT :: Functor m => Integer -> SupplyT m a -> m a

type Supply = SupplyT Identity

runSupply :: Integer -> Supply a -> (a, Integer)

evalSupply :: Integer -> Supply a -> a