Documentation
progImports :: Prog -> [String]Source
updProg :: (String -> String) -> ([String] -> [String]) -> ([TypeDecl] -> [TypeDecl]) -> ([FuncDecl] -> [FuncDecl]) -> ([OpDecl] -> [OpDecl]) -> Prog -> ProgSource
updProgOps :: Update Prog [OpDecl]Source
allVarsInProg :: Prog -> [VarIndex]Source
trType :: (QName -> Visibility -> [TVarIndex] -> [ConsDecl] -> a) -> (QName -> Visibility -> [TVarIndex] -> TypeExpr -> a) -> TypeDecl -> aSource
typeParams :: TypeDecl -> [TVarIndex]Source
typeConsDecls :: TypeDecl -> [ConsDecl]Source
isDataTypeDecl :: TypeDecl -> BoolSource
isExternalType :: TypeDecl -> BoolSource
updType :: (QName -> QName) -> (Visibility -> Visibility) -> ([TVarIndex] -> [TVarIndex]) -> ([ConsDecl] -> [ConsDecl]) -> (TypeExpr -> TypeExpr) -> TypeDecl -> TypeDeclSource
updCons :: (QName -> QName) -> (Int -> Int) -> (Visibility -> Visibility) -> ([TypeExpr] -> [TypeExpr]) -> ConsDecl -> ConsDeclSource
trTypeExpr :: (TVarIndex -> a) -> (QName -> [a] -> a) -> (a -> a -> a) -> TypeExpr -> aSource
isFuncType :: TypeExpr -> BoolSource
resultType :: TypeExpr -> TypeExprSource
allVarsInTypeExpr :: TypeExpr -> [TVarIndex]Source
opPrecedence :: OpDecl -> IntSource
updFunc :: (QName -> QName) -> (Int -> Int) -> (Visibility -> Visibility) -> (TypeExpr -> TypeExpr) -> (Rule -> Rule) -> FuncDecl -> FuncDeclSource
isExternal :: FuncDecl -> BoolSource
allVarsInFunc :: FuncDecl -> [VarIndex]Source
ruleExtDecl :: Rule -> StringSource
isRuleExternal :: Rule -> BoolSource
allVarsInRule :: Rule -> [VarIndex]Source
trCombType :: a -> (Int -> a) -> a -> (Int -> a) -> CombType -> aSource
missingArgs :: CombType -> IntSource
missingCombArgs :: Expr -> IntSource
caseBranches :: Expr -> [BranchExpr]Source
trExpr :: (VarIndex -> a) -> (Literal -> a) -> (CombType -> QName -> [a] -> a) -> ([(VarIndex, a)] -> a -> a) -> ([VarIndex] -> a -> a) -> (a -> a -> a) -> (CaseType -> a -> [b] -> a) -> (Pattern -> a -> b) -> Expr -> aSource
updBranches :: (Pattern -> Expr -> BranchExpr) -> Expr -> ExprSource
isFuncCall :: Expr -> BoolSource
isFuncPartCall :: Expr -> BoolSource
isConsCall :: Expr -> BoolSource
isConsPartCall :: Expr -> BoolSource
trBranch :: (Pattern -> Expr -> a) -> BranchExpr -> aSource
branchExpr :: BranchExpr -> ExprSource
updBranch :: (Pattern -> Pattern) -> (Expr -> Expr) -> BranchExpr -> BranchExprSource
patLiteral :: Pattern -> LiteralSource
isConsPattern :: Pattern -> BoolSource