Safe Haskell | None |
---|---|
Language | Haskell98 |
Fresh variable supply
Documentation
MonadTrans SupplyT Source | |
MonadError e m => MonadError e (SupplyT m) Source | |
MonadReader r m => MonadReader r (SupplyT m) Source | |
MonadWriter w m => MonadWriter w (SupplyT m) Source | |
Monad m => Monad (SupplyT m) Source | |
Functor m => Functor (SupplyT m) Source | |
Monad m => Applicative (SupplyT m) Source | |
Monad m => MonadSupply (SupplyT m) Source |
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