Perspectives.Types.ObjectGetters

externalRoleOfADT_ :: (ADT ContextType) ~~~> EnumeratedRoleType

externalRoleOfADT :: ADT ContextType -> MP (ADT EnumeratedRoleType)

lookForRoleType :: String -> (ContextType ~~~> RoleType)

If a role with the given qualified name is available, return it as a RoleType. From the type we can find out its RoleKind, too.

lookForUnqualifiedRoleType :: String -> ContextType ~~~> RoleType

We simply require the Pattern to match the end of the string.

lookForRoleInContext :: (RoleType -> Boolean) -> ContextType ~~~> RoleType

lookForContextRole :: (RoleType -> Boolean) -> ContextType ~~~> RoleType

lookForUserRole :: (RoleType -> Boolean) -> ContextType ~~~> RoleType

lookForRoleTypeOfADT :: String -> ((ADT ContextType) ~~~> RoleType)

lookForUnqualifiedRoleTypeOfADT :: String -> (ADT ContextType) ~~~> RoleType

We simply require the Pattern to match the end of the string.

lookForRoleOfADT :: (RoleType -> Boolean) -> (ADT ContextType) ~~~> RoleType

roleInContext :: ContextType ~~~> RoleType

contextRole :: ContextType ~~~> RoleType

userRole :: ContextType ~~~> RoleType

contextAspectsClosure :: ContextType ~~~> ContextType

lookForPropertyType_ :: String -> (EnumeratedRoleType ~~~> PropertyType)

lookForUnqualifiedPropertyType_ :: String -> (EnumeratedRoleType ~~~> PropertyType)

We simply require the Pattern to match the end of the string.

lookForPropertyType :: String -> ((ADT EnumeratedRoleType) ~~~> PropertyType)

Look for a Property on a given ADT, using a qualified name. Note: use this function to check that the property is actually defined.

lookForUnqualifiedPropertyType :: String -> ((ADT EnumeratedRoleType) ~~~> PropertyType)

Look for a Property on a given ADT, using the postfix of a name.

lookForProperty :: (PropertyType -> Boolean) -> (ADT EnumeratedRoleType) ~~~> PropertyType

Look for a Property on a given ADT, using a criterium.

propertiesOfRole :: String ~~~> PropertyType

viewsOfRole :: String ~~~> ViewType

lookForUnqualifiedViewType_ :: String -> (EnumeratedRoleType ~~~> ViewType)

lookForUnqualifiedViewType :: String -> ((ADT EnumeratedRoleType) ~~~> ViewType)

lookForView :: (ViewType -> Boolean) -> (ADT EnumeratedRoleType) ~~~> ViewType

qualifyRoleInDomain :: String -> String ~~~> RoleType

qualifyEnumeratedRoleInDomain :: String -> String ~~~> EnumeratedRoleType

qualifyCalculatedRoleInDomain :: String -> String ~~~> CalculatedRoleType

qualifyContextInDomain :: String -> String ~~~> ContextType