MO.Compile.Class

Documentation

type ClassName = Atom

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

Minimal complete definition

class_name, superclasses, roles, attributes, public_methods, private_methods

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)

Typeable ((* -> *) -> *) AnyClass

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

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

_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)