Curry.ExtendedFlat.Goodies

Documentation

failed :: a

type Update a b = (b -> b) -> a -> a

trProg :: (String -> [String] -> [TypeDecl] -> [FuncDecl] -> [OpDecl] -> a) -> Prog -> a

progName :: Prog -> String

progImports :: Prog -> [String]

progTypes :: Prog -> [TypeDecl]

progFuncs :: Prog -> [FuncDecl]

progOps :: Prog -> [OpDecl]

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

updProgName :: Update Prog String

updProgImports :: Update Prog [String]

updProgTypes :: Update Prog [TypeDecl]

updProgFuncs :: Update Prog [FuncDecl]

updProgOps :: Update Prog [OpDecl]

allVarsInProg :: Prog -> [VarIndex]

updProgExps :: Update Prog Expr

rnmAllVarsInProg :: Update Prog VarIndex

updQNamesInProg :: Update Prog QName

rnmProg :: String -> Prog -> Prog

trType :: (QName -> Visibility -> [TVarIndex] -> [ConsDecl] -> a) -> (QName -> Visibility -> [TVarIndex] -> TypeExpr -> a) -> TypeDecl -> a

typeName :: TypeDecl -> QName

typeVisibility :: TypeDecl -> Visibility

typeParams :: TypeDecl -> [TVarIndex]

typeConsDecls :: TypeDecl -> [ConsDecl]

typeSyn :: TypeDecl -> TypeExpr

isTypeSyn :: TypeDecl -> Bool

isDataTypeDecl :: TypeDecl -> Bool

isExternalType :: TypeDecl -> Bool

updType :: (QName -> QName) -> (Visibility -> Visibility) -> ([TVarIndex] -> [TVarIndex]) -> ([ConsDecl] -> [ConsDecl]) -> (TypeExpr -> TypeExpr) -> TypeDecl -> TypeDecl

updTypeName :: Update TypeDecl QName

updTypeVisibility :: Update TypeDecl Visibility

updTypeParams :: Update TypeDecl [TVarIndex]

updTypeConsDecls :: Update TypeDecl [ConsDecl]

updTypeSynonym :: Update TypeDecl TypeExpr

updQNamesInType :: Update TypeDecl QName

trCons :: (QName -> Int -> Visibility -> [TypeExpr] -> a) -> ConsDecl -> a

consName :: ConsDecl -> QName

consArity :: ConsDecl -> Int

consVisibility :: ConsDecl -> Visibility

consArgs :: ConsDecl -> [TypeExpr]

updCons :: (QName -> QName) -> (Int -> Int) -> (Visibility -> Visibility) -> ([TypeExpr] -> [TypeExpr]) -> ConsDecl -> ConsDecl

updConsName :: Update ConsDecl QName

updConsArity :: Update ConsDecl Int

updConsVisibility :: Update ConsDecl Visibility

updConsArgs :: Update ConsDecl [TypeExpr]

updQNamesInConsDecl :: Update ConsDecl QName

tVarIndex :: TypeExpr -> TVarIndex

domain :: TypeExpr -> TypeExpr

range :: TypeExpr -> TypeExpr

tConsName :: TypeExpr -> QName

tConsArgs :: TypeExpr -> [TypeExpr]

trTypeExpr :: (TVarIndex -> a) -> (QName -> [a] -> a) -> (a -> a -> a) -> TypeExpr -> a

isTVar :: TypeExpr -> Bool

isTCons :: TypeExpr -> Bool

isFuncType :: TypeExpr -> Bool

updTVars :: (TVarIndex -> TypeExpr) -> TypeExpr -> TypeExpr

updTCons :: (QName -> [TypeExpr] -> TypeExpr) -> TypeExpr -> TypeExpr

updFuncTypes :: (TypeExpr -> TypeExpr -> TypeExpr) -> TypeExpr -> TypeExpr

argTypes :: TypeExpr -> [TypeExpr]

resultType :: TypeExpr -> TypeExpr

allVarsInTypeExpr :: TypeExpr -> [TVarIndex]

rnmAllVarsInTypeExpr :: (TVarIndex -> TVarIndex) -> TypeExpr -> TypeExpr

updQNamesInTypeExpr :: (QName -> QName) -> TypeExpr -> TypeExpr

trOp :: (QName -> Fixity -> Integer -> a) -> OpDecl -> a

opName :: OpDecl -> QName

opFixity :: OpDecl -> Fixity

opPrecedence :: OpDecl -> Integer

updOp :: (QName -> QName) -> (Fixity -> Fixity) -> (Integer -> Integer) -> OpDecl -> OpDecl

updOpName :: Update OpDecl QName

updOpFixity :: Update OpDecl Fixity

updOpPrecedence :: Update OpDecl Integer

trFunc :: (QName -> Int -> Visibility -> TypeExpr -> Rule -> a) -> FuncDecl -> a

funcName :: FuncDecl -> QName

funcArity :: FuncDecl -> Int

funcVisibility :: FuncDecl -> Visibility

funcType :: FuncDecl -> TypeExpr

funcRule :: FuncDecl -> Rule

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

updFuncName :: Update FuncDecl QName

