Package combinatorial
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all operations
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
#
#
(
Test.Prop
)
#<
(
Test.Prop
)
#>
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
-
-=-
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
<
<~>
(
Test.Prop
)
<~
(
Test.Prop
)
<~~>
(
Test.Prop
)
<=>
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
=
==>
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
A
allSubsets
(
Combinatorial
)
always
(
Test.Prop
)
allValues
(
Control.Search.Unsafe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
C
cycle
(
Data.List
)
chooseValue
(
Control.Search.SetFunctions
)
choose
(
Control.Search.SetFunctions
)
classify
(
Test.Prop
)
collect
(
Test.Prop
)
collectAs
(
Test.Prop
)
catMaybes
(
Data.Maybe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
D
delete
(
Data.List
)
deleteBy
(
Data.List
)
diagonal
(
Data.List
)
deterministic
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
E
elemIndex
(
Data.List
)
elemIndices
(
Data.List
)
eventually
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
F
find
(
Data.List
)
findIndex
(
Data.List
)
findIndices
(
Data.List
)
foldValues
(
Control.Search.SetFunctions
)
filterValues
(
Control.Search.SetFunctions
)
failing
(
Test.Prop
)
for
(
Test.Prop
)
forAll
(
Test.Prop
)
fromJust
(
Data.Maybe
)
fromMaybe
(
Data.Maybe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
G
group
(
Data.List
)
groupBy
(
Data.List
)
getSomeValue
(
Control.Search.SetFunctions
)
getSome
(
Control.Search.SetFunctions
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
I
intersect
(
Data.List
)
intersectBy
(
Data.List
)
intersperse
(
Data.List
)
intercalate
(
Data.List
)
inits
(
Data.List
)
isPrefixOf
(
Data.List
)
isSuffixOf
(
Data.List
)
isInfixOf
(
Data.List
)
insertBy
(
Data.List
)
init
(
Data.List
)
isEmpty
(
Control.Search.SetFunctions
)
is
(
Test.Prop
)
isAlways
(
Test.Prop
)
isEventually
(
Test.Prop
)
isJust
(
Data.Maybe
)
isNothing
(
Data.Maybe
)
isFail
(
Control.Search.Unsafe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
L
last
(
Data.List
)
label
(
Test.Prop
)
listToMaybe
(
Data.Maybe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
M
maximum
(
Data.List
)
maximumBy
(
Data.List
)
minimum
(
Data.List
)
minimumBy
(
Data.List
)
mapAccumL
(
Data.List
)
mapAccumR
(
Data.List
)
mapValues
(
Control.Search.SetFunctions
)
minValue
(
Control.Search.SetFunctions
)
minValueBy
(
Control.Search.SetFunctions
)
maxValue
(
Control.Search.SetFunctions
)
maxValueBy
(
Control.Search.SetFunctions
)
maybeToList
(
Data.Maybe
)
mapMaybe
(
Data.Maybe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
N
nub
(
Data.List
)
nubBy
(
Data.List
)
notEmpty
(
Control.Search.SetFunctions
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
O
oneValue
(
Control.Search.Unsafe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
P
permute
(
Combinatorial
)
partition
(
Combinatorial
)
permutations
(
Data.List
)
partition
(
Data.List
)
product
(
Data.List
)
printValues
(
Control.Search.SetFunctions
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
R
replace
(
Data.List
)
returns
(
Test.Prop
)
rewriteAll
(
Control.Search.Unsafe
)
rewriteSome
(
Control.Search.Unsafe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
S
subset
(
Combinatorial
)
splitSet
(
Combinatorial
)
sizedSubset
(
Combinatorial
)
splitOn
(
Data.List
)
split
(
Data.List
)
sort
(
Data.List
)
sortBy
(
Data.List
)
sum
(
Data.List
)
scanl
(
Data.List
)
scanl1
(
Data.List
)
scanr
(
Data.List
)
scanr1
(
Data.List
)
set0
(
Control.Search.SetFunctions
)
set1
(
Control.Search.SetFunctions
)
set2
(
Control.Search.SetFunctions
)
set3
(
Control.Search.SetFunctions
)
set4
(
Control.Search.SetFunctions
)
set5
(
Control.Search.SetFunctions
)
set6
(
Control.Search.SetFunctions
)
set7
(
Control.Search.SetFunctions
)
selectValue
(
Control.Search.SetFunctions
)
select
(
Control.Search.SetFunctions
)
sortValues
(
Control.Search.SetFunctions
)
sortValuesBy
(
Control.Search.SetFunctions
)
sameReturns
(
Test.Prop
)
solutionOf
(
Test.Prop
)
successful
(
Test.Prop
)
someValue
(
Control.Search.Unsafe
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
T
transpose
(
Data.List
)
tails
(
Data.List
)
toError
(
Test.Prop
)
toIOError
(
Test.Prop
)
trivial
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
U
union
(
Data.List
)
unionBy
(
Data.List
)
unfoldr
(
Data.List
)
uniquely
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
V
valueOf
(
Control.Search.SetFunctions
)
values2list
(
Control.Search.SetFunctions
)
valuesOf
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
\
\\
(
Data.List
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~
~
~>
(
Test.Prop
)
#
-
<
=
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
~