Safe Haskell | None |
---|
Fresh variable supply
Documentation
MonadTrans SupplyT | |
MonadError e m => MonadError e (SupplyT m) | |
Monad m => Monad (SupplyT m) | |
Functor m => Functor (SupplyT m) | |
(Monad m, Functor m) => Applicative (SupplyT m) |
runSupplyT :: Integer -> SupplyT m a -> m (a, Integer)Source
evalSupplyT :: Functor m => Integer -> SupplyT m a -> m aSource
evalSupply :: Integer -> Supply a -> aSource