updFuncArity :: Update FuncDecl Int

updFuncVisibility :: Update FuncDecl Visibility

updFuncType :: Update FuncDecl TypeExpr

updFuncRule :: Update FuncDecl Rule

isExternal :: FuncDecl -> Bool

allVarsInFunc :: FuncDecl -> [VarIndex]

funcArgs :: FuncDecl -> [VarIndex]

funcBody :: FuncDecl -> Expr

funcRHS :: FuncDecl -> [Expr]

rnmAllVarsInFunc :: Update FuncDecl VarIndex

updQNamesInFunc :: Update FuncDecl QName

updFuncArgs :: Update FuncDecl [VarIndex]

updFuncBody :: Update FuncDecl Expr

trRule :: ([VarIndex] -> Expr -> a) -> (String -> a) -> Rule -> a

ruleArgs :: Rule -> [VarIndex]

ruleBody :: Rule -> Expr

ruleExtDecl :: Rule -> String

isRuleExternal :: Rule -> Bool

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

updRuleArgs :: Update Rule [VarIndex]

updRuleBody :: Update Rule Expr

updRuleExtDecl :: Update Rule String

allVarsInRule :: Rule -> [VarIndex]

rnmAllVarsInRule :: Update Rule VarIndex

updQNamesInRule :: Update Rule QName

trCombType :: a -> (Int -> a) -> a -> (Int -> a) -> CombType -> a

isCombTypeFuncCall :: CombType -> Bool

isCombTypeFuncPartCall :: CombType -> Bool

isCombTypeConsCall :: CombType -> Bool

isCombTypeConsPartCall :: CombType -> Bool

missingArgs :: CombType -> Int

varNr :: Expr -> VarIndex

literal :: Expr -> Literal

combType :: Expr -> CombType

combName :: Expr -> QName

combArgs :: Expr -> [Expr]

missingCombArgs :: Expr -> Int

letBinds :: Expr -> [(VarIndex, Expr)]

letBody :: Expr -> Expr

freeVars :: Expr -> [VarIndex]

freeExpr :: Expr -> Expr

orExps :: Expr -> [Expr]

caseType :: Expr -> CaseType

caseExpr :: Expr -> Expr

caseBranches :: Expr -> [BranchExpr]

isVar :: Expr -> Bool

isLit :: Expr -> Bool

isComb :: Expr -> Bool

isLet :: Expr -> Bool

isFree :: Expr -> Bool

isOr :: Expr -> Bool

isCase :: Expr -> Bool

trExpr :: (VarIndex -> a) -> (Literal -> a) -> (CombType -> QName -> [a] -> a) -> ([(VarIndex, a)] -> a -> a) -> ([VarIndex] -> a -> a) -> (a -> a -> a) -> (SrcRef -> CaseType -> a -> [b] -> a) -> (Pattern -> a -> b) -> Expr -> a

updVars :: (VarIndex -> Expr) -> Expr -> Expr

updLiterals :: (Literal -> Expr) -> Expr -> Expr

updCombs :: (CombType -> QName -> [Expr] -> Expr) -> Expr -> Expr

updLets :: ([(VarIndex, Expr)] -> Expr -> Expr) -> Expr -> Expr

updFrees :: ([VarIndex] -> Expr -> Expr) -> Expr -> Expr

updOrs :: (Expr -> Expr -> Expr) -> Expr -> Expr

updCases :: (SrcRef -> CaseType -> Expr -> [BranchExpr] -> Expr) -> Expr -> Expr

updBranches :: (Pattern -> Expr -> BranchExpr) -> Expr -> Expr

isFuncCall :: Expr -> Bool

isFuncPartCall :: Expr -> Bool

isConsCall :: Expr -> Bool

isConsPartCall :: Expr -> Bool

isGround :: Expr -> Bool

allVars :: Expr -> [VarIndex]

rnmAllVars :: Update Expr VarIndex

updQNames :: Update Expr QName

trBranch :: (Pattern -> Expr -> a) -> BranchExpr -> a

branchPattern :: BranchExpr -> Pattern

branchExpr :: BranchExpr -> Expr

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

updBranchPattern :: Update BranchExpr Pattern

updBranchExpr :: Update BranchExpr Expr

trPattern :: (QName -> [VarIndex] -> a) -> (Literal -> a) -> Pattern -> a

patCons :: Pattern -> QName

patArgs :: Pattern -> [VarIndex]

patLiteral :: Pattern -> Literal

isConsPattern :: Pattern -> Bool

updPattern :: (QName -> QName) -> ([VarIndex] -> [VarIndex]) -> (Literal -> Literal) -> Pattern -> Pattern

updPatCons :: (QName -> QName) -> Pattern -> Pattern

updPatArgs :: ([VarIndex] -> [VarIndex]) -> Pattern -> Pattern

updPatLiteral :: (Literal -> Literal) -> Pattern -> Pattern

patExpr :: Pattern -> Expr

typeofExpr :: Expr -> Maybe TypeExpr

typeofLiteral :: Literal -> TypeExpr

fvs :: Expr -> [VarIndex]

whnf :: Expr -> Bool