Adl.As

Description

Synopsis

• data Concept
  • = C Token
  • | Anything
• data RelType = RelType {
  • relSrc :: Concept
  • relTrg :: Concept
  }
• data Relation = Sgn {
  • decnm :: Token
  • relType :: RelType
  }
• bRels :: [String]
• isBRel :: String -> Bool
• data UnOp
  • = K0
  • | K1
  • | Cp
  • | Co
• data MulOp
  • = Fc
  • | Fd
  • | Fi
  • | Fu
  • | Ri
  • | Rr
  • | Re
• data Rule
  • = Tm Relation
  • | MulExp MulOp [Rule]
  • | UnExp UnOp Rule
• data Prop
  • = Uni
  • | Inj
  • | Sur
  • | Tot
  • | Sym
  • | Asy
  • | Trn
  • | Rfx
  • | Prop
• showUp :: Show a => a -> String
• allProps :: [Prop]
• data RangedProp = RangedProp {
  • propProp :: Prop
  • propRange :: Range
  }
• rProp :: Prop -> RangedProp
• data Object = Object {
  • label :: Token
  • expr :: Rule
  • props :: [RangedProp]
  • subobjs :: [Object]
  }
• data KeyAtt = KeyAtt (Maybe Token) Rule
• data KeyDef = KeyDef {
  • kdlbl :: Token
  • kdcpt :: Concept
  • kdats :: [KeyAtt]
  }
• data RuleKind
  • = SignalOn
  • | Signals
  • | Maintains
• showRuleKind :: RuleKind -> String
• data RuleHeader
  • = Always
  • | RuleHeader RuleKind Token
• data Pair = Pair Token Token
• data Plugin
  • = Service
  • | Sqlplug
  • | Phpplug
• data PatElem
  • = Pr RuleHeader Rule
  • | Pg Concept Concept
  • | Pk KeyDef
  • | Pm [RangedProp] Relation Bool
  • | Plug Plugin Object
  • | Population Bool Relation [Pair]
• data Context = Context (Maybe Token) [PatElem]
• comparePatElem :: PatElem -> PatElem -> Ordering
• mkContext :: Maybe Token -> [PatElem] -> Context

Documentation