|
|
|
|
Synopsis |
|
data MethodInvocation m = MkMethodInvocation {} | | class Monad m => ResponderInterface m a | a -> m where | | | data Monad m => NoResponse m = NoResponse | | emptyResponder :: (Typeable1 m, Monad m) => AnyResponder m | | data MethodTable m = MkMethodTable {} | | 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 |
|
|
|
class Monad m => ResponderInterface m a | a -> m where | Source |
|
| Methods | | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
|
|
This is a static method table.
| Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
module MO.Base |
|
Produced by Haddock version 2.3.0 |