Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
A
allVars
(
FlatCurry.Annotated.Goodies
)
allVarsInFunc
(
FlatCurry.Annotated.Goodies
)
allVarsInProg
(
FlatCurry.Annotated.Goodies
)
allVarsInRule
(
FlatCurry.Annotated.Goodies
)
annExpr
(
FlatCurry.Annotated.Goodies
)
annPattern
(
FlatCurry.Annotated.Goodies
)
annRule
(
FlatCurry.Annotated.Goodies
)
argTypes
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
B
branchExpr
(
FlatCurry.Annotated.Goodies
)
branchPattern
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
C
caseBranches
(
FlatCurry.Annotated.Goodies
)
caseExpr
(
FlatCurry.Annotated.Goodies
)
caseType
(
FlatCurry.Annotated.Goodies
)
combArgs
(
FlatCurry.Annotated.Goodies
)
combName
(
FlatCurry.Annotated.Goodies
)
combType
(
FlatCurry.Annotated.Goodies
)
consArgs
(
FlatCurry.Annotated.Goodies
)
consArity
(
FlatCurry.Annotated.Goodies
)
consName
(
FlatCurry.Annotated.Goodies
)
consVisibility
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
D
domain
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
E
emptyAFCSubst
(
FlatCurry.Annotated.TypeSubst
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
F
freeExpr
(
FlatCurry.Annotated.Goodies
)
freeVars
(
FlatCurry.Annotated.Goodies
)
funcArgs
(
FlatCurry.Annotated.Goodies
)
funcArity
(
FlatCurry.Annotated.Goodies
)
funcBody
(
FlatCurry.Annotated.Goodies
)
funcName
(
FlatCurry.Annotated.Goodies
)
funcRHS
(
FlatCurry.Annotated.Goodies
)
funcRule
(
FlatCurry.Annotated.Goodies
)
funcType
(
FlatCurry.Annotated.Goodies
)
funcVisibility
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
G
getTypeEnv
(
FlatCurry.Annotated.TypeInference
)
getTypeEnvFromProgEnv
(
FlatCurry.Annotated.TypeInference
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
I
indent
(
FlatCurry.Annotated.Pretty
)
inferExpr
(
FlatCurry.Annotated.TypeInference
)
inferExprEnv
(
FlatCurry.Annotated.TypeInference
)
inferFunction
(
FlatCurry.Annotated.TypeInference
)
inferFunctionEnv
(
FlatCurry.Annotated.TypeInference
)
inferNewFunctions
(
FlatCurry.Annotated.TypeInference
)
inferNewFunctionsEnv
(
FlatCurry.Annotated.TypeInference
)
inferProg
(
FlatCurry.Annotated.TypeInference
)
inferProgEnv
(
FlatCurry.Annotated.TypeInference
)
inferProgFromProgEnv
(
FlatCurry.Annotated.TypeInference
)
isCase
(
FlatCurry.Annotated.Goodies
)
isComb
(
FlatCurry.Annotated.Goodies
)
isCombTypeConsCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Annotated.Goodies
)
isConsCall
(
FlatCurry.Annotated.Goodies
)
isConsPartCall
(
FlatCurry.Annotated.Goodies
)
isConsPattern
(
FlatCurry.Annotated.Goodies
)
isExternal
(
FlatCurry.Annotated.Goodies
)
isFree
(
FlatCurry.Annotated.Goodies
)
isFuncCall
(
FlatCurry.Annotated.Goodies
)
isFuncPartCall
(
FlatCurry.Annotated.Goodies
)
isFuncType
(
FlatCurry.Annotated.Goodies
)
isGround
(
FlatCurry.Annotated.Goodies
)
isInfixOp
(
FlatCurry.Annotated.Pretty
)
isLet
(
FlatCurry.Annotated.Goodies
)
isListId
(
FlatCurry.Annotated.Pretty
)
isLit
(
FlatCurry.Annotated.Goodies
)
isOr
(
FlatCurry.Annotated.Goodies
)
isRuleExternal
(
FlatCurry.Annotated.Goodies
)
isTCons
(
FlatCurry.Annotated.Goodies
)
isTupleId
(
FlatCurry.Annotated.Pretty
)
isTVar
(
FlatCurry.Annotated.Goodies
)
isTypeSyn
(
FlatCurry.Annotated.Goodies
)
isVar
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
L
letBinds
(
FlatCurry.Annotated.Goodies
)
letBody
(
FlatCurry.Annotated.Goodies
)
literal
(
FlatCurry.Annotated.Goodies
)
lookupAFCSubst
(
FlatCurry.Annotated.TypeSubst
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
M
missingArgs
(
FlatCurry.Annotated.Goodies
)
missingCombArgs
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
O
opFixity
(
FlatCurry.Annotated.Goodies
)
opName
(
FlatCurry.Annotated.Goodies
)
opPrecedence
(
FlatCurry.Annotated.Goodies
)
orExps
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
P
patArgs
(
FlatCurry.Annotated.Goodies
)
patCons
(
FlatCurry.Annotated.Goodies
)
patExpr
(
FlatCurry.Annotated.Goodies
)
patLiteral
(
FlatCurry.Annotated.Goodies
)
ppAVarIndex
(
FlatCurry.Annotated.Pretty
)
ppBranch
(
FlatCurry.Annotated.Pretty
)
ppCaseType
(
FlatCurry.Annotated.Pretty
)
ppComb
(
FlatCurry.Annotated.Pretty
)
ppConsDecl
(
FlatCurry.Annotated.Pretty
)
ppConsDecls
(
FlatCurry.Annotated.Pretty
)
ppConsExports
(
FlatCurry.Annotated.Pretty
)
ppDecl
(
FlatCurry.Annotated.Pretty
)
ppDecls
(
FlatCurry.Annotated.Pretty
)
ppExp
(
FlatCurry.Annotated.Pretty
)
ppExports
(
FlatCurry.Annotated.Pretty
)
ppExpr
(
FlatCurry.Annotated.Pretty
)
ppFixity
(
FlatCurry.Annotated.Pretty
)
ppFuncDecl
(
FlatCurry.Annotated.Pretty
)
ppFuncDecls
(
FlatCurry.Annotated.Pretty
)
ppFuncExports
(
FlatCurry.Annotated.Pretty
)
ppHeader
(
FlatCurry.Annotated.Pretty
)
ppImport
(
FlatCurry.Annotated.Pretty
)
ppImports
(
FlatCurry.Annotated.Pretty
)
ppInfixOp
(
FlatCurry.Annotated.Pretty
)
ppLiteral
(
FlatCurry.Annotated.Pretty
)
ppOpDecl
(
FlatCurry.Annotated.Pretty
)
ppOpDecls
(
FlatCurry.Annotated.Pretty
)
ppPattern
(
FlatCurry.Annotated.Pretty
)
ppPrefixOp
(
FlatCurry.Annotated.Pretty
)
ppProg
(
FlatCurry.Annotated.Pretty
)
ppQName
(
FlatCurry.Annotated.Pretty
)
ppRule
(
FlatCurry.Annotated.Pretty
)
ppTVarIndex
(
FlatCurry.Annotated.Pretty
)
ppTypeDecl
(
FlatCurry.Annotated.Pretty
)
ppTypeDecls
(
FlatCurry.Annotated.Pretty
)
ppTypeExp
(
FlatCurry.Annotated.Pretty
)
ppTypeExport
(
FlatCurry.Annotated.Pretty
)
ppTypeExpr
(
FlatCurry.Annotated.Pretty
)
ppVarIndex
(
FlatCurry.Annotated.Pretty
)
progFuncs
(
FlatCurry.Annotated.Goodies
)
progImports
(
FlatCurry.Annotated.Goodies
)
progName
(
FlatCurry.Annotated.Goodies
)
progOps
(
FlatCurry.Annotated.Goodies
)
progTypes
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
R
range
(
FlatCurry.Annotated.Goodies
)
resultType
(
FlatCurry.Annotated.Goodies
)
rnmAllVars
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInProg
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Annotated.Goodies
)
rnmProg
(
FlatCurry.Annotated.Goodies
)
ruleArgs
(
FlatCurry.Annotated.Goodies
)
ruleBody
(
FlatCurry.Annotated.Goodies
)
ruleExtDecl
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
S
showAFCSubst
(
FlatCurry.Annotated.TypeSubst
)
showEscape
(
FlatCurry.Annotated.Pretty
)
subst
(
FlatCurry.Annotated.TypeSubst
)
substBranch
(
FlatCurry.Annotated.TypeSubst
)
substExpr
(
FlatCurry.Annotated.TypeSubst
)
substFunc
(
FlatCurry.Annotated.TypeSubst
)
substPattern
(
FlatCurry.Annotated.TypeSubst
)
substRule
(
FlatCurry.Annotated.TypeSubst
)
substSnd
(
FlatCurry.Annotated.TypeSubst
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
T
tConsArgs
(
FlatCurry.Annotated.Goodies
)
tConsName
(
FlatCurry.Annotated.Goodies
)
trBranch
(
FlatCurry.Annotated.Goodies
)
trCombType
(
FlatCurry.Annotated.Goodies
)
trCons
(
FlatCurry.Annotated.Goodies
)
trExpr
(
FlatCurry.Annotated.Goodies
)
trFunc
(
FlatCurry.Annotated.Goodies
)
trOp
(
FlatCurry.Annotated.Goodies
)
trPattern
(
FlatCurry.Annotated.Goodies
)
trProg
(
FlatCurry.Annotated.Goodies
)
trRule
(
FlatCurry.Annotated.Goodies
)
trType
(
FlatCurry.Annotated.Goodies
)
trTypeExpr
(
FlatCurry.Annotated.Goodies
)
tVarIndex
(
FlatCurry.Annotated.Goodies
)
typeConsDecls
(
FlatCurry.Annotated.Goodies
)
typeName
(
FlatCurry.Annotated.Goodies
)
typeParams
(
FlatCurry.Annotated.Goodies
)
typeSyn
(
FlatCurry.Annotated.Goodies
)
typeVisibility
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
U
unAnnExpr
(
FlatCurry.Annotated.Goodies
)
unAnnFuncDecl
(
FlatCurry.Annotated.Goodies
)
unAnnPattern
(
FlatCurry.Annotated.Goodies
)
unAnnProg
(
FlatCurry.Annotated.Goodies
)
unAnnRule
(
FlatCurry.Annotated.Goodies
)
updBranch
(
FlatCurry.Annotated.Goodies
)
updBranches
(
FlatCurry.Annotated.Goodies
)
updBranchExpr
(
FlatCurry.Annotated.Goodies
)
updBranchPattern
(
FlatCurry.Annotated.Goodies
)
updCases
(
FlatCurry.Annotated.Goodies
)
updCombs
(
FlatCurry.Annotated.Goodies
)
updCons
(
FlatCurry.Annotated.Goodies
)
updConsArgs
(
FlatCurry.Annotated.Goodies
)
updConsArity
(
FlatCurry.Annotated.Goodies
)
updConsName
(
FlatCurry.Annotated.Goodies
)
updConsVisibility
(
FlatCurry.Annotated.Goodies
)
updFrees
(
FlatCurry.Annotated.Goodies
)
updFunc
(
FlatCurry.Annotated.Goodies
)
updFuncArgs
(
FlatCurry.Annotated.Goodies
)
updFuncArity
(
FlatCurry.Annotated.Goodies
)
updFuncBody
(
FlatCurry.Annotated.Goodies
)
updFuncName
(
FlatCurry.Annotated.Goodies
)
updFuncRule
(
FlatCurry.Annotated.Goodies
)
updFuncType
(
FlatCurry.Annotated.Goodies
)
updFuncTypes
(
FlatCurry.Annotated.Goodies
)
updFuncVisibility
(
FlatCurry.Annotated.Goodies
)
updLets
(
FlatCurry.Annotated.Goodies
)
updLiterals
(
FlatCurry.Annotated.Goodies
)
updOp
(
FlatCurry.Annotated.Goodies
)
updOpFixity
(
FlatCurry.Annotated.Goodies
)
updOpName
(
FlatCurry.Annotated.Goodies
)
updOpPrecedence
(
FlatCurry.Annotated.Goodies
)
updOrs
(
FlatCurry.Annotated.Goodies
)
updPatArgs
(
FlatCurry.Annotated.Goodies
)
updPatCons
(
FlatCurry.Annotated.Goodies
)
updPatLiteral
(
FlatCurry.Annotated.Goodies
)
updPattern
(
FlatCurry.Annotated.Goodies
)
updProg
(
FlatCurry.Annotated.Goodies
)
updProgExps
(
FlatCurry.Annotated.Goodies
)
updProgFuncs
(
FlatCurry.Annotated.Goodies
)
updProgImports
(
FlatCurry.Annotated.Goodies
)
updProgName
(
FlatCurry.Annotated.Goodies
)
updProgOps
(
FlatCurry.Annotated.Goodies
)
updProgTypes
(
FlatCurry.Annotated.Goodies
)
updQNames
(
FlatCurry.Annotated.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Annotated.Goodies
)
updQNamesInFunc
(
FlatCurry.Annotated.Goodies
)
updQNamesInProg
(
FlatCurry.Annotated.Goodies
)
updQNamesInRule
(
FlatCurry.Annotated.Goodies
)
updQNamesInType
(
FlatCurry.Annotated.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Annotated.Goodies
)
updRule
(
FlatCurry.Annotated.Goodies
)
updRuleArgs
(
FlatCurry.Annotated.Goodies
)
updRuleBody
(
FlatCurry.Annotated.Goodies
)
updRuleExtDecl
(
FlatCurry.Annotated.Goodies
)
updTCons
(
FlatCurry.Annotated.Goodies
)
updTVars
(
FlatCurry.Annotated.Goodies
)
updType
(
FlatCurry.Annotated.Goodies
)
updTypeConsDecls
(
FlatCurry.Annotated.Goodies
)
updTypeds
(
FlatCurry.Annotated.Goodies
)
updTypeName
(
FlatCurry.Annotated.Goodies
)
updTypeParams
(
FlatCurry.Annotated.Goodies
)
updTypeSynonym
(
FlatCurry.Annotated.Goodies
)
updTypeVisibility
(
FlatCurry.Annotated.Goodies
)
updVars
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
V
varNr
(
FlatCurry.Annotated.Goodies
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V