Perspectives.Instances.ObjectGetters

trackContextDependency :: EnumeratedRoleType -> (ContextInstance ##> RoleInstance) -> (ContextInstance ~~> RoleInstance)

externalRole :: ContextInstance ~~> RoleInstance

Because we never change the ExternalRole of a Context, we have no need to track it as a dependency.

getRole :: EnumeratedRoleType -> (ContextInstance ~~> RoleInstance)

contextType :: ContextInstance ~~> ContextType

Because we never change the type of a Context, we have no real need to track it as a dependency.

context :: RoleInstance ~~> ContextInstance

The ability to retrieve the Context of a RoleInstance depends on that RoleInstance being a Role of that Context.

binding :: RoleInstance ~~> RoleInstance

getProperty :: EnumeratedPropertyType -> (RoleInstance ~~> Value)

makeBoolean :: forall a. (a ~~> Value) -> (a ~~> Boolean)

Turn a function that returns strings into one that returns Booleans.

getUnqualifiedProperty :: LocalName -> (RoleInstance ~~> Value)

Get the values for the property with the local name that are directly represented on the instance of a rol of type r, including AspectProperties. E.g. getUnqualifiedProperty "voornaam"

roleType :: RoleInstance ~~> EnumeratedRoleType

Because we never change the type of a Role, we have no real need to track it as a dependency.

roleType_ :: RoleInstance -> MP EnumeratedRoleType

getRoleBinders :: EnumeratedRoleType -> (RoleInstance ~~> RoleInstance)

From the instance of a Rol of any kind, find the instances of the Rol of the given type that bind it (that have it as their binding). The type of rname (RolDef) may be psp:Context$externalRole.

getUnqualifiedRoleBinders :: LocalName -> (RoleInstance ~~> RoleInstance)

From the instance of a Rol of any kind, find the instances of the Rol with the given local name that bind it (that have it as their binding). The type of ln can be 'externalRole'.