MO.Run

Synopsis

data MethodInvocation m = MkMethodInvocation {

mi_name :: !MethodName

mi_arguments :: !(Arguments m)

}

class Monad m => ResponderInterface m a | a -> m where

fromMethodList :: [(MethodName, MethodCompiled m)] -> m a

dispatch :: a -> Invocant m -> MethodInvocation m -> m (Invocant m)

data Monad m => NoResponse m = NoResponse

emptyResponder :: (Typeable1 m, Monad m) => AnyResponder m

data MethodTable m = MkMethodTable {

mt_methods :: !(AtomMap (MethodCompiled m))

}

data AnyResponder m = forall c . ResponderInterface m c => MkResponder !(m c)

data (Typeable1 m, Monad m) => Invocant m = forall a . (Show a, Eq a, Ord a, Typeable a) => MkInvocant a (AnyResponder m)

fromInvocant :: forall m b. (Typeable1 m, Monad m, Typeable b) => Arguments m -> m b

ivDispatch :: (Typeable1 m, Monad m) => Invocant m -> MethodInvocation m -> m (Invocant m)

__ :: (Typeable1 m, Monad m, Ord a, Show a, Typeable a) => a -> Invocant m

stubInvocant :: (Typeable1 m, Monad m) => Invocant m

mkArgs :: (Typeable1 m, Monad m) => [Invocant m] -> Arguments m

module MO.Base

Documentation

data MethodInvocation m

Source

Constructors

MkMethodInvocation

mi_name :: !MethodName
mi_arguments :: !(Arguments m)

class Monad m => ResponderInterface m a | a -> m where

Source

Methods

fromMethodList :: [(MethodName, MethodCompiled m)] -> m a

Source

dispatch :: a -> Invocant m -> MethodInvocation m -> m (Invocant m)

Source

Instances

(Typeable1 m, Monad m) => ResponderInterface m (MethodTable m)

Monad m => ResponderInterface m (NoResponse m)

data Monad m => NoResponse m

Source

Constructors

NoResponse

Instances

Monad m => ResponderInterface m (NoResponse m)

emptyResponder :: (Typeable1 m, Monad m) => AnyResponder m

Source

data MethodTable m

Source

This is a static method table.

Constructors

MkMethodTable

mt_methods :: !(AtomMap (MethodCompiled m))

Instances

(Typeable1 m, Monad m) => ResponderInterface m (MethodTable m)

data AnyResponder m

Source

Constructors

forall c . ResponderInterface m c => MkResponder !(m c)

Instances

(Typeable1 m, Monad m) => Typeable (AnyResponder m)

data (Typeable1 m, Monad m) => Invocant m

Source

Constructors

forall a . (Show a, Eq a, Ord a, Typeable a) => MkInvocant a (AnyResponder m)

Instances

(Typeable1 m, Monad m) => Eq (Invocant m)

(Typeable1 m, Monad m) => Ord (Invocant m)

(Typeable1 m, Monad m) => Show (Invocant m)

(Typeable1 m, Monad m) => Typeable (Invocant m)

fromInvocant :: forall m b. (Typeable1 m, Monad m, Typeable b) => Arguments m -> m b

Source

ivDispatch :: (Typeable1 m, Monad m) => Invocant m -> MethodInvocation m -> m (Invocant m)

Source

__ :: (Typeable1 m, Monad m, Ord a, Show a, Typeable a) => a -> Invocant m

Source

stubInvocant :: (Typeable1 m, Monad m) => Invocant m

Source

mkArgs :: (Typeable1 m, Monad m) => [Invocant m] -> Arguments m

Source

module MO.Base

Produced by Haddock version 2.3.0