Control.Monad.Supply

Fresh variable supply

Documentation

newtype SupplyT m a

Constructors

SupplyT

Fields

• unSupplyT :: StateT Integer m a

Instances

MonadTrans SupplyT

Methods

lift :: Monad m => m a -> SupplyT m a

MonadReader r m => MonadReader r (SupplyT m)

Methods

ask :: SupplyT m r

local :: (r -> r) -> SupplyT m a -> SupplyT m a

reader :: (r -> a) -> SupplyT m a

MonadError e m => MonadError e (SupplyT m)

Methods

throwError :: e -> SupplyT m a

catchError :: SupplyT m a -> (e -> SupplyT m a) -> SupplyT m a

MonadWriter w m => MonadWriter w (SupplyT m)

Methods

writer :: (a, w) -> SupplyT m a

tell :: w -> SupplyT m ()

listen :: SupplyT m a -> SupplyT m (a, w)

pass :: SupplyT m (a, w -> w) -> SupplyT m a

Monad m => Monad (SupplyT m)

Methods

(>>=) :: SupplyT m a -> (a -> SupplyT m b) -> SupplyT m b

(>>) :: SupplyT m a -> SupplyT m b -> SupplyT m b

return :: a -> SupplyT m a

fail :: String -> SupplyT m a

Functor m => Functor (SupplyT m)

Methods

fmap :: (a -> b) -> SupplyT m a -> SupplyT m b

(<$) :: a -> SupplyT m b -> SupplyT m a

Monad m => Applicative (SupplyT m)

Methods

pure :: a -> SupplyT m a

(<*>) :: SupplyT m (a -> b) -> SupplyT m a -> SupplyT m b

liftA2 :: (a -> b -> c) -> SupplyT m a -> SupplyT m b -> SupplyT m c

(*>) :: SupplyT m a -> SupplyT m b -> SupplyT m b

(<*) :: SupplyT m a -> SupplyT m b -> SupplyT m a

MonadPlus m => Alternative (SupplyT m)

Methods

empty :: SupplyT m a

(<|>) :: SupplyT m a -> SupplyT m a -> SupplyT m a

some :: SupplyT m a -> SupplyT m [a]

many :: SupplyT m a -> SupplyT m [a]

MonadPlus m => MonadPlus (SupplyT m)

Methods

mzero :: SupplyT m a

mplus :: SupplyT m a -> SupplyT m a -> SupplyT m a

Monad m => MonadSupply (SupplyT m)

Methods

fresh :: SupplyT m Integer

peek :: SupplyT m Integer

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