Control.Monads

Documentation

newtype SupplyT m a

Constructors

SupplyT

Fields

unSupplyT :: StateT VarId m a

Instances

MonadTrans SupplyT

MonadReader r m => MonadReader r (SupplyT m)

MonadState s m => MonadState s (SupplyT m)

MonadWriter w m => MonadWriter w (SupplyT m)

Monad m => Monad (SupplyT m)

Functor m => Functor (SupplyT m)

MonadFix m => MonadFix (SupplyT m)

Monad m => Applicative (SupplyT m)

MonadException m => MonadException (SupplyT m)

MonadIO m => MonadIO (SupplyT m)

Monad m => MonadSupply (SupplyT m)

type Supply = SupplyT Identity

class Monad m => MonadSupply m where

Minimal complete definition

Nothing

Methods

fresh :: m VarId

Create a fresh variable identifier

Instances

MonadSupply m => MonadSupply (ExceptionT m)

Monad m => MonadSupply (SupplyT m)

MonadSupply m => MonadSupply (StateT s m)

MonadSupply m => MonadSupply (ReaderT r m)

MonadSupply m => MonadSupply (StateT s m)

(MonadSupply m, Monoid w) => MonadSupply (WriterT w m)

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

runSupply :: Supply a -> a

type Loc = Integer

Program location

newtype TickT m a

Tick monad

Constructors

TickT

Fields

unTickT :: StateT Loc m a

Instances

MonadTrans TickT

MonadReader r m => MonadReader r (TickT m)

MonadState s m => MonadState s (TickT m)

MonadWriter w m => MonadWriter w (TickT m)

Monad m => Monad (TickT m)

Functor m => Functor (TickT m)

MonadFix m => MonadFix (TickT m)

Monad m => Applicative (TickT m)

Monad m => MonadTick (TickT m)

type Tick = TickT Identity

class Monad m => MonadTick m where

Minimal complete definition

Nothing

Methods

tick :: m ()

loc :: m Loc

Instances

Monad m => MonadTick (TickT m)

MonadTick m => MonadTick (StateT s m)

MonadTick m => MonadTick (ReaderT r m)

MonadTick m => MonadTick (StateT s m)

(MonadTick m, Monoid w) => MonadTick (WriterT w m)

runTickT :: Monad m => TickT m a -> m a

runTick :: Tick a -> a

freshStr :: MonadSupply m => String -> m String

Create a fresh string identifier with the given prefix