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)
• 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