Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Monad.Supply
Description
Fresh variable supply
Documentation
newtype SupplyT (m :: Type -> Type) a #
Instances
MonadTrans SupplyT # | |
Defined in Control.Monad.Supply | |
MonadError e m => MonadError e (SupplyT m) # | |
Defined in Control.Monad.Supply Methods throwError :: e -> SupplyT m a # catchError :: SupplyT m a -> (e -> SupplyT m a) -> SupplyT m a # | |
MonadReader r m => MonadReader r (SupplyT m) # | |
MonadWriter w m => MonadWriter w (SupplyT m) # | |
MonadPlus m => Alternative (SupplyT m) # | |
Monad m => Applicative (SupplyT m) # | |
Functor m => Functor (SupplyT m) # | |
Monad m => Monad (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 #