Perspectives.Query.QueryTypes

data QueryFunctionDescription

A description of a calculation with its domain and range. The last two members represent whether the described function is functional and whether it is mandatory.

Constructors

• SQD Domain QueryFunction Range ThreeValuedLogic ThreeValuedLogic
• UQD Domain QueryFunction QueryFunctionDescription Range ThreeValuedLogic ThreeValuedLogic
• BQD Domain QueryFunction QueryFunctionDescription QueryFunctionDescription Range ThreeValuedLogic ThreeValuedLogic

Instances

• Generic QueryFunctionDescription _
• Eq QueryFunctionDescription
• Encode QueryFunctionDescription
• Decode QueryFunctionDescription
• Show QueryFunctionDescription

range :: QueryFunctionDescription -> Range

domain :: QueryFunctionDescription -> Range

functional :: QueryFunctionDescription -> ThreeValuedLogic

mandatory :: QueryFunctionDescription -> ThreeValuedLogic

data Domain

The QueryCompilerEnvironment contains the domain of the queryStep. It also holds an array of variables that have been declared.

Constructors

• RDOM (ADT EnumeratedRoleType)
• CDOM (ADT ContextType)
• VDOM Range

Instances

• Encode Domain
• Decode Domain
• Generic Domain _
• Show Domain
• Eq Domain

type Range = Domain

sumOfDomains :: Domain -> Domain -> Maybe Domain

productOfDomains :: Domain -> Domain -> Maybe Domain

domain2roleType :: Partial => Domain -> ADT EnumeratedRoleType