Package base
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all operations
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
!
!!
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
#
#
(
Test.Prop
)
#<
(
Test.Prop
)
#>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
$
$
(
Prelude
)
$!
(
Prelude
)
$!!
(
Prelude
)
$#
(
Prelude
)
$##
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
&
&&
(
Prelude
)
&
(
Prelude
)
&>
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
+
++
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
-
-=-
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
.
.
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
/
/==
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
<
<$>
(
Prelude
)
<=<
(
Control.Monad
)
<~>
(
Test.Prop
)
<~
(
Test.Prop
)
<~~>
(
Test.Prop
)
<=>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
=
=<<
(
Prelude
)
=:=
(
Prelude
)
=:<=
(
Prelude
)
=:<<=
(
Prelude
)
==>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
>
>=>
(
Control.Monad
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
?
?
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
A
ap
(
Prelude
)
asTypeOf
(
Prelude
)
and
(
Prelude
)
any
(
Prelude
)
all
(
Prelude
)
appendFile
(
Prelude
)
anyOf
(
Prelude
)
apply
(
Prelude
)
assert
(
Debug.Trace
)
assertIO
(
Debug.Trace
)
always
(
Test.Prop
)
allValues
(
Control.Search.Unsafe
)
allValuesWith
(
Control.Search.SearchTree
)
allValuesDFS
(
Control.Search.SearchTree
)
allValuesBFS
(
Control.Search.SearchTree
)
allValuesIDS
(
Control.Search.SearchTree
)
allValuesIDSwith
(
Control.Search.SearchTree
)
allValuesDiag
(
Control.Search.SearchTree
)
addVS
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
B
break
(
Prelude
)
baseVersion
(
Curry.Compiler.Distribution
)
bfsStrategy
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
C
catMaybes
(
Data.Maybe
)
chr
(
Prelude
)
const
(
Prelude
)
curry
(
Prelude
)
concat
(
Prelude
)
concatMap
(
Prelude
)
catch
(
Prelude
)
constrEq
(
Prelude
)
cond
(
Prelude
)
compareAnyTerm
(
System.IO.Unsafe
)
curryCompiler
(
Curry.Compiler.Distribution
)
curryCompilerMajorVersion
(
Curry.Compiler.Distribution
)
curryCompilerMinorVersion
(
Curry.Compiler.Distribution
)
curryCompilerRevisionVersion
(
Curry.Compiler.Distribution
)
curryRuntime
(
Curry.Compiler.Distribution
)
curryRuntimeMajorVersion
(
Curry.Compiler.Distribution
)
curryRuntimeMinorVersion
(
Curry.Compiler.Distribution
)
classify
(
Test.Prop
)
collect
(
Test.Prop
)
collectAs
(
Test.Prop
)
cycle
(
Data.List
)
chooseValue
(
Control.Search.SetFunctions
)
choose
(
Control.Search.SetFunctions
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
D
digitToInt
(
Data.Char
)
drop
(
Prelude
)
dropWhile
(
Prelude
)
doSolve
(
Prelude
)
deterministic
(
Test.Prop
)
delete
(
Data.List
)
deleteBy
(
Data.List
)
diagonal
(
Data.List
)
dfsStrategy
(
Control.Search.SearchTree
)
diagStrategy
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
E
eqString
(
Prelude
)
even
(
Prelude
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
elem
(
Prelude
)
either
(
Prelude
)
error
(
Prelude
)
eventually
(
Test.Prop
)
elemIndex
(
Data.List
)
elemIndices
(
Data.List
)
emptyVS
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
F
fromJust
(
Data.Maybe
)
fromMaybe
(
Data.Maybe
)
fromIntegral
(
Prelude
)
flip
(
Prelude
)
fst
(
Prelude
)
foldl
(
Prelude
)
foldl1
(
Prelude
)
foldr
(
Prelude
)
foldr1
(
Prelude
)
filter
(
Prelude
)
failed
(
Prelude
)
filterM
(
Control.Monad
)
forever
(
Control.Monad
)
foldM
(
Control.Monad
)
foldM_
(
Control.Monad
)
forM
(
Control.Monad
)
forM_
(
Control.Monad
)
fromLeft
(
Data.Either
)
fromRight
(
Data.Either
)
failing
(
Test.Prop
)
for
(
Test.Prop
)
forAll
(
Test.Prop
)
find
(
Data.List
)
findIndex
(
Data.List
)
findIndices
(
Data.List
)
fix
(
Data.Function
)
foldValues
(
Control.Search.SetFunctions
)
filterValues
(
Control.Search.SetFunctions
)
failVS
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
G
groundNormalForm
(
Prelude
)
getChar
(
Prelude
)
getLine
(
Prelude
)
getContents
(
System.IO
)
group
(
Data.List
)
groupBy
(
Data.List
)
getArgs
(
System.Environment
)
getEnv
(
System.Environment
)
getHostname
(
System.Environment
)
getProgName
(
System.Environment
)
getCPUTime
(
System.CPUTime
)
getElapsedTime
(
System.CPUTime
)
getOpt
(
System.Console.GetOpt
)
getOpt'
(
System.Console.GetOpt
)
getSomeValue
(
Control.Search.SetFunctions
)
getSome
(
Control.Search.SetFunctions
)
getAllValues
(
Control.Search.AllValues
)
getOneValue
(
Control.Search.AllValues
)
getAllFailures
(
Control.Search.AllValues
)
getSearchTree
(
Control.Search.SearchTree
)
getAllValuesWith
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
H
head
(
Prelude
)
hClose
(
System.IO
)
hFlush
(
System.IO
)
hIsEOF
(
System.IO
)
hSeek
(
System.IO
)
hWaitForInput
(
System.IO
)
hWaitForInputs
(
System.IO
)
hReady
(
System.IO
)
hGetChar
(
System.IO
)
hGetLine
(
System.IO
)
hGetContents
(
System.IO
)
hPutChar
(
System.IO
)
hPutStr
(
System.IO
)
hPutStrLn
(
System.IO
)
hPrint
(
System.IO
)
hIsReadable
(
System.IO
)
hIsWritable
(
System.IO
)
hIsTerminalDevice
(
System.IO
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
I
isAscii
(
Data.Char
)
isLatin1
(
Data.Char
)
isAsciiLower
(
Data.Char
)
isAsciiUpper
(
Data.Char
)
isControl
(
Data.Char
)
intToDigit
(
Data.Char
)
isJust
(
Data.Maybe
)
isNothing
(
Data.Maybe
)
isUpper
(
Prelude
)
isLower
(
Prelude
)
isAlpha
(
Prelude
)
isDigit
(
Prelude
)
isAlphaNum
(
Prelude
)
isBinDigit
(
Prelude
)
isOctDigit
(
Prelude
)
isHexDigit
(
Prelude
)
isSpace
(
Prelude
)
id
(
Prelude
)
ifThenElse
(
Prelude
)
iterate
(
Prelude
)
ioError
(
Prelude
)
isEOF
(
System.IO
)
isVar
(
System.IO.Unsafe
)
identicalVar
(
System.IO.Unsafe
)
isGround
(
System.IO.Unsafe
)
isLeft
(
Data.Either
)
isRight
(
Data.Either
)
installDir
(
Curry.Compiler.Distribution
)
is
(
Test.Prop
)
isAlways
(
Test.Prop
)
isEventually
(
Test.Prop
)
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
)
isPosix
(
System.Environment
)
isWindows
(
System.Environment
)
isFail
(
Control.Search.Unsafe
)
isEmpty
(
Control.Search.SetFunctions
)
isDefined
(
Control.Search.SearchTree
)
idsStrategy
(
Control.Search.SearchTree
)
idsStrategyWith
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
J
join
(
Control.Monad
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
L
listToMaybe
(
Data.Maybe
)
lex
(
Prelude
)
liftM2
(
Prelude
)
lines
(
Prelude
)
length
(
Prelude
)
lookup
(
Prelude
)
liftM3
(
Control.Monad
)
liftA
(
Control.Applicative
)
liftA3
(
Control.Applicative
)
lefts
(
Data.Either
)
label
(
Test.Prop
)
last
(
Data.List
)
limitSearchTree
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
M
maybeToList
(
Data.Maybe
)
mapMaybe
(
Data.Maybe
)
mapM
(
Prelude
)
mapM_
(
Prelude
)
map
(
Prelude
)
maybe
(
Prelude
)
mapAndUnzipM
(
Control.Monad
)
modifyIORef
(
Data.IORef
)
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
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
N
normalForm
(
Prelude
)
not
(
Prelude
)
null
(
Prelude
)
notElem
(
Prelude
)
newIORef
(
Data.IORef
)
nub
(
Data.List
)
nubBy
(
Data.List
)
notEmpty
(
Control.Search.SetFunctions
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
O
odd
(
Prelude
)
ord
(
Prelude
)
otherwise
(
Prelude
)
or
(
Prelude
)
openFile
(
System.IO
)
on
(
Data.Function
)
oneValue
(
Control.Search.Unsafe
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
P
putChar
(
Prelude
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
print
(
Prelude
)
PEVAL
(
Prelude
)
partitionEithers
(
Data.Either
)
permutations
(
Data.List
)
partition
(
Data.List
)
product
(
Data.List
)
printValues
(
Control.Search.SetFunctions
)
printAllValuesWith
(
Control.Search.SearchTree
)
printValuesWith
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
R
readInt
(
Numeric
)
readNat
(
Numeric
)
readHex
(
Numeric
)
readOct
(
Numeric
)
readBin
(
Numeric
)
reads
(
Prelude
)
readParen
(
Prelude
)
read
(
Prelude
)
realToFrac
(
Prelude
)
repeat
(
Prelude
)
replicate
(
Prelude
)
reverse
(
Prelude
)
readFile
(
Prelude
)
replicateM
(
Control.Monad
)
replicateM_
(
Control.Monad
)
readsAnyUnqualifiedTerm
(
System.IO.Unsafe
)
readAnyUnqualifiedTerm
(
System.IO.Unsafe
)
rights
(
Data.Either
)
returns
(
Test.Prop
)
readIORef
(
Data.IORef
)
replace
(
Data.List
)
rewriteAll
(
Control.Search.Unsafe
)
rewriteSome
(
Control.Search.Unsafe
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
S
shows
(
Prelude
)
showChar
(
Prelude
)
showString
(
Prelude
)
showParen
(
Prelude
)
showTuple
(
Prelude
)
sequence
(
Prelude
)
sequence_
(
Prelude
)
seq
(
Prelude
)
snd
(
Prelude
)
splitAt
(
Prelude
)
span
(
Prelude
)
success
(
Prelude
)
solve
(
Prelude
)
stdin
(
System.IO
)
stdout
(
System.IO
)
stderr
(
System.IO
)
spawnConstraint
(
System.IO.Unsafe
)
showAnyTerm
(
System.IO.Unsafe
)
showAnyExpression
(
System.IO.Unsafe
)
sequenceA
(
Control.Applicative
)
sequenceA_
(
Control.Applicative
)
sameReturns
(
Test.Prop
)
solutionOf
(
Test.Prop
)
successful
(
Test.Prop
)
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
)
showString
(
Text.Show
)
showChar
(
Text.Show
)
showParen
(
Text.Show
)
shows
(
Text.Show
)
setEnv
(
System.Environment
)
someValue
(
Control.Search.Unsafe
)
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
)
someSearchTree
(
Control.Search.SearchTree
)
showSearchTree
(
Control.Search.SearchTree
)
searchTreeSize
(
Control.Search.SearchTree
)
someValue
(
Control.Search.SearchTree
)
someValueWith
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
T
toUpper
(
Data.Char
)
toLower
(
Data.Char
)
tail
(
Prelude
)
take
(
Prelude
)
takeWhile
(
Prelude
)
trace
(
Debug.Trace
)
traceId
(
Debug.Trace
)
traceShow
(
Debug.Trace
)
traceShowId
(
Debug.Trace
)
traceIO
(
Debug.Trace
)
trace
(
System.IO.Unsafe
)
toError
(
Test.Prop
)
toIOError
(
Test.Prop
)
trivial
(
Test.Prop
)
transpose
(
Data.List
)
tails
(
Data.List
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
U
unlines
(
Prelude
)
unwords
(
Prelude
)
uncurry
(
Prelude
)
until
(
Prelude
)
unzip
(
Prelude
)
unzip3
(
Prelude
)
userError
(
Prelude
)
unknown
(
Prelude
)
unless
(
Control.Monad
)
unsafePerformIO
(
System.IO.Unsafe
)
uniquely
(
Test.Prop
)
union
(
Data.List
)
unionBy
(
Data.List
)
unfoldr
(
Data.List
)
unsetEnv
(
System.Environment
)
usageInfo
(
System.Console.GetOpt
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
V
void
(
Control.Monad
)
valuesOf
(
Test.Prop
)
valueOf
(
Control.Search.SetFunctions
)
values2list
(
Control.Search.SetFunctions
)
vsToList
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
W
words
(
Prelude
)
writeFile
(
Prelude
)
when
(
Control.Applicative
)
writeIORef
(
Data.IORef
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
Z
zip
(
Prelude
)
zip3
(
Prelude
)
zipWith
(
Prelude
)
zipWith3
(
Prelude
)
zipWithM
(
Control.Monad
)
zipWithM_
(
Control.Monad
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
\
\\
(
Data.List
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
^
^
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
|
||
(
Prelude
)
|++|
(
Control.Search.SearchTree
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
~
~>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~