Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
A
allVars
(
FlatCurry.Goodies
)
allVarsInFunc
(
FlatCurry.Goodies
)
allVarsInProg
(
FlatCurry.Goodies
)
allVarsInRule
(
FlatCurry.Goodies
)
alwaysRequired
(
FlatCurry.Compact
)
argTypes
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
B
branchExpr
(
FlatCurry.Goodies
)
branchPattern
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
C
caseBranches
(
FlatCurry.Goodies
)
caseExpr
(
FlatCurry.Goodies
)
caseType
(
FlatCurry.Goodies
)
combArgs
(
FlatCurry.Goodies
)
combName
(
FlatCurry.Goodies
)
combType
(
FlatCurry.Goodies
)
computeCompactFlatCurry
(
FlatCurry.Compact
)
consArgs
(
FlatCurry.Goodies
)
consArity
(
FlatCurry.Goodies
)
consName
(
FlatCurry.Goodies
)
consVisibility
(
FlatCurry.Goodies
)
currentModule
(
FlatCurry.Pretty
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
D
defaultOptions
(
FlatCurry.Pretty
)
defaultRequired
(
FlatCurry.Compact
)
domain
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
F
flatCurry2Xml
(
FlatCurry.XML
)
flatCurry2XmlFile
(
FlatCurry.XML
)
flatCurryFileName
(
FlatCurry.Files
)
flatCurryIntName
(
FlatCurry.Files
)
freeExpr
(
FlatCurry.Goodies
)
freeVars
(
FlatCurry.Goodies
)
funcArgs
(
FlatCurry.Goodies
)
funcArity
(
FlatCurry.Goodies
)
funcBody
(
FlatCurry.Goodies
)
funcName
(
FlatCurry.Goodies
)
funcRHS
(
FlatCurry.Goodies
)
funcRule
(
FlatCurry.Goodies
)
funcType
(
FlatCurry.Goodies
)
funcVisibility
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
G
generateCompactFlatCurryFile
(
FlatCurry.Compact
)
getFlatCurryFileInLoadPath
(
FlatCurry.Files
)
getFlexRigid
(
FlatCurry.FlexRigid
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
I
indent
(
FlatCurry.Pretty
)
indentWidth
(
FlatCurry.Pretty
)
isCase
(
FlatCurry.Goodies
)
isComb
(
FlatCurry.Goodies
)
isCombTypeConsCall
(
FlatCurry.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Goodies
)
isConsCall
(
FlatCurry.Goodies
)
isConsId
(
FlatCurry.Pretty
)
isConsPartCall
(
FlatCurry.Goodies
)
isConsPattern
(
FlatCurry.Goodies
)
isExternal
(
FlatCurry.Goodies
)
isFree
(
FlatCurry.Goodies
)
isFuncCall
(
FlatCurry.Goodies
)
isFuncPartCall
(
FlatCurry.Goodies
)
isFuncType
(
FlatCurry.Goodies
)
isGround
(
FlatCurry.Goodies
)
isInfixOp
(
FlatCurry.Pretty
)
isLet
(
FlatCurry.Goodies
)
isListId
(
FlatCurry.Pretty
)
isLit
(
FlatCurry.Goodies
)
isOr
(
FlatCurry.Goodies
)
isRuleExternal
(
FlatCurry.Goodies
)
isTCons
(
FlatCurry.Goodies
)
isTupleId
(
FlatCurry.Pretty
)
isTVar
(
FlatCurry.Goodies
)
isTypeSyn
(
FlatCurry.Goodies
)
isVar
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
L
letBinds
(
FlatCurry.Goodies
)
letBody
(
FlatCurry.Goodies
)
literal
(
FlatCurry.Goodies
)
lookupFlatCurryFileInLoadPath
(
FlatCurry.Files
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
M
missingArgs
(
FlatCurry.Goodies
)
missingCombArgs
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
O
opFixity
(
FlatCurry.Goodies
)
opName
(
FlatCurry.Goodies
)
opPrecedence
(
FlatCurry.Goodies
)
orExps
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
P
patArgs
(
FlatCurry.Goodies
)
patCons
(
FlatCurry.Goodies
)
patExpr
(
FlatCurry.Goodies
)
patLiteral
(
FlatCurry.Goodies
)
ppBranch
(
FlatCurry.Pretty
)
ppCaseType
(
FlatCurry.Pretty
)
ppComb
(
FlatCurry.Pretty
)
ppConsDecl
(
FlatCurry.Pretty
)
ppConsDecls
(
FlatCurry.Pretty
)
ppConsExports
(
FlatCurry.Pretty
)
ppDecl
(
FlatCurry.Pretty
)
ppDecls
(
FlatCurry.Pretty
)
ppExp
(
FlatCurry.Pretty
)
ppExports
(
FlatCurry.Pretty
)
ppExpr
(
FlatCurry.Pretty
)
ppFixity
(
FlatCurry.Pretty
)
ppFuncDecl
(
FlatCurry.Pretty
)
ppFuncDecls
(
FlatCurry.Pretty
)
ppFuncExports
(
FlatCurry.Pretty
)
ppHeader
(
FlatCurry.Pretty
)
ppImport
(
FlatCurry.Pretty
)
ppImports
(
FlatCurry.Pretty
)
ppInfixQOp
(
FlatCurry.Pretty
)
ppLiteral
(
FlatCurry.Pretty
)
ppName
(
FlatCurry.Pretty
)
ppOpDecl
(
FlatCurry.Pretty
)
ppOpDecls
(
FlatCurry.Pretty
)
ppPattern
(
FlatCurry.Pretty
)
ppPrefixOp
(
FlatCurry.Pretty
)
ppPrefixQOp
(
FlatCurry.Pretty
)
ppProg
(
FlatCurry.Pretty
)
ppQName
(
FlatCurry.Pretty
)
ppRule
(
FlatCurry.Pretty
)
ppTVarIndex
(
FlatCurry.Pretty
)
ppTypeDecl
(
FlatCurry.Pretty
)
ppTypeDecls
(
FlatCurry.Pretty
)
ppTypeExp
(
FlatCurry.Pretty
)
ppTypeExport
(
FlatCurry.Pretty
)
ppTypeExpr
(
FlatCurry.Pretty
)
ppVarIndex
(
FlatCurry.Pretty
)
progFuncs
(
FlatCurry.Goodies
)
progImports
(
FlatCurry.Goodies
)
progName
(
FlatCurry.Goodies
)
progOps
(
FlatCurry.Goodies
)
progTypes
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
Q
qualMode
(
FlatCurry.Pretty
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
R
range
(
FlatCurry.Goodies
)
readFlatCurry
(
FlatCurry.Files
)
readFlatCurryFile
(
FlatCurry.Files
)
readFlatCurryInPath
(
FlatCurry.Read
)
readFlatCurryInt
(
FlatCurry.Files
)
readFlatCurryIntWithImports
(
FlatCurry.Read
)
readFlatCurryIntWithImportsInPath
(
FlatCurry.Read
)
readFlatCurryIntWithParseOptions
(
FlatCurry.Files
)
readFlatCurryWithImports
(
FlatCurry.Read
)
readFlatCurryWithImportsInPath
(
FlatCurry.Read
)
readFlatCurryWithParseOptions
(
FlatCurry.Files
)
requires
(
FlatCurry.Compact
)
resultType
(
FlatCurry.Goodies
)
rnmAllVars
(
FlatCurry.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Goodies
)
rnmAllVarsInProg
(
FlatCurry.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Goodies
)
rnmProg
(
FlatCurry.Goodies
)
ruleArgs
(
FlatCurry.Goodies
)
ruleBody
(
FlatCurry.Goodies
)
ruleExtDecl
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
S
showCurryExpr
(
FlatCurry.Show
)
showCurryId
(
FlatCurry.Show
)
showCurryType
(
FlatCurry.Show
)
showCurryVar
(
FlatCurry.Show
)
showFlatFunc
(
FlatCurry.Show
)
showFlatProg
(
FlatCurry.Show
)
showFlatType
(
FlatCurry.Show
)
showQNameInModule
(
FlatCurry.Types
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
T
tConsArgs
(
FlatCurry.Goodies
)
tConsName
(
FlatCurry.Goodies
)
trBranch
(
FlatCurry.Goodies
)
trCombType
(
FlatCurry.Goodies
)
trCons
(
FlatCurry.Goodies
)
trExpr
(
FlatCurry.Goodies
)
trFunc
(
FlatCurry.Goodies
)
trOp
(
FlatCurry.Goodies
)
trPattern
(
FlatCurry.Goodies
)
trProg
(
FlatCurry.Goodies
)
trRule
(
FlatCurry.Goodies
)
trType
(
FlatCurry.Goodies
)
trTypeExpr
(
FlatCurry.Goodies
)
tVarIndex
(
FlatCurry.Goodies
)
typeConsDecls
(
FlatCurry.Goodies
)
typeName
(
FlatCurry.Goodies
)
typeParams
(
FlatCurry.Goodies
)
typeSyn
(
FlatCurry.Goodies
)
typeVisibility
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
U
updBranch
(
FlatCurry.Goodies
)
updBranches
(
FlatCurry.Goodies
)
updBranchExpr
(
FlatCurry.Goodies
)
updBranchPattern
(
FlatCurry.Goodies
)
updCases
(
FlatCurry.Goodies
)
updCombs
(
FlatCurry.Goodies
)
updCons
(
FlatCurry.Goodies
)
updConsArgs
(
FlatCurry.Goodies
)
updConsArity
(
FlatCurry.Goodies
)
updConsName
(
FlatCurry.Goodies
)
updConsVisibility
(
FlatCurry.Goodies
)
updFrees
(
FlatCurry.Goodies
)
updFunc
(
FlatCurry.Goodies
)
updFuncArgs
(
FlatCurry.Goodies
)
updFuncArity
(
FlatCurry.Goodies
)
updFuncBody
(
FlatCurry.Goodies
)
updFuncName
(
FlatCurry.Goodies
)
updFuncRule
(
FlatCurry.Goodies
)
updFuncType
(
FlatCurry.Goodies
)
updFuncTypes
(
FlatCurry.Goodies
)
updFuncVisibility
(
FlatCurry.Goodies
)
updLets
(
FlatCurry.Goodies
)
updLiterals
(
FlatCurry.Goodies
)
updOp
(
FlatCurry.Goodies
)
updOpFixity
(
FlatCurry.Goodies
)
updOpName
(
FlatCurry.Goodies
)
updOpPrecedence
(
FlatCurry.Goodies
)
updOrs
(
FlatCurry.Goodies
)
updPatArgs
(
FlatCurry.Goodies
)
updPatCons
(
FlatCurry.Goodies
)
updPatLiteral
(
FlatCurry.Goodies
)
updPattern
(
FlatCurry.Goodies
)
updProg
(
FlatCurry.Goodies
)
updProgExps
(
FlatCurry.Goodies
)
updProgFuncs
(
FlatCurry.Goodies
)
updProgImports
(
FlatCurry.Goodies
)
updProgName
(
FlatCurry.Goodies
)
updProgOps
(
FlatCurry.Goodies
)
updProgTypes
(
FlatCurry.Goodies
)
updQNames
(
FlatCurry.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Goodies
)
updQNamesInFunc
(
FlatCurry.Goodies
)
updQNamesInProg
(
FlatCurry.Goodies
)
updQNamesInRule
(
FlatCurry.Goodies
)
updQNamesInType
(
FlatCurry.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Goodies
)
updRule
(
FlatCurry.Goodies
)
updRuleArgs
(
FlatCurry.Goodies
)
updRuleBody
(
FlatCurry.Goodies
)
updRuleExtDecl
(
FlatCurry.Goodies
)
updTCons
(
FlatCurry.Goodies
)
updTVars
(
FlatCurry.Goodies
)
updType
(
FlatCurry.Goodies
)
updTypeConsDecls
(
FlatCurry.Goodies
)
updTypeds
(
FlatCurry.Goodies
)
updTypeName
(
FlatCurry.Goodies
)
updTypeParams
(
FlatCurry.Goodies
)
updTypeSynonym
(
FlatCurry.Goodies
)
updTypeVisibility
(
FlatCurry.Goodies
)
updVars
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
V
varNr
(
FlatCurry.Goodies
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
W
writeFCY
(
FlatCurry.Files
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X
X
xml2FlatCurry
(
FlatCurry.XML
)
xmlFile2FlatCurry
(
FlatCurry.XML
)
A
B
C
D
F
G
I
L
M
O
P
Q
R
S
T
U
V
W
X