Perspectives.Representation.Context

class ContextClass c  where

Members

• contextAspects :: c -> Array ContextType
• defaultPrototype :: c -> Maybe ContextInstance
• roleInContext :: c -> Array RoleType
• contextRole :: c -> Array RoleType
• externalRole :: c -> EnumeratedRoleType
• userRole :: c -> Array EnumeratedRoleType
• actions :: c -> Array ActionType
• aspects :: c -> Array ContextType
• nestedContexts :: c -> Array ContextType
• position :: c -> ArcPosition

Instances

• ContextClass Context

newtype Context

Constructors

• Context ContextRecord

Instances

• ContextClass Context
• Generic Context _
• Show Context
• Eq Context
• Newtype Context _
• Encode Context
• Decode Context
• Revision Context
• Identifiable Context ContextType

type ContextRecord = { _id :: ContextType, _rev :: Revision_, actions :: Array ActionType, context :: Maybe ContextType, contextAspects :: Array ContextType, contextRol :: Array RoleType, defaultPrototype :: Maybe ContextInstance, displayName :: String, gebruikerRol :: Array EnumeratedRoleType, kindOfContext :: ContextKind, nestedContexts :: Array ContextType, pos :: ArcPosition, rolInContext :: Array RoleType }

data ContextKind

Constructors

• Domain
• Case
• Party
• Activity
• State

Instances

• Generic ContextKind _
• Show ContextKind
• Eq ContextKind
• Encode ContextKind
• Decode ContextKind

defaultContext :: String -> String -> ContextKind -> Maybe String -> ArcPosition -> Context

We assume the id is a qualified name.