MO.Run

Documentation

data MethodInvocation m

Constructors

MkMethodInvocation

Fields

mi_name :: !MethodName

mi_arguments :: !(Arguments m)

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

Methods

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

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

Instances

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

Monad m => ResponderInterface m (NoResponse m)

data Monad m => NoResponse m

Constructors

NoResponse

Instances

Monad m => ResponderInterface m (NoResponse m)

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

data MethodTable m

This is a static method table.

Constructors

MkMethodTable

Fields

mt_methods :: !(AtomMap (MethodCompiled m))

Instances

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

data AnyResponder m

Constructors

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

Instances

Typeable ((* -> *) -> *) AnyResponder

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

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

module MO.Base