CF
Documentation
data Pragma
data Exp
cf2dataLists :: CF -> [Data]
firstEntry :: CF -> Cat
specialCats :: CF -> [Cat]
specialCatsP :: [Cat]
specialData :: CF -> [Data]
isCoercion :: Fun -> Bool
isDefinedRule :: Fun -> Bool
isProperLabel :: Fun -> Bool
allCatsIdNorm :: CF -> [Cat]
allEntryPoints :: CF -> [Cat]
reservedWords :: CFG f -> [String]
reversibleCats :: CFG f -> [Cat]
findAllReversibleCats :: CF -> [Cat]
isParsable :: Rul f -> Bool
rulesForCat :: CF -> Cat -> [Rule]
ruleGroups :: CF -> [(Cat, [Rule])]
ruleGroupsInternals :: CF -> [(Cat, [Rule])]
notUniqueFuns :: CF -> [Fun]
badInheritence :: CF -> [Cat]
isEmptyListCat :: CF -> Cat -> Bool
revSepListRule :: Rul f -> Rul f
normCatOfList :: Cat -> Cat
tokenPragmas :: CFG f -> [(String, Reg)]
tokenNames :: CF -> [String]
precLevels :: CF -> [Int]
internalCat :: Cat
isPositionCat :: CFG f -> Cat -> Bool
layoutPragmas :: CF -> (Bool, [String], [String])
cf2cfpRule :: Rule -> RuleP
rulesOfCFP :: CFP -> [RuleP]
ruleGroupsP :: CFP -> [(Cat, [RuleP])]
allEntryPointsP :: CFP -> [Cat]