Control.Monad.LPMonad.Supply

Documentation

module Control.Monad.LPMonad.Supply.Class

newtype Var

A type suitable for use as a linear program variable.

Constructors

Var

Fields

varId :: Int

Instances

Enum Var

Eq Var

Ord Var

Read Var

Show Var

Monad m => MonadSupply Var (VSupplyT m)

type VSupply = VSupplyT Identity

A monad capable of supplying unique variables.

data VSupplyT m a

A monad transformer capable of supplying unique variables.

Instances

MonadTrans VSupplyT

MonadError e m => MonadError e (VSupplyT m)

MonadReader r m => MonadReader r (VSupplyT m)

MonadState s m => MonadState s (VSupplyT m)

MonadWriter w m => MonadWriter w (VSupplyT m)

Monad m => MonadSupply Var (VSupplyT m)

Monad m => Monad (VSupplyT m)

Functor m => Functor (VSupplyT m)

MonadFix m => MonadFix (VSupplyT m)

Monad m => Applicative (VSupplyT m)

MonadPlus m => Alternative (VSupplyT m)

MonadPlus m => MonadPlus (VSupplyT m)

MonadIO m => MonadIO (VSupplyT m)

MonadCont m => MonadCont (VSupplyT m)

runVSupply :: VSupply a -> a

runVSupplyT :: Monad m => VSupplyT m a -> m a