MO.Base

Synopsis

class Monad m => Codeable m c where

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

newtype NoCode m = NoCode (Invocant m)

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

newtype Monad m => HsCode m = HsCode (Arguments m -> m (Invocant 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)

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

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

Documentation

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)

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

Instances

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

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

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

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

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

Produced by Haddock version 2.1.0