Curry.FlatCurry.Goodies

type Update a b

trProg

progName

progImports

progTypes

progFuncs

progOps

updProg

updProgName

updProgImports

updProgTypes

updProgFuncs

updProgOps

allVarsInProg

updProgExps

rnmAllVarsInProg

updQNamesInProg

rnmProg

trType

typeName

typeVisibility

typeParams

typeConsDecls

typeSyn

isTypeSyn

isDataTypeDecl

isExternalType

isPublicType

updType

updTypeName

updTypeVisibility

updTypeParams

updTypeConsDecls

updTypeSynonym

updQNamesInType

trCons

consName

consArity

consVisibility

isPublicCons

consArgs

updCons

updConsName

updConsArity

updConsVisibility

updConsArgs

updQNamesInConsDecl

tVarIndex

domain

range

tConsName

tConsArgs

trTypeExpr

isTVar

isTCons

isFuncType

updTVars

updTCons

updFuncTypes

argTypes

typeArity

resultType

allVarsInTypeExpr

allTypeCons

rnmAllVarsInTypeExpr

updQNamesInTypeExpr

trOp

opName

opFixity

opPrecedence

updOp

updOpName

updOpFixity

updOpPrecedence

trFunc

funcName

funcArity

funcVisibility

funcType

funcRule

updFunc

updFuncName

updFuncArity

updFuncVisibility

updFuncType

updFuncRule

isPublicFunc

isExternal

allVarsInFunc

funcArgs

funcBody

funcRHS

rnmAllVarsInFunc

updQNamesInFunc

updFuncArgs

updFuncBody

trRule

ruleArgs

ruleBody

ruleExtDecl

isRuleExternal

updRule

updRuleArgs

updRuleBody

updRuleExtDecl

allVarsInRule

rnmAllVarsInRule

updQNamesInRule

trCombType

isCombTypeFuncCall

isCombTypeFuncPartCall

isCombTypeConsCall

isCombTypeConsPartCall

varNr

literal

combType

combName

combArgs

missingCombArgs

letBinds

letBody

freeVars

freeExpr

orExps

caseType

caseExpr

caseBranches

isVar

isLit

isComb

isLet

isFree

isOr

isCase

trExpr

updVars

updLiterals

updCombs

updLets

updFrees

updOrs

updCases

updBranches

updTypeds

isFuncCall

isFuncPartCall

isConsCall

isConsPartCall

isGround

allVars

rnmAllVars

updQNames

trBranch

branchPattern

branchExpr

updBranch

updBranchPattern

updBranchExpr

trPattern

patCons

patArgs

patLiteral

isConsPattern

updPattern

updPatCons

updPatArgs

updPatLiteral

patExpr

isPublic