MO.Base

Documentation

data (Typeable1 m, Monad m) => Invocant m

Constructors

forall a . (Show a, Eq a, Ord a, Typeable a) => MkInvocant a (AnyResponder m)

Instances

(Typeable1 m, Monad m) => Eq (Invocant m)

(Typeable1 m, Monad m) => Ord (Invocant m)

(Typeable1 m, Monad m) => Show (Invocant m)

Typeable ((* -> *) -> *) Invocant

class Monad m => Codeable m c where

open type to represent Code

Methods

run :: c -> Arguments m -> m (Invocant m)

Instances

(Typeable1 m, Monad m) => Codeable m PureCode

(Typeable1 m, Monad m) => Codeable m (HsCode m)

(Typeable * (NoCode m), Monad m) => Codeable m (NoCode m)

newtype NoCode m

stub code which always return the same

Constructors

NoCode (Invocant m)

Instances

(Typeable * (NoCode m), Monad m) => Codeable m (NoCode m)

Show (NoCode m)

newtype PureCode

Pure code that works with any monad.

Constructors

PureCode (forall m. (Typeable1 m, Monad m) => Arguments m -> Invocant m)

Instances

Show PureCode

(Typeable1 m, Monad m) => Codeable m PureCode

newtype Monad m => HsCode m

Real monadic primitive code.

Constructors

HsCode (Arguments m -> m (Invocant m))

Instances

(Typeable1 m, Monad m) => Codeable m (HsCode m)

Show (HsCode m)

type Arguments m = Capt (Invocant m)

withInvocant :: (Typeable1 m, Monad m) => Arguments m -> Invocant m -> Arguments m

getInvocant :: (Typeable1 m, Monad m) => Arguments m -> Maybe (Invocant m)

namedArg :: (Typeable1 m, Monad m) => Arguments m -> Atom -> Maybe (Invocant m)

stubInvocant :: (Typeable1 m, Monad m) => Invocant m