Safe Haskell | None |
---|---|
Language | Haskell98 |
Fresh variable supply
Documentation
MonadTrans SupplyT | |
MonadError e m => MonadError e (SupplyT m) | |
MonadReader r m => MonadReader r (SupplyT m) | |
MonadWriter w m => MonadWriter w (SupplyT m) | |
Monad m => Monad (SupplyT m) | |
Functor m => Functor (SupplyT m) | |
(Monad m, Functor m) => Applicative (SupplyT m) | |
Monad m => MonadSupply (SupplyT m) |
runSupplyT :: Integer -> SupplyT m a -> m (a, Integer) Source
evalSupplyT :: Functor m => Integer -> SupplyT m a -> m a Source
evalSupply :: Integer -> Supply a -> a Source