Documentation
A type suitable for use as a linear program variable.
A monad transformer capable of supplying unique variables.
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) | |
MonadPlus m => MonadPlus (VSupplyT m) | |
MonadIO m => MonadIO (VSupplyT m) | |
MonadCont m => MonadCont (VSupplyT m) |