MetaObject-0.0.4: A meta-object system for Haskell based on Perl 6 Source code Contents Index

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 Source

open type to represent Code Methods run :: c -> Arguments m -> m (Invocant m) Source 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 Source

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 Source

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 Source

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

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

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

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

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

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

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

Produced by Haddock version 2.3.0