Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- class Monad m => MonadObjective m where
- invoke :: MonadObjective m => Object e (Residence m) -> m (Address e m)
- (.&) :: (MonadObjective m, Stateful s e) => Address e m -> StateT s m a -> m a
- (.|-) :: MonadObjective m => Address e m -> Free e a -> m a
Documentation
class Monad m => MonadObjective m where Source
(.-) :: Address e m -> e a -> m a infix 3 Source
Send a message to the pointed one.
new :: Object e (Residence m) -> m (Address e m) Source
Add an object to the environment.
MonadObjective IO | |
MonadObjective m => MonadObjective (IdentityT m) | |
MonadObjective m => MonadObjective (ListT m) | |
MonadObjective m => MonadObjective (MaybeT m) | |
MonadObjective m => MonadObjective (ContT r m) | |
MonadObjective m => MonadObjective (ReaderT r m) | |
MonadObjective m => MonadObjective (StateT s m) | |
MonadObjective m => MonadObjective (StateT s m) | |
MonadObjective m => MonadObjective (ExceptT er m) | |
(Monoid w, MonadObjective m) => MonadObjective (WriterT w m) | |
(Monoid w, MonadObjective m) => MonadObjective (WriterT w m) | |
(Monoid w, MonadObjective m) => MonadObjective (RWST r w s m) | |
(Monoid w, MonadObjective m) => MonadObjective (RWST r w s m) |
invoke :: MonadObjective m => Object e (Residence m) -> m (Address e m) Source
Deprecated: Use new instead of misleading invoke
Old synonym for new
.
(.|-) :: MonadObjective m => Address e m -> Free e a -> m a Source
like sequential
, but it allows ad-hoc use of Free
.