Safe Haskell | None |
---|
MO.Compile.Class
Documentation
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]
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
data AnyClass m
data (Monad m, Typeable1 m) => MOClass m
Constructors
MkMOClass | |
Fields
|
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) |