MO.Compile.Role

Documentation

data Role m

Constructors

MkRole

Fields

r_roles :: [Role m]

r_attributes :: [Attribute m]

r_public_methods :: Collection (AnyMethod m)

r_private_methods :: Collection (AnyMethod m)

Instances

Monad m => Eq (Role m)

emptyRole :: Role m

parent_roles :: Role m -> [Role m]

role_public_methods :: Role m -> Collection (AnyMethod m)

role_private_methods :: Role m -> Collection (AnyMethod m)

role_attributes :: Role m -> [Attribute m]

all_using_role_shadowing :: (Show a, Ord a) => Role m -> (Role m -> Collection a) -> Collection a

all_using_role_inheritance :: (Show a, Ord a) => Role m -> (Role m -> Collection a) -> Collection a