MetaObject-0.0.4: A meta-object system for Haskell based on Perl 6Source codeContentsIndex
MO.Compile.Class
Documentation
type ClassName = AtomSource
class (Typeable1 m, Monad m, Typeable c, Eq c) => Class m c | c -> m whereSource
Methods
class_name :: c -> ClassNameSource
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 mSource
attributes :: c -> [Attribute m]Source
public_methods :: c -> Collection (AnyMethod m)Source
private_methods :: c -> Collection (AnyMethod m)Source
class_interface :: c -> AnyResponder mSource
show/hide 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
show/hide Instances
data (Monad m, Typeable1 m) => MOClass m Source
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
show/hide 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 mSource
_bless :: MethodNameSource
newMOClass :: (Typeable1 m, Monad m) => MOClass m -> MOClass mSource
blessMOClass :: Class m c => c -> AnyMethod mSource
data MethodAttached m Source
Constructors
forall c a . (Class m c, Method m a) => MkMethodAttached !c !a
show/hide Instances
Produced by Haddock version 2.3.0