Control.Monad.Objective.Class

Documentation

class Monad m => MonadObjective m where

Associated Types

data Address e m

type Residence m :: * -> *

Methods

(.-) :: Address e m -> e a -> m a infix 3

Send a message to the pointed one.

invoke :: Object e (Residence m) -> m (Address e m)

Add an object to the environment.

Instances

MonadObjective IO

MonadObjective m => MonadObjective (IdentityT m)

MonadObjective m => MonadObjective (MaybeT m)

MonadObjective m => MonadObjective (ListT m)

(Monoid w, MonadObjective m) => MonadObjective (WriterT w m)

(Monoid w, MonadObjective m) => MonadObjective (WriterT w m)

MonadObjective m => MonadObjective (ExceptT er m)

MonadObjective m => MonadObjective (StateT s m)

MonadObjective m => MonadObjective (StateT s m)

MonadObjective m => MonadObjective (ReaderT r m)

MonadObjective m => MonadObjective (ContT r m)

(Monoid w, MonadObjective m) => MonadObjective (RWST r w s m)

(Monoid w, MonadObjective m) => MonadObjective (RWST r w s m)

(.&) :: (MonadObjective m, Stateful s e) => Address e m -> StateT s m a -> m a infix 3