Documentation
progImports :: Prog -> [String]Source
updProg :: (String -> String) -> ([String] -> [String]) -> ([TypeDecl] -> [TypeDecl]) -> ([FuncDecl] -> [FuncDecl]) -> ([OpDecl] -> [OpDecl]) -> Prog -> ProgSource
allVarsProg :: Prog -> [Int]Source
allConstructors :: TypeDecl -> [ConsDecl]Source
isDataTypeDecl :: TypeDecl -> BoolSource
isPublicType :: TypeDecl -> BoolSource
isPublicCons :: ConsDecl -> BoolSource
isExternalType :: TypeDecl -> BoolSource
updFunc :: (QName -> QName) -> (Int -> Int) -> (Visibility -> Visibility) -> (TypeExpr -> TypeExpr) -> (Rule -> Rule) -> FuncDecl -> FuncDeclSource
updFuncVisibility :: (Visibility -> Visibility) -> FuncDecl -> FuncDeclSource
isExternal :: FuncDecl -> BoolSource
isCombFunc :: FuncDecl -> Expr -> BoolSource
incVarsFunc :: Int -> FuncDecl -> FuncDeclSource
allVarsFunc :: FuncDecl -> [Int]Source
isRuleExternal :: Rule -> BoolSource
allVarsRule :: Rule -> [Int]Source
isFuncType :: TypeExpr -> BoolSource
isTypeCons :: TypeExpr -> BoolSource
typeConsName :: TypeExpr -> Maybe QNameSource
resultType :: TypeExpr -> TypeExprSource
allTypeCons :: TypeExpr -> [QName]Source
exprFromFreeDecl :: Expr -> ExprSource
isFuncCall :: Expr -> BoolSource
isPartCall :: Expr -> BoolSource
isConsCall :: Expr -> BoolSource
missingFuncArgs :: Expr -> Maybe IntSource
caseBranches :: Expr -> [BranchExpr]Source
isCombFuncCall :: CombType -> BoolSource
isCombPartCall :: CombType -> BoolSource
isCombConsCall :: CombType -> BoolSource
missingArgs :: CombType -> IntSource
branchExpr :: BranchExpr -> ExprSource
isConsPattern :: Pattern -> BoolSource
updBranch :: (Pattern -> Pattern) -> (Expr -> Expr) -> BranchExpr -> BranchExprSource
updBranchPattern :: (Pattern -> Pattern) -> BranchExpr -> BranchExprSource
updBranchExpr :: (Expr -> Expr) -> BranchExpr -> BranchExprSource
patLiteral :: Pattern -> Maybe LiteralSource
rnmAllVarsBranch :: (Int -> Int) -> BranchExpr -> BranchExprSource
allVarsBranch :: BranchExpr -> [Int]Source
allVarsPat :: Pattern -> [Int]Source