Adl.StatAna

Description

Synopsis

• basicAna :: (Context, Sign, GlobalAnnos) -> Result (Context, ExtSign Sign Symbol, [Named Sen])
• data Env = Env {
  • sign :: Sign
  • syms :: Set Symbol
  • sens :: [Named Sen]
  • msgs :: [Diagnosis]
  }
• toEnv :: Sign -> Env
• addMsgs :: [Diagnosis] -> State Env ()
• addSens :: [Named Sen] -> State Env ()
• addSyms :: Set Symbol -> State Env ()
• symsOf :: Relation -> Set Symbol
• addRel :: Relation -> State Env ()
• addIsa :: Concept -> Concept -> State Env ()
• data TypedRule = TypedRule Rule RelType
• anaRule :: Rule -> State Env Rule
• findTypeFailure :: Sign -> Rule -> Rule
• typeRule :: Sign -> Rule -> [TypedRule]
• compatible :: Rel Concept -> Concept -> Concept -> Maybe Concept
• isSubConcept :: Rel Concept -> Concept -> Concept -> Bool
• anaAtts :: KeyAtt -> State Env KeyAtt
• conceptsOf :: Sign -> Set Concept
• anaObject :: Object -> State Env ()
• anaPatElem :: PatElem -> State Env PatElem

Documentation