MO.Run
- 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)
- 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
Documentation
data MethodInvocation m Source
Constructors
| MkMethodInvocation | |
Fields
| |
class Monad m => ResponderInterface m a | a -> m whereSource
Methods
fromMethodList :: [(MethodName, MethodCompiled m)] -> m aSource
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 mSource
data MethodTable m Source
This is a static method table.
Constructors
| MkMethodTable | |
Fields
| |
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) |
ivDispatch :: (Typeable1 m, Monad m) => Invocant m -> MethodInvocation m -> m (Invocant m)Source
module MO.Base