Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Control.Monad.Operational.Class
Documentation
class Monad m => MonadProgram instr m | m -> instr where #
Minimal complete definition
Methods
liftProgram :: Program instr a -> m a #
Instances
MonadProgram instr m => MonadProgram instr (ListT m) # | |
MonadProgram instr m => MonadProgram instr (MaybeT m) # | |
MonadProgram instr m => MonadProgram instr (IdentityT * m) # | |
(MonadProgram instr m, Monoid w) => MonadProgram instr (WriterT w m) # | |
(MonadProgram instr m, Monoid w) => MonadProgram instr (WriterT w m) # | |
MonadProgram instr m => MonadProgram instr (StateT s m) # | |
MonadProgram instr m => MonadProgram instr (StateT s m) # | |
Monad m => MonadProgram instr (ProgramT instr m) # | |
MonadProgram instr m => MonadProgram instr (ContT * r m) # | |
MonadProgram instr m => MonadProgram instr (ReaderT * e m) # | |
(MonadProgram instr m, Monoid w) => MonadProgram instr (RWST r w s m) # | |
(MonadProgram instr m, Monoid w) => MonadProgram instr (RWST r w s m) # | |
liftProgramTrans :: (Monad (t n), MonadTrans t, MonadProgram instr n) => Program instr a -> t n a #
singleton :: MonadProgram instr m => instr a -> m a #