Control.Monad.Objective.Class

MonadObjective class and operations

Documentation

type Inst' f g = Inst g f g

type Instance' f g = Inst g f g

type Instance f g m = Inst m f g

class ObjectiveBase b where

Associated Types

data Inst b f g

Methods

new :: Object f g -> b (Inst b f g)

invoke :: Monad r => (forall x. b x -> r x) -> (forall x. g x -> r x) -> Inst b f g -> f a -> r a

Instances

ObjectiveBase IO

ObjectiveBase (ST s)

(.-) :: (ObjectiveBase b, Elevate b m, Elevate g m, Monad m) => Inst b f g -> f a -> m a infix 3

(.^) :: (ObjectiveBase b, Elevate b m, Elevate g m, Monad m, Elevate e f) => Inst b f g -> e a -> m a infix 3

Invoke a method.

(.&) :: (ObjectiveBase b, Elevate b m, Elevate g m, Monad m, Elevate (State s) f) => Inst b f g -> StateT s m a -> m a infix 3

Specialized (.^) for StateT