Control.Monad.Objective.Class

Documentation

class Monad m => MonadObjective s m where

Associated Types

type Base m :: * -> *

data Control s e

Methods

(.-) :: Control s e -> e a -> m a infix 3

Send a message to the pointed one.

invoke :: Object e (Base m) -> m (Control s e)

Add an object to the environment.

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