Language.PureScript.Supply

Fresh variable supply

Documentation

newtype SupplyT m a

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)

evalSupplyT :: Functor m => Integer -> SupplyT m a -> m a

type Supply = SupplyT Identity

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

evalSupply :: Integer -> Supply a -> a

fresh :: Monad m => SupplyT m Integer

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