Perspectives.Syntax

data ContextDeclaration

Constructors

• ContextDeclaration QualifiedName QualifiedName (Array Comment)

Instances

• Generic ContextDeclaration _
• Show ContextDeclaration

data EnclosingContextDeclaration

Constructors

• EnclosingContextDeclaration PEIdentifier (Array Comment)

Instances

• Generic EnclosingContextDeclaration _
• Show EnclosingContextDeclaration

type RolRecord = { _id :: RoleInstance, _rev :: Revision_, binding :: Binding, context :: ContextInstance, gevuldeRollen :: Object (Array RoleInstance), occurrence :: Int, properties :: Object (Array Value), pspType :: EnumeratedRoleType }

newtype PerspectRol

Constructors

• PerspectRol RolRecord

Instances

• Generic PerspectRol _
• Show PerspectRol
• Eq PerspectRol
• Newtype PerspectRol _
• Encode PerspectRol
• Decode PerspectRol
• Revision PerspectRol
• Identifiable PerspectRol RoleInstance

newtype PerspectContext

Constructors

• PerspectContext ContextRecord

Instances

• PerspectContextClass PerspectContext
• Generic PerspectContext _
• Show PerspectContext
• Encode PerspectContext
• Decode PerspectContext
• Eq PerspectContext
• Newtype PerspectContext _
• Identifiable PerspectContext ContextInstance
• Revision PerspectContext

type ContextRecord = { _id :: ContextInstance, _rev :: Revision_, buitenRol :: RoleInstance, displayName :: String, pspType :: ContextType, rolInContext :: Object (Array RoleInstance) }

type Binding = Maybe RoleInstance

class PerspectContextClass c  where

Members

• identifier :: c -> ContextInstance
• pspType :: c -> ContextType
• externalRole :: c -> RoleInstance
• roles :: c -> Object (Array RoleInstance)

Instances

• PerspectContextClass PerspectContext

binding :: RoleInstance -> Binding