| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Objective.Class
- 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
Methods
(.-) :: 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.
Instances
| 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.