Curry.ExtendedFlat.Goodies
failed
errorIn
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
updType
updTypeName
updTypeVisibility
updTypeParams
updTypeConsDecls
updTypeSynonym
updQNamesInType
trCons
consName
consArity
consVisibility
consArgs
updCons
updConsName
updConsArity
updConsVisibility
updConsArgs
updQNamesInConsDecl
tVarIndex
domain
range
tConsName
tConsArgs
trTypeExpr
isTVar
isTCons
isFuncType
updTVars
updTCons
updFuncTypes
argTypes
resultType
allVarsInTypeExpr
rnmAllVarsInTypeExpr
updQNamesInTypeExpr
trOp
opName
opFixity
opPrecedence
updOp
updOpName
updOpFixity
updOpPrecedence
trFunc
funcName
funcArity
funcVisibility
funcType
funcRule
updFunc
updFuncName
updFuncArity
updFuncVisibility
updFuncType
updFuncRule
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
typeofExpr
typeofLiteral
fvs
whnf