purescript-0.5.7.1: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.Supply

Description

Fresh variable supply

Documentation

newtype SupplyT m a Source

Constructors

SupplyT 

Fields

unSupplyT :: StateT Integer m a
 

Instances

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

type Supply = SupplyT IdentitySource

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

evalSupply :: Integer -> Supply a -> aSource

fresh :: Monad m => SupplyT m IntegerSource

freshName :: (Functor m, Monad m) => SupplyT m StringSource