Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
A
addAssigns
(
ICurry.Interpreter
)
addResult
(
ICurry.Interpreter
)
addVarDecls
(
ICurry.Interpreter
)
arityPosOfCons
(
ICurry.Compiler
)
askProceed
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
B
bodyOf
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
C
choiceOfDemand
(
ICurry.Interpreter
)
currentNodeOfTask
(
ICurry.Interpreter
)
currResult
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
D
defaultICOptions
(
ICurry.Compiler
)
defOpts
(
ICurry.Interpreter
)
demandOf
(
ICurry.Compiler
)
demandOf
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
E
evalExternal
(
ICurry.Interpreter
)
evalFirstTask
(
ICurry.Interpreter
)
evalFun
(
ICurry.Interpreter
)
execIProg
(
ICurry.Interpreter
)
execProg
(
ICurry.Interpreter
)
extendGraph
(
ICurry.Interpreter
)
extendGraphL
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
F
flat2icurry
(
ICurry.Compiler
)
followPath
(
ICurry.Interpreter
)
fullGraph
(
ICurry.Interpreter
)
funApply
(
ICurry.Interpreter
)
funcOf
(
ICurry.Interpreter
)
funDollarBang
(
ICurry.Interpreter
)
funDollarDollarBang
(
ICurry.Interpreter
)
funDollarHash
(
ICurry.Interpreter
)
funError
(
ICurry.Compiler
)
funNormalForm
(
ICurry.Interpreter
)
funSeq
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
G
graph
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
I
iCurryFileName
(
ICurry.Files
)
iCurryFilePath
(
ICurry.Files
)
icCompile
(
ICurry.Compiler
)
initState
(
ICurry.Interpreter
)
interactive
(
ICurry.Interpreter
)
invokeFunction
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
L
lookupInEnv
(
ICurry.Interpreter
)
lookupIntNode
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
M
makePDF
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
O
optConsMap
(
ICurry.Compiler
)
optFun
(
ICurry.Compiler
)
optFunMap
(
ICurry.Compiler
)
optHelp
(
ICurry.Compiler
)
optInteractive
(
ICurry.Compiler
)
optLift
(
ICurry.Compiler
)
optMain
(
ICurry.Compiler
)
optShowGraph
(
ICurry.Compiler
)
optVarDecls
(
ICurry.Compiler
)
optVerb
(
ICurry.Compiler
)
optViewPDF
(
ICurry.Compiler
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
P
posOfCons
(
ICurry.Compiler
)
posOfFun
(
ICurry.Compiler
)
ppAssignment
(
ICurry.Pretty
)
ppAssignments
(
ICurry.Pretty
)
ppBlock
(
ICurry.Pretty
)
ppConsBranch
(
ICurry.Pretty
)
ppConsBranches
(
ICurry.Pretty
)
ppConstructor
(
ICurry.Pretty
)
ppConstructors
(
ICurry.Pretty
)
ppDataType
(
ICurry.Pretty
)
ppDataTypes
(
ICurry.Pretty
)
ppExpr
(
ICurry.Pretty
)
ppExprs
(
ICurry.Pretty
)
ppFuncBody
(
ICurry.Pretty
)
ppFunction
(
ICurry.Pretty
)
ppFunctions
(
ICurry.Pretty
)
ppHeader
(
ICurry.Pretty
)
ppImport
(
ICurry.Pretty
)
ppImports
(
ICurry.Pretty
)
ppIProg
(
ICurry.Pretty
)
ppLit
(
ICurry.Pretty
)
ppLitBranch
(
ICurry.Pretty
)
ppLitBranches
(
ICurry.Pretty
)
ppPos
(
ICurry.Pretty
)
ppQName
(
ICurry.Pretty
)
ppStatement
(
ICurry.Pretty
)
ppVar
(
ICurry.Pretty
)
ppVarDecl
(
ICurry.Pretty
)
ppVarDecls
(
ICurry.Pretty
)
ppVars
(
ICurry.Pretty
)
pre
(
ICurry.Compiler
)
printDetails
(
ICurry.Compiler
)
printIntermediate
(
ICurry.Compiler
)
printState
(
ICurry.Interpreter
)
printStatus
(
ICurry.Compiler
)
program
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
R
readICurry
(
ICurry.Files
)
readICurryFile
(
ICurry.Files
)
replaceNodeArg
(
ICurry.Interpreter
)
results
(
ICurry.Interpreter
)
rootOfTask
(
ICurry.Interpreter
)
rootsOfState
(
ICurry.Interpreter
)
runWith
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
S
selectConsBranch
(
ICurry.Interpreter
)
selectLitBranch
(
ICurry.Interpreter
)
showAllExps
(
ICurry.Interpreter
)
showILit
(
ICurry.Interpreter
)
showIProg
(
ICurry.Compiler
)
showResults
(
ICurry.Interpreter
)
standardFuncs
(
ICurry.Interpreter
)
step
(
ICurry.Interpreter
)
stepNum
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
T
tasks
(
ICurry.Interpreter
)
test
(
ICurry.Compiler
)
toIBlock
(
ICurry.Compiler
)
toIExpr
(
ICurry.Compiler
)
trFunc
(
ICurry.Compiler
)
trLit
(
ICurry.Compiler
)
trRule
(
ICurry.Compiler
)
trVis
(
ICurry.Compiler
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
U
updateEnv
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
V
varPos
(
ICurry.Compiler
)
verbosity
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
W
waitTime
(
ICurry.Interpreter
)
withGraph
(
ICurry.Interpreter
)
withViewer
(
ICurry.Interpreter
)
writeICurry
(
ICurry.Files
)
writeICurryFile
(
ICurry.Files
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_
_
_impl#readList#Prelude.Read#ICurry.Types.IAssign
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IBlock
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IConsBranch
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IDataType
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IExpr
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IFuncBody
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IFunction
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.ILitBranch
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.ILiteral
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IProg
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IStatement
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IVarDecl
(
ICurry.Types
)
_impl#readList#Prelude.Read#ICurry.Types.IVisibility
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IAssign
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IBlock
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IConsBranch
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IDataType
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IExpr
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IFuncBody
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IFunction
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.ILitBranch
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.ILiteral
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IProg
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IStatement
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IVarDecl
(
ICurry.Types
)
_impl#readsPrec#Prelude.Read#ICurry.Types.IVisibility
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Interpreter.Control
(
ICurry.Interpreter
)
_impl#show#Prelude.Show#ICurry.Interpreter.State
(
ICurry.Interpreter
)
_impl#show#Prelude.Show#ICurry.Interpreter.Task
(
ICurry.Interpreter
)
_impl#show#Prelude.Show#ICurry.Types.IAssign
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IBlock
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IConsBranch
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IDataType
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IExpr
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IFuncBody
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IFunction
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.ILitBranch
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.ILiteral
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IProg
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IStatement
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IVarDecl
(
ICurry.Types
)
_impl#show#Prelude.Show#ICurry.Types.IVisibility
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Interpreter.Control
(
ICurry.Interpreter
)
_impl#showList#Prelude.Show#ICurry.Interpreter.State
(
ICurry.Interpreter
)
_impl#showList#Prelude.Show#ICurry.Interpreter.Task
(
ICurry.Interpreter
)
_impl#showList#Prelude.Show#ICurry.Types.IAssign
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IBlock
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IConsBranch
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IDataType
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IExpr
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IFuncBody
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IFunction
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.ILitBranch
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.ILiteral
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IProg
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IStatement
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IVarDecl
(
ICurry.Types
)
_impl#showList#Prelude.Show#ICurry.Types.IVisibility
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Interpreter.Control
(
ICurry.Interpreter
)
_impl#showsPrec#Prelude.Show#ICurry.Interpreter.State
(
ICurry.Interpreter
)
_impl#showsPrec#Prelude.Show#ICurry.Interpreter.Task
(
ICurry.Interpreter
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IAssign
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IBlock
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IConsBranch
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IDataType
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IExpr
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IFuncBody
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IFunction
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.ILitBranch
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.ILiteral
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IProg
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IStatement
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IVarDecl
(
ICurry.Types
)
_impl#showsPrec#Prelude.Show#ICurry.Types.IVisibility
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IAssign
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IBlock
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IConsBranch
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IDataType
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IExpr
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IFuncBody
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IFunction
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.ILitBranch
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.ILiteral
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IProg
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IStatement
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IVarDecl
(
ICurry.Types
)
_inst#Prelude.Read#ICurry.Types.IVisibility
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Interpreter.Control
(
ICurry.Interpreter
)
_inst#Prelude.Show#ICurry.Interpreter.State
(
ICurry.Interpreter
)
_inst#Prelude.Show#ICurry.Interpreter.Task
(
ICurry.Interpreter
)
_inst#Prelude.Show#ICurry.Types.IAssign
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IBlock
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IConsBranch
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IDataType
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IExpr
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IFuncBody
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IFunction
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.ILitBranch
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.ILiteral
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IProg
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IStatement
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IVarDecl
(
ICurry.Types
)
_inst#Prelude.Show#ICurry.Types.IVisibility
(
ICurry.Types
)
A
B
C
D
E
F
G
I
L
M
O
P
R
S
T
U
V
W
_