purescript-0.8.0.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Control.Monad.Supply

Description

Fresh variable supply

Documentation

newtype SupplyT m a Source

Constructors

SupplyT 

Fields

unSupplyT :: StateT Integer m a
 

Instances

MonadTrans SupplyT Source 
MonadError e m => MonadError e (SupplyT m) Source 
MonadWriter w m => MonadWriter w (SupplyT m) Source 
MonadReader r m => MonadReader r (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

type Supply = SupplyT Identity Source

runSupply :: Integer -> Supply a -> (a, Integer) Source

evalSupply :: Integer -> Supply a -> a Source