Documentation

freePrefixVars :: Sign EM_FORMULA e -> FormPrefix -> Set (VAR, SORT)

freeModVars :: Sign EM_FORMULA e -> MODALITY -> Set (VAR, SORT)

basicEModalAnalysis :: (BASIC_SPEC EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA, Sign EM_FORMULA EModalSign, GlobalAnnos) -> Result (BASIC_SPEC EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA, ExtSign (Sign EM_FORMULA EModalSign) Symbol, [Named (FORMULA EM_FORMULA)])

checkConstr :: Sign EM_FORMULA EModalSign -> [Named (FORMULA EM_FORMULA)] -> Result ()

frmTypeAna :: Min EM_FORMULA EModalSign

anaFrameForm :: Mix b s EM_FORMULA EModalSign -> FrameForm -> State (Sign EM_FORMULA EModalSign) (FrameForm, FrameForm)

clearVarMap :: State (Sign f e) ()

modItemStatAna :: Ana ModDefn EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA EModalSign

basItemStatAna :: Ana EM_BASIC_ITEM EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA EModalSign

addTermMod :: Sign f e -> Id -> EModalSign -> Result EModalSign

addTimeMod :: Id -> EModalSign -> Result EModalSign

addMod :: Id -> EModalSign -> Result EModalSign

addNom :: Id -> EModalSign -> Result EModalSign

sigItemStatAna :: Ana EM_SIG_ITEM EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA EModalSign

addFlexOp :: OpType -> Id -> EModalSign -> Result EModalSign

addFlexPred :: PredType -> Id -> EModalSign -> Result EModalSign

mixfixAna :: Mix EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA EModalSign

extraSigItems :: EM_SIG_ITEM -> IdSets

parenExtForm :: EM_FORMULA -> EM_FORMULA

mapExtMod :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> MODALITY -> MODALITY

mapExtPrefix :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> FormPrefix -> FormPrefix

mapExtForm :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> EM_FORMULA -> EM_FORMULA

mapExtFrameForm :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> FrameForm -> FrameForm

resolveMod :: MixResolve MODALITY

resolvePrefix :: MixResolve FormPrefix

resolveExtForm :: MixResolve EM_FORMULA

resolveFrameForm :: MixResolve FrameForm

anaFORMULA :: Mix b s EM_FORMULA EModalSign -> Sign EM_FORMULA EModalSign -> FORMULA EM_FORMULA -> Result (FORMULA EM_FORMULA, FORMULA EM_FORMULA)

getEFormPredToks :: EM_FORMULA -> Set Token

getFormPredToks :: FORMULA EM_FORMULA -> Set Token