Control.Monad.Objective.Class

Documentation

type Instance' e m = Instance e m m

class Monad m => MonadObjective m where

Associated Types

data Instance e n m

Methods

invoke :: Monad n => Instance e n m -> e a -> m (n (m a))

Send a message to the pointed one.

new :: Object e n -> m (Instance e n m)

Add an object to the environment.

Instances

MonadObjective IO

MonadObjective (ST s)

(.-) :: (Monad n, Elevate n m, MonadObjective m, Elevate m f) => Instance e n m -> e a -> f a infix 3

(.^) :: (Elevate e f, Monad n, Elevate n m, MonadObjective m, Elevate m g) => Instance f n m -> e a -> g a infix 3