Documentation
class (Typeable1 m, Monad m, Typeable c, Eq c) => Class m c | c -> m whereSource
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
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
data (Monad m, Typeable1 m) => MOClass m Source
MkMOClass | |
|
emptyMOClass :: (Typeable1 m, Monad m) => MOClass mSource
blessMOClass :: Class m c => c -> AnyMethod mSource
data MethodAttached m Source
forall c a . (Class m c, Method m a) => MkMethodAttached !c !a |
Monad m => Method m (MethodAttached m) |