Curry.FlatCurry.Annotated.Goodies

trAProg

aProgName

aProgImports

aProgTypes

aProgAFuncs

aProgOps

updAProg

updAProgName

updAProgImports

updAProgTypes

updAProgAFuncs

updAProgOps

allVarsInAProg

updAProgAExps

rnmAllVarsInAProg

updQNamesInAProg

rnmAProg

trAFunc

aFuncName

aFuncArity

aFuncVisibility

aFuncType

aFuncARule

updAFunc

updAFuncName

updAFuncArity

updAFuncVisibility

updFuncType

updAFuncARule

isPublicAFunc

isExternal

allVarsInAFunc

aFuncArgs

aFuncBody

aFuncRHS

rnmAllVarsInAFunc

updQNamesInAFunc

updAFuncArgs

updAFuncBody

trARule

aRuleAnnot

aRuleArgs

aRuleBody

aRuleExtDecl

isARuleExternal

updARule

updARuleAnnot

updARuleArgs

updARuleBody

updARuleExtDecl

allVarsInARule

rnmAllVarsInARule

updQNamesInARule

annot

varNr

literal

combType

combName

combArgs

missingCombArgs

letBinds

letBody

freeVars

freeExpr

orExps

caseType

caseExpr

caseBranches

isAVar

isALit

isAComb

isALet

isAFree

isAOr

isACase

trAExpr

updVars

updLiterals

updCombs

updLets

updFrees

updOrs

updCases

updBranches

updTypeds

isFuncCall

isFuncPartCall

isConsCall

isConsPartCall

isGround

allVars

rnmAllVars

updQNames

trABranch

aBranchAPattern

aBranchAExpr

updABranch

updABranchAPattern

updABranchAExpr

trAPattern

aPatAnnot

aPatCons

aPatArgs

aPatLiteral

isConsPattern

updAPattern

updAPatAnnot

updAPatCons

updAPatArgs

updAPatLiteral

aPatExpr