MetaObject-0.0.6: A meta-object system for Haskell based on Perl 6 Contents Index

MO.Base

Synopsis

data (Typeable1 m, Monad m) => Invocant m = forall a . (Show a, Eq a, Ord a, Typeable a) => MkInvocant a (AnyResponder m) 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) stubInvocant :: (Typeable1 m, Monad m) => Invocant m

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) (Typeable1 m, Monad m) => Typeable (Invocant m)

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

Produced by Haddock version 2.7.2