curry-base-0.2.4: Functions for manipulating Curry programs

Curry.FlatCurry.Tools

Documentation

progName :: Prog -> String Source

progImports :: Prog -> [String]Source

progTypes :: Prog -> [TypeDecl]Source

progFuncs :: Prog -> [FuncDecl]Source

progOps :: Prog -> [OpDecl]Source

updProg :: (String -> String) -> ([String] -> [String]) -> ([TypeDecl] -> [TypeDecl]) -> ([FuncDecl] -> [FuncDecl]) -> ([OpDecl] -> [OpDecl]) -> Prog -> Prog Source

updProgName :: (String -> String) -> Prog -> Prog Source

updProgImports :: ([String] -> [String]) -> Prog -> Prog Source

updProgTypes :: ([TypeDecl] -> [TypeDecl]) -> Prog -> Prog Source

updProgFuncs :: ([FuncDecl] -> [FuncDecl]) -> Prog -> Prog Source

updProgOps :: ([OpDecl] -> [OpDecl]) -> Prog -> Prog Source

updProgExps :: (Expr -> Expr) -> Prog -> Prog Source

rnmAllVarsProg :: (Int -> Int) -> Prog -> Prog Source

allVarsProg :: Prog -> [Int]Source

updQNamesProg :: (QName -> QName) -> Prog -> Prog Source

rnmProg :: String -> Prog -> Prog Source

updQNamesType :: (QName -> QName) -> TypeDecl -> TypeDecl Source

allConstructors :: TypeDecl -> [ConsDecl]Source

consQName :: ConsDecl -> QName Source

consArity :: ConsDecl -> Int Source

isTypeSyn :: TypeDecl -> Bool Source

isDataTypeDecl :: TypeDecl -> Bool Source

isPublicType :: TypeDecl -> Bool Source

isPublicCons :: ConsDecl -> Bool Source

typeQName :: TypeDecl -> QName Source

isExternalType :: TypeDecl -> Bool Source

funcName :: FuncDecl -> QName Source

funcArity :: FuncDecl -> Int Source

funcVisibility :: FuncDecl -> Visibility Source

funcType :: FuncDecl -> TypeExpr Source

funcRule :: FuncDecl -> Rule Source

updFunc :: (QName -> QName) -> (Int -> Int) -> (Visibility -> Visibility) -> (TypeExpr -> TypeExpr) -> (Rule -> Rule) -> FuncDecl -> FuncDecl Source

updFuncName :: (QName -> QName) -> FuncDecl -> FuncDecl Source

updFuncArity :: (Int -> Int) -> FuncDecl -> FuncDecl Source

updFuncVisibility :: (Visibility -> Visibility) -> FuncDecl -> FuncDecl Source

updFuncType :: (TypeExpr -> TypeExpr) -> FuncDecl -> FuncDecl Source

updFuncRule :: (Rule -> Rule) -> FuncDecl -> FuncDecl Source

funcArgs :: FuncDecl -> Maybe [Int]Source

funcBody :: FuncDecl -> Maybe Expr Source

funcRHS :: FuncDecl -> Maybe [Expr]Source

isExternal :: FuncDecl -> Bool Source

isCombFunc :: FuncDecl -> Expr -> Bool Source

updFuncArgs :: ([Int] -> [Int]) -> FuncDecl -> FuncDecl Source

updFuncBody :: (Expr -> Expr) -> FuncDecl -> FuncDecl Source

incVarsFunc :: Int -> FuncDecl -> FuncDecl Source

rnmAllVarsFunc :: (Int -> Int) -> FuncDecl -> FuncDecl Source

allVarsFunc :: FuncDecl -> [Int]Source

updQNamesFunc :: (QName -> QName) -> FuncDecl -> FuncDecl Source

isRuleExternal :: Rule -> Bool Source

ruleArgs :: Rule -> Maybe [Int]Source

ruleBody :: Rule -> Maybe Expr Source

updRule :: ([VarIndex] -> [VarIndex]) -> (Expr -> Expr) -> (String -> String) -> Rule -> Rule Source

