| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||
data MethodInvocation m | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
class Monad m => ResponderInterface m a | a -> m where | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
data Monad m => NoResponse m | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
emptyResponder :: (Typeable1 m, Monad m) => AnyResponder m | |||||||||||||||||||||||||||
data MethodTable m | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
data 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 | |||||||||||||||||||||||||||
mkArgs :: (Typeable1 m, Monad m) => [Invocant m] -> Arguments m | |||||||||||||||||||||||||||
module MO.Base | |||||||||||||||||||||||||||
Produced by Haddock version 2.7.2 |