Package icurry
All operations
All constructors
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Index to all operations
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
A
addAssigns
(
ICurry.Interpreter
)
addQMap
(
ICurry.Options
)
addResult
(
ICurry.Interpreter
)
addTGState
(
ICurry.Interpreter
)
addVarDecls
(
ICurry.Interpreter
)
arityOf
(
ICurry.Interpreter
)
arityPosOfCons
(
ICurry.Options
)
askProceed
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
B
bodyOf
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
C
choiceOfDemand
(
ICurry.Interpreter
)
currentNodeOfTask
(
ICurry.Interpreter
)
currResult
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
D
defaultICOptions
(
ICurry.Options
)
defOpts
(
ICurry.Interpreter
)
demandOf
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
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
O
P
Q
R
S
T
U
W
_
F
flatCurry2ICurry
(
ICurry.Compiler
)
flatCurry2ICurryWithProgs
(
ICurry.Compiler
)
flatCurry2ICurryWithProgsAndOptions
(
ICurry.Compiler
)
followPath
(
ICurry.Interpreter
)
funApply
(
ICurry.Interpreter
)
funcOf
(
ICurry.Interpreter
)
funDollarBang
(
ICurry.Interpreter
)
funDollarDollarBang
(
ICurry.Interpreter
)
funDollarHash
(
ICurry.Interpreter
)
funError
(
ICurry.Options
)
funNormalForm
(
ICurry.Interpreter
)
funSeq
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
G
graph
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
I
iCurryFileName
(
ICurry.Files
)
iCurryFilePath
(
ICurry.Files
)
icCompile
(
ICurry.Compiler
)
icOptions
(
ICurry.Interpreter
)
initState
(
ICurry.Interpreter
)
invokeFunction
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
L
lookupInEnv
(
ICurry.Interpreter
)
lookupIntNode
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
O
optConsMap
(
ICurry.Options
)
optFrontendParams
(
ICurry.Options
)
optFun
(
ICurry.Options
)
optFunMap
(
ICurry.Options
)
optGraphOutput
(
ICurry.Options
)
optHelp
(
ICurry.Options
)
optInteractive
(
ICurry.Options
)
options
(
ICurry.Options
)
optLift
(
ICurry.Options
)
optMain
(
ICurry.Options
)
optMaxSteps
(
ICurry.Options
)
optModsMaps
(
ICurry.Options
)
optOutput
(
ICurry.Options
)
optShowGraph
(
ICurry.Options
)
optShowNodeIDs
(
ICurry.Options
)
optTermGraph
(
ICurry.Options
)
optTreeDepth
(
ICurry.Options
)
optTreeOutput
(
ICurry.Options
)
optVarDecls
(
ICurry.Options
)
optVerb
(
ICurry.Options
)
optViewPDF
(
ICurry.Options
)
optXMLOutput
(
ICurry.Options
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
P
posOfCons
(
ICurry.Options
)
posOfFun
(
ICurry.Options
)
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
)
printDetails
(
ICurry.Options
)
printIntermediate
(
ICurry.Options
)
printState
(
ICurry.Interpreter
)
printStatus
(
ICurry.Options
)
processOptions
(
ICurry.Options
)
program
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
Q
qmapLookup
(
ICurry.Options
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
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
O
P
Q
R
S
T
U
W
_
S
selectConsBranch
(
ICurry.Interpreter
)
selectLitBranch
(
ICurry.Interpreter
)
setConsFuns
(
ICurry.Options
)
showAllExps
(
ICurry.Interpreter
)
showILit
(
ICurry.Interpreter
)
showQName
(
ICurry.Options
)
showResults
(
ICurry.Interpreter
)
standardFuncs
(
ICurry.Interpreter
)
step
(
ICurry.Interpreter
)
stepNum
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
T
tasks
(
ICurry.Interpreter
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
U
updateEnv
(
ICurry.Interpreter
)
usageText
(
ICurry.Options
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
W
waitTime
(
ICurry.Interpreter
)
withGraph
(
ICurry.Interpreter
)
writeICurry
(
ICurry.Files
)
writeICurryFile
(
ICurry.Files
)
A
B
C
D
E
F
G
I
L
O
P
Q
R
S
T
U
W
_
_
_impl#===#Prelude.Data#ICurry.Interpreter.Control#
(
ICurry.Interpreter
)
_impl#===#Prelude.Data#ICurry.Interpreter.IOptions#
(
ICurry.Interpreter
)
_impl#===#Prelude.Data#ICurry.Interpreter.State#
(
ICurry.Interpreter
)
_impl#===#Prelude.Data#ICurry.Interpreter.Task#
(
ICurry.Interpreter
)
_impl#===#Prelude.Data#ICurry.Options.ICOptions#
(
ICurry.Options
)
_impl#===#Prelude.Data#ICurry.Types.IAssign#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IBlock#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IConsBranch#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IDataType#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IExpr#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IFuncBody#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IFunction#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.ILitBranch#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.ILiteral#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IProg#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IStatement#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IVarDecl#
(
ICurry.Types
)
_impl#===#Prelude.Data#ICurry.Types.IVisibility#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Interpreter.Control#
(
ICurry.Interpreter
)
_impl#aValue#Prelude.Data#ICurry.Interpreter.IOptions#
(
ICurry.Interpreter
)
_impl#aValue#Prelude.Data#ICurry.Interpreter.State#
(
ICurry.Interpreter
)
_impl#aValue#Prelude.Data#ICurry.Interpreter.Task#
(
ICurry.Interpreter
)
_impl#aValue#Prelude.Data#ICurry.Options.ICOptions#
(
ICurry.Options
)
_impl#aValue#Prelude.Data#ICurry.Types.IAssign#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IBlock#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IConsBranch#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IDataType#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IExpr#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IFuncBody#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IFunction#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.ILitBranch#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.ILiteral#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IProg#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IStatement#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IVarDecl#
(
ICurry.Types
)
_impl#aValue#Prelude.Data#ICurry.Types.IVisibility#
(
ICurry.Types
)
_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.Data#ICurry.Interpreter.Control#
(
ICurry.Interpreter
)
_inst#Prelude.Data#ICurry.Interpreter.IOptions#
(
ICurry.Interpreter
)
_inst#Prelude.Data#ICurry.Interpreter.State#
(
ICurry.Interpreter
)
_inst#Prelude.Data#ICurry.Interpreter.Task#
(
ICurry.Interpreter
)
_inst#Prelude.Data#ICurry.Options.ICOptions#
(
ICurry.Options
)
_inst#Prelude.Data#ICurry.Types.IAssign#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IBlock#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IConsBranch#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IDataType#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IExpr#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IFuncBody#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IFunction#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.ILitBranch#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.ILiteral#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IProg#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IStatement#
(
ICurry.Types
)
_inst#Prelude.Data#ICurry.Types.IVarDecl#
(
ICurry.Types
)
_inst#Prelude.Data#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
O
P
Q
R
S
T
U
W
_