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

MO.Compile.Class

Documentation

type ClassName = Atom

class (Typeable1 m, Monad m, Typeable c, Eq c) => Class m c | c -> m where

Methods class_name :: c -> ClassName superclasses :: c -> [AnyClass m] class_precedence_list :: c -> [AnyClass m] all_attributes :: c -> [Attribute m] all_attribute_methods :: c -> [AnyMethod m] all_methods :: c -> [AnyMethod m] all_regular_methods :: c -> [AnyMethod m] roles :: c -> [Role m] merged_roles :: c -> Role m attributes :: c -> [Attribute m] public_methods :: c -> Collection (AnyMethod m) private_methods :: c -> Collection (AnyMethod m) class_interface :: c -> AnyResponder m Instances (Typeable1 m, Monad m) => Class m (MOClass m) (Typeable1 m, Monad m) => Class m (AnyClass m)

data AnyClass m

Constructors forall c . Class m c => MkClass !c Instances (Typeable1 m, Monad m) => Class m (AnyClass m) (Typeable1 m, Monad m) => Eq (AnyClass m) (Typeable1 m, Monad m) => Show (AnyClass m) (Typeable1 m, Monad m) => Typeable (AnyClass m)

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

Constructors MkMOClass moc_parents :: [AnyClass m] moc_roles :: [Role m] moc_attributes :: [Attribute m] moc_public_methods :: Collection (AnyMethod m) moc_private_methods :: Collection (AnyMethod m) moc_name :: ClassName Instances (Typeable1 m, Monad m) => Class m (MOClass m) (Typeable1 m, Monad m) => Eq (MOClass m) (Typeable1 m, Monad m) => Ord (MOClass m) (Typeable1 m, Monad m) => Show (MOClass m) (Typeable1 m, Monad m) => Typeable (MOClass m)

emptyMOClass :: (Typeable1 m, Monad m) => MOClass m

_bless :: MethodName

newMOClass :: (Typeable1 m, Monad m) => MOClass m -> MOClass m

blessMOClass :: Class m c => c -> AnyMethod m

data MethodAttached m

Constructors forall c a . (Class m c, Method m a) => MkMethodAttached !c !a Instances Monad m => Method m (MethodAttached m)

Produced by Haddock version 2.1.0