Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Monad m => MonadProgram instr m | m -> instr where Source
MonadProgram instr m => MonadProgram instr (ListT m) | |
MonadProgram instr m => MonadProgram instr (IdentityT m) | |
MonadProgram instr m => MonadProgram instr (MaybeT 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 (ContT r m) | |
MonadProgram instr m => MonadProgram instr (StateT s m) | |
MonadProgram instr m => MonadProgram instr (StateT s m) | |
MonadProgram instr m => MonadProgram instr (ReaderT e m) | |
Monad m => MonadProgram instr (ProgramT instr 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) |
wrapT :: (m ~ t n, Monad m, MonadTrans t, MonadProgram instr n) => Program instr (m a) -> m a Source
liftP :: MonadProgram instr m => Program instr a -> m a Source