Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Monad.Supply
Description
Fresh variable supply
Documentation
Instances
MonadTrans SupplyT # | |
MonadReader r m => MonadReader r (SupplyT m) # | |
MonadError e m => MonadError e (SupplyT m) # | |
MonadWriter w m => MonadWriter w (SupplyT m) # | |
Monad m => Monad (SupplyT m) # | |
Functor m => Functor (SupplyT m) # | |
Monad m => Applicative (SupplyT m) # | |
MonadPlus m => Alternative (SupplyT m) # | |
MonadPlus m => MonadPlus (SupplyT m) # | |
Monad m => MonadSupply (SupplyT m) # | |
runSupplyT :: Integer -> SupplyT m a -> m (a, Integer) #
evalSupplyT :: Functor m => Integer -> SupplyT m a -> m a #
evalSupply :: Integer -> Supply a -> a #