Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
A
B
D
E
F
G
I
L
O
P
R
S
V
|
A
addVS
(
Control.ValueSequence
)
allSolutions
(
Control.Findall
)
allValues
(
Control.Findall
)
allValuesBFS
(
Control.SearchTree
)
allValuesDFS
(
Control.SearchTree
)
allValuesDiag
(
Control.SearchTree
)
allValuesIDS
(
Control.SearchTree
)
allValuesIDSwith
(
Control.SearchTree
)
allValuesWith
(
Control.SearchTree
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
B
bfsStrategy
(
Control.SearchTree
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
D
depthDiag
(
Control.SearchTree.Traversal
)
dfsStrategy
(
Control.SearchTree
)
diagStrategy
(
Control.SearchTree
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
E
emptyVS
(
Control.ValueSequence
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
F
failVS
(
Control.ValueSequence
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
G
genBool
(
Control.SearchTree.Generators
)
genChar
(
Control.SearchTree.Generators
)
genCons0
(
Control.SearchTree.Generators
)
genCons1
(
Control.SearchTree.Generators
)
genCons2
(
Control.SearchTree.Generators
)
genCons3
(
Control.SearchTree.Generators
)
genCons4
(
Control.SearchTree.Generators
)
genCons5
(
Control.SearchTree.Generators
)
genEither
(
Control.SearchTree.Generators
)
genFloat
(
Control.SearchTree.Generators
)
genInt
(
Control.SearchTree.Generators
)
genList
(
Control.SearchTree.Generators
)
genMaybe
(
Control.SearchTree.Generators
)
genNat
(
Control.SearchTree.Generators
)
genOrdering
(
Control.SearchTree.Generators
)
genPair
(
Control.SearchTree.Generators
)
genTriple
(
Control.SearchTree.Generators
)
genTuple4
(
Control.SearchTree.Generators
)
genTuple5
(
Control.SearchTree.Generators
)
genUnit
(
Control.SearchTree.Generators
)
getAllFailures
(
Control.AllSolutions
)
getAllSolutions
(
Control.AllSolutions
)
getAllValues
(
Control.AllSolutions
)
getAllValues
(
Control.Findall
)
getAllValuesWith
(
Control.SearchTree
)
getOneSolution
(
Control.AllSolutions
)
getOneValue
(
Control.AllSolutions
)
getSearchTree
(
Control.SearchTree
)
getSomeValue
(
Control.Findall
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
I
idsStrategy
(
Control.SearchTree
)
idsStrategyWith
(
Control.SearchTree
)
isDefined
(
Control.SearchTree
)
isFail
(
Control.Findall
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
L
levelDiag
(
Control.SearchTree.Traversal
)
limitSearchTree
(
Control.SearchTree
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
O
oneValue
(
Control.Findall
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
P
printAllValuesWith
(
Control.SearchTree
)
printValuesWith
(
Control.SearchTree
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
R
rndDepthDiag
(
Control.SearchTree.Traversal
)
rndLevelDiag
(
Control.SearchTree.Traversal
)
rndLevelDiagFlat
(
Control.SearchTree.Traversal
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
S
searchTreeSize
(
Control.SearchTree
)
showSearchTree
(
Control.SearchTree
)
someSearchTree
(
Control.SearchTree
)
someSolution
(
Control.Findall
)
someValue
(
Control.SearchTree
)
someValue
(
Control.Findall
)
someValueWith
(
Control.SearchTree
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
V
vsToList
(
Control.ValueSequence
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|
|
|++|
(
Control.ValueSequence
)
|||
(
Control.SearchTree.Generators
)
A
B
D
E
F
G
I
L
O
P
R
S
V
|