updRuleArgs :: ([Int] -> [Int]) -> Rule -> Rule Source

updRuleBody :: (Expr -> Expr) -> Rule -> Rule Source

rnmAllVarsRule :: (Int -> Int) -> Rule -> Rule Source

allVarsRule :: Rule -> [Int]Source

updQNamesRule :: (QName -> QName) -> Rule -> Rule Source

isTypeVar :: TypeExpr -> Bool Source

isFuncType :: TypeExpr -> Bool Source

isTypeCons :: TypeExpr -> Bool Source

typeConsName :: TypeExpr -> Maybe QName Source

argTypes :: TypeExpr -> [TypeExpr]Source

resultType :: TypeExpr -> TypeExpr Source

isIOType :: TypeExpr -> Bool Source

typeArity :: TypeExpr -> Int Source

allTVars :: TypeExpr -> [TVarIndex]Source

rnmAllVarsTypeExpr :: (Int -> Int) -> TypeExpr -> TypeExpr Source

allTypeCons :: TypeExpr -> [QName]Source

isVar :: Expr -> Bool Source

varNr :: Expr -> Int Source

isLit :: Expr -> Bool Source

isComb :: Expr -> Bool Source

isFree :: Expr -> Bool Source

isOr :: Expr -> Bool Source

isCase :: Expr -> Bool Source

isLet :: Expr -> Bool Source

isGround :: Expr -> Bool Source

literal :: Expr -> Maybe Literal Source

combType :: Expr -> Maybe CombType Source

exprFromFreeDecl :: Expr -> Expr Source

orExps :: Expr -> [Expr]Source

isFuncCall :: Expr -> Bool Source

isPartCall :: Expr -> Bool Source

isConsCall :: Expr -> Bool Source

combFunc :: Expr -> Maybe QName Source

combCons :: Expr -> Maybe QName Source

combArgs :: Expr -> Maybe [Expr]Source

missingFuncArgs :: Expr -> Maybe Int Source

hasName :: QName -> Expr -> Bool Source

caseBranches :: Expr -> [BranchExpr]Source

rnmAllVars :: (Int -> Int) -> Expr -> Expr Source

allVars :: Expr -> [Int]Source

mapVar :: (Expr -> Expr) -> Expr -> Expr Source

mapLit :: (Expr -> Expr) -> Expr -> Expr Source

mapComb :: (Expr -> Expr) -> Expr -> Expr Source

mapFree :: (Expr -> Expr) -> Expr -> Expr Source

mapOr :: (Expr -> Expr) -> Expr -> Expr Source

mapCase :: (Expr -> Expr) -> Expr -> Expr Source

mapLet :: (Expr -> Expr) -> Expr -> Expr Source

isCombFuncCall :: CombType -> Bool Source

isCombPartCall :: CombType -> Bool Source

isCombConsCall :: CombType -> Bool Source

missingArgs :: CombType -> Int Source

branchPattern :: BranchExpr -> Pattern Source

branchExpr :: BranchExpr -> Expr Source

isConsPattern :: Pattern -> Bool Source

updBranch :: (Pattern -> Pattern) -> (Expr -> Expr) -> BranchExpr -> BranchExpr Source

updBranchPattern :: (Pattern -> Pattern) -> BranchExpr -> BranchExpr Source

updBranchExpr :: (Expr -> Expr) -> BranchExpr -> BranchExpr Source

patCons :: Pattern -> Maybe QName Source

patArgs :: Pattern -> Maybe [Int]Source

patLiteral :: Pattern -> Maybe Literal Source

patExpr :: Pattern -> Expr Source

rnmAllVarsBranch :: (Int -> Int) -> BranchExpr -> BranchExpr Source

allVarsBranch :: BranchExpr -> [Int]Source

rnmAllVarsPat :: (Int -> Int) -> Pattern -> Pattern Source

allVarsPat :: Pattern -> [Int]Source

opName :: OpDecl -> QName Source