MetaObject-0.0.6.20150815: A meta-object system for Haskell based on Perl 6

Safe HaskellNone
LanguageHaskell98

MO.Compile.Class

Documentation

type ClassName = Atom Source

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

Minimal complete definition

class_name, superclasses, roles, attributes, public_methods, private_methods

Methods

class_name :: c -> ClassName Source

superclasses :: c -> [AnyClass m] Source

class_precedence_list :: c -> [AnyClass m] Source

all_attributes :: c -> [Attribute m] Source

all_attribute_methods :: c -> [AnyMethod m] Source

all_methods :: c -> [AnyMethod m] Source

all_regular_methods :: c -> [AnyMethod m] Source

roles :: c -> [Role m] Source

merged_roles :: c -> Role m Source

attributes :: c -> [Attribute m] Source

public_methods :: c -> Collection (AnyMethod m) Source

private_methods :: c -> Collection (AnyMethod m) Source

class_interface :: c -> AnyResponder m Source

Instances

(Typeable1 m, Monad m) => Class m (MOClass m) 
(Typeable1 m, Monad m) => Class m (AnyClass m) 

data AnyClass m Source

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) 
Typeable ((* -> *) -> *) AnyClass 

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

Constructors

MkMOClass 

Fields

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) 
Typeable ((* -> *) -> *) MOClass 

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

_bless :: MethodName Source

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

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

data MethodAttached m Source

Constructors

forall c a . (Class m c, Method m a) => MkMethodAttached !c !a 

Instances