Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
!
!!
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
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
Q
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
Q
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
Q
R
S
T
U
V
W
Z
\
|
~
*
*
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
+
+
(
Prelude
)
++
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
-
-
(
Prelude
)
-=-
(
Test.Prop
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
.
.
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
/
/=
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
<
<
(
Prelude
)
<.>
(
FilePath
)
</>
(
FilePath
)
<=
(
Prelude
)
<=>
(
Test.Prop
)
<~
(
Test.Prop
)
<~>
(
Test.Prop
)
<~~>
(
Test.Prop
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
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
Q
R
S
T
U
V
W
Z
\
|
~
>
>
(
Prelude
)
>=
(
Prelude
)
>>
(
Prelude
)
>>-
(
Maybe
)
>>=
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
?
?
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
A
abstractCall
(
Analysis
)
addApplyRules
(
TRS
)
addChoiceRules
(
TRS
)
addCurrySubdir
(
Distribution
)
addDays
(
Time
)
addExtension
(
FilePath
)
addHours
(
Time
)
addMinutes
(
Time
)
addMonths
(
Time
)
addSeconds
(
Time
)
addTarget
(
Distribution
)
addTrailingPathSeparator
(
FilePath
)
addYears
(
Time
)
adomBottom
(
Analysis
)
adomLeq
(
Analysis
)
adomShow
(
Analysis
)
all
(
Prelude
)
allFunctions
(
TRS
)
allVars
(
FlatCurry.Goodies
)
allVarsInFunc
(
FlatCurry.Goodies
)
allVarsInProg
(
FlatCurry.Goodies
)
allVarsInRule
(
FlatCurry.Goodies
)
always
(
Test.Prop
)
analyseNondeterminism
(
Nondeterminism
)
analyseSetValued
(
Nondeterminism
)
analyseWithDependencies
(
Dependency
)
analysisDir
(
Analysis
)
and
(
Prelude
)
any
(
Prelude
)
anyOf
(
Prelude
)
appendFile
(
Prelude
)
apply
(
Prelude
)
applyPrimDTerm
(
Analysis
)
argTypes
(
FlatCurry.Goodies
)
arityOf
(
TRS
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
B
baseName
(
FileGoodies
)
bench
(
Analysis
)
branchExpr
(
FlatCurry.Goodies
)
branchPattern
(
FlatCurry.Goodies
)
break
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
C
calendarTimeToString
(
Time
)
callFrontend
(
Distribution
)
callFrontendWithParams
(
Distribution
)
callPatternAnalysis
(
Analysis
)
callsDirectly
(
Dependency
)
caseBranches
(
FlatCurry.Goodies
)
caseExpr
(
FlatCurry.Goodies
)
caseType
(
FlatCurry.Goodies
)
catch
(
Prelude
)
catMaybes
(
Maybe
)
checkArgs
(
Analysis
)
chr
(
Prelude
)
classify
(
Test.Prop
)
clockTimeToInt
(
Time
)
cmpChar
(
Sort
)
cmpList
(
Sort
)
cmpString
(
Sort
)
collect
(
Test.Prop
)
collectAs
(
Test.Prop
)
combArgs
(
FlatCurry.Goodies
)
combine
(
FilePath
)
combName
(
FlatCurry.Goodies
)
combType
(
FlatCurry.Goodies
)
compare
(
Prelude
)
compareCalendarTime
(
Time
)
compareClockTime
(
Time
)
compareDate
(
Time
)
computeFixpoint
(
Analysis
)
concat
(
Prelude
)
concatMap
(
Prelude
)
concreteDom
(
Analysis
)
cond
(
Prelude
)
connectToCommand
(
IOExts
)
cons
(
TRS
)
consArgs
(
FlatCurry.Goodies
)
consArity
(
FlatCurry.Goodies
)
consDTerm
(
Analysis
)
consName
(
FlatCurry.Goodies
)
const
(
Prelude
)
consVisibility
(
FlatCurry.Goodies
)
containsApply
(
TRS
)
containsChoice
(
TRS
)
copyFile
(
Directory
)
createAnalysisDir
(
Analysis
)
createDirectory
(
Directory
)
createDirectoryIfMissing
(
Directory
)
ctDay
(
Time
)
ctHour
(
Time
)
ctMin
(
Time
)
ctMonth
(
Time
)
ctSec
(
Time
)
ctTZ
(
Time
)
ctYear
(
Time
)
curry
(
Prelude
)
curryCompiler
(
Distribution
)
curryCompilerMajorVersion
(
Distribution
)
curryCompilerMinorVersion
(
Distribution
)
curryRuntime
(
Distribution
)
curryRuntimeMajorVersion
(
Distribution
)
curryRuntimeMinorVersion
(
Distribution
)
currySubdir
(
Distribution
)
cutDTerm
(
Analysis
)
cycle
(
List
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
D
dataModule
(
MyFlatCurryGoodies
)
daysOfMonth
(
Time
)
defaultParams
(
Distribution
)
delete
(
List
)
delete
(
RedBlackTree
)
deleteBy
(
List
)
deleteRBT
(
TableRBT
)
deleteRBT
(
SetRBT
)
dependencyGraphs
(
Dependency
)
depthDom
(
Analysis
)
deterministic
(
Test.Prop
)
diagonal
(
List
)
digitToInt
(
Char
)
dirName
(
FileGoodies
)
div
(
Prelude
)
divMod
(
Prelude
)
doesDirectoryExist
(
Directory
)
doesFileExist
(
Directory
)
domain
(
FlatCurry.Goodies
)
done
(
Prelude
)
doSolve
(
Prelude
)
drop
(
Prelude
)
dropDrive
(
FilePath
)
dropExtension
(
FilePath
)
dropExtensions
(
FilePath
)
dropFileName
(
FilePath
)
dropTrailingPathSeparator
(
FilePath
)
dropWhile
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
E
either
(
Prelude
)
elem
(
Prelude
)
elemIndex
(
List
)
elemIndices
(
List
)
elemRBT
(
SetRBT
)
empty
(
RedBlackTree
)
emptySetRBT
(
SetRBT
)
emptyTableRBT
(
TableRBT
)
encloseInPar
(
TRS
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
enumFrom
(
Prelude
)
enumFromThen
(
Prelude
)
enumFromThenTo
(
Prelude
)
enumFromTo
(
Prelude
)
eqSemInt
(
Analysis
)
equalFilePath
(
FilePath
)
error
(
Prelude
)
evalCmd
(
IOExts
)
evalSpace
(
Profile
)
evalTime
(
Profile
)
eventually
(
Test.Prop
)
exclusiveIO
(
IOExts
)
execCmd
(
IOExts
)
exitWith
(
System
)
extended
(
Distribution
)
extendListMap
(
Analysis
)
externalDependent
(
Dependency
)
extractStrictness
(
Analysis
)
extSeparator
(
FilePath
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
F
failed
(
Prelude
)
failing
(
Test.Prop
)
failure
(
Prelude
)
fEqsOfWorkSem
(
Analysis
)
fileSize
(
Directory
)
fileSuffix
(
FileGoodies
)
filter
(
Prelude
)
find
(
List
)
findIndex
(
List
)
findIndices
(
List
)
flatCurryFileName
(
FlatCurry.Files
)
flatCurryIntName
(
FlatCurry.Files
)
flip
(
Prelude
)
foldIO
(
Prelude
)
foldl
(
Prelude
)
foldl1
(
Prelude
)
foldr
(
Prelude
)
foldr1
(
Prelude
)
for
(
Test.Prop
)
forAll
(
Test.Prop
)
forIO
(
Prelude
)
forIO_
(
Prelude
)
freeExpr
(
FlatCurry.Goodies
)
freeVars
(
FlatCurry.Goodies
)
fromJust
(
Maybe
)
fromMaybe
(
Maybe
)
fst
(
Prelude
)
fSubterms
(
TRS
)
fullPath
(
Distribution
)
func
(
TRS
)
funcArgs
(
FlatCurry.Goodies
)
funcArity
(
FlatCurry.Goodies
)
funcBody
(
FlatCurry.Goodies
)
funcModule
(
MyFlatCurryGoodies
)
funcName
(
FlatCurry.Goodies
)
funcName
(
MyFlatCurryGoodies
)
funcRHS
(
FlatCurry.Goodies
)
funcRule
(
FlatCurry.Goodies
)
funcRules
(
TRS
)
funcsInExpr
(
Dependency
)
funcsInTerm
(
TRS
)
funcsOfProg
(
MyFlatCurryGoodies
)
funcType
(
FlatCurry.Goodies
)
funcVisibility
(
FlatCurry.Goodies
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
G
garbageCollect
(
Profile
)
garbageCollectorOff
(
Profile
)
garbageCollectorOn
(
Profile
)
genCorrectIdentifier
(
Names
)
genMainCalls
(
Analysis
)
getAbsolutePath
(
Directory
)
getArgs
(
System
)
getAssoc
(
IOExts
)
getChar
(
Prelude
)
getClockTime
(
Time
)
getContents
(
IO
)
getCPUTime
(
System
)
getCurrentDirectory
(
Directory
)
getDirectoryContents
(
Directory
)
getElapsedTime
(
System
)
getEnviron
(
System
)
getFileInPath
(
FileGoodies
)
getFlatCurryFileInLoadPath
(
FlatCurry.Files
)
getFlexRigid
(
FlatCurry.FlexRigid
)
getHomeDirectory
(
Directory
)
getHostname
(
System
)
getLine
(
Prelude
)
getLoadPathForModule
(
Distribution
)
getLocalTime
(
Time
)
getMainCall
(
Analysis
)
getModificationTime
(
Directory
)
getNondetInfos
(
NondetAnalysis
)
getPID
(
System
)
getProcessInfos
(
Profile
)
getProgName
(
System
)
getRcVar
(
Distribution
)
getRcVars
(
Distribution
)
getSearchPath
(
FilePath
)
getTemporaryDirectory
(
Directory
)
global
(
Global
)
groundNormalForm
(
Prelude
)
group
(
List
)
groupBy
(
List
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
H
hasDrive
(
FilePath
)
hasExtension
(
FilePath
)
hasTrailingPathSeparator
(
FilePath
)
hClose
(
IO
)
head
(
Prelude
)
hFlush
(
IO
)
hGetChar
(
IO
)
hGetContents
(
IO
)
hGetLine
(
IO
)
hIsEOF
(
IO
)
hIsReadable
(
IO
)
hIsTerminalDevice
(
IO
)
hIsWritable
(
IO
)
hPrint
(
IO
)
hPutChar
(
IO
)
hPutStr
(
IO
)
hPutStrLn
(
IO
)
hReady
(
IO
)
hSeek
(
IO
)
htmldir
(
Distribution
)
hWaitForInput
(
IO
)
hWaitForInputOrMsg
(
IO
)
hWaitForInputs
(
IO
)
hWaitForInputsOrMsg
(
IO
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
I
id
(
Prelude
)
ifVar
(
Prelude
)
if_then_else
(
Prelude
)
importsOfProg
(
MyFlatCurryGoodies
)
inCurrySubdir
(
Distribution
)
inCurrySubdirModule
(
Distribution
)
indirectlyDependent
(
Dependency
)
init
(
List
)
inits
(
List
)
insertBy
(
List
)
insertionSort
(
Sort
)
insertionSortBy
(
Sort
)
insertLetInExp
(
LetDropping
)
insertLetInRule
(
LetDropping
)
insertMultiRBT
(
SetRBT
)
insertRBT
(
SetRBT
)
insertSemEq
(
Analysis
)
installDir
(
Distribution
)
intercalate
(
List
)
intersect
(
List
)
intersectBy
(
List
)
intersectRBT
(
SetRBT
)
intersperse
(
List
)
intToDigit
(
Char
)
ioError
(
Prelude
)
is
(
Test.Prop
)
isAbsolute
(
FileGoodies
)
isAbsolute
(
FilePath
)
isAlpha
(
Char
)
isAlphaNum
(
Char
)
isAlways
(
Test.Prop
)
isAscii
(
Char
)
isAsciiLower
(
Char
)
isAsciiUpper
(
Char
)
isBinDigit
(
Char
)
isCase
(
FlatCurry.Goodies
)
isComb
(
FlatCurry.Goodies
)
isCombTypeConsCall
(
FlatCurry.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Goodies
)
isConsCall
(
FlatCurry.Goodies
)
isConsPartCall
(
FlatCurry.Goodies
)
isConsPattern
(
FlatCurry.Goodies
)
isControl
(
Char
)
isDigit
(
Char
)
isDrive
(
FilePath
)
isEmpty
(
RedBlackTree
)
isEmptySetRBT
(
SetRBT
)
isEmptyTable
(
TableRBT
)
isEOF
(
IO
)
isEventually
(
Test.Prop
)
isExternal
(
FlatCurry.Goodies
)
isExtSeparator
(
FilePath
)
isFree
(
FlatCurry.Goodies
)
isFuncCall
(
FlatCurry.Goodies
)
isFuncPartCall
(
FlatCurry.Goodies
)
isFuncType
(
FlatCurry.Goodies
)
isGround
(
FlatCurry.Goodies
)
isHexDigit
(
Char
)
isInfixOf
(
List
)
isJust
(
Maybe
)
isLatin1
(
Char
)
isLet
(
FlatCurry.Goodies
)
isLit
(
FlatCurry.Goodies
)
isLower
(
Char
)
isNothing
(
Maybe
)
isOctDigit
(
Char
)
isOr
(
FlatCurry.Goodies
)
isOverlappingFunction
(
Overlapping
)
isPathSeparator
(
FilePath
)
isPosix
(
System
)
isPrefixOf
(
List
)
isPublic
(
MyFlatCurryGoodies
)
isRelative
(
FilePath
)
isRuleExternal
(
FlatCurry.Goodies
)
isSearchPathSeparator
(
FilePath
)
isSpace
(
Char
)
isSuffixOf
(
List
)
isTCons
(
FlatCurry.Goodies
)
isTVar
(
FlatCurry.Goodies
)
isTypeSyn
(
FlatCurry.Goodies
)
isUpper
(
Char
)
isValid
(
FilePath
)
isVar
(
FlatCurry.Goodies
)
isWindows
(
System
)
iterate
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
J
joinDrive
(
FilePath
)
joinModuleIdentifiers
(
Distribution
)
joinPath
(
FilePath
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
L
label
(
Test.Prop
)
last
(
List
)
length
(
Prelude
)
leqChar
(
Sort
)
leqCharIgnoreCase
(
Sort
)
leqCTerm
(
Analysis
)
leqDTerm
(
Analysis
)
leqFunc
(
ShowFlatCurry
)
leqLexGerman
(
Sort
)
leqList
(
Sort
)
leqString
(
Sort
)
leqStringIgnoreCase
(
Sort
)
lessCSpecific
(
Analysis
)
lessDSpecific
(
Analysis
)
lessSemEq
(
Analysis
)
lessSpecificEqCallPattern
(
Analysis
)
lessSpecificEqResult
(
Analysis
)
letBinds
(
FlatCurry.Goodies
)
letBody
(
FlatCurry.Goodies
)
letDropping
(
LetDropping
)
letrec
(
Prelude
)
liftIO
(
Prelude
)
liftNestedOrCase
(
OrCaseLifter
)
lines
(
Prelude
)
listToMaybe
(
Maybe
)
literal
(
FlatCurry.Goodies
)
localDependencyGraphs
(
Dependency
)
logfile
(
Distribution
)
lookup
(
Prelude
)
lookup
(
RedBlackTree
)
lookupFileInPath
(
FileGoodies
)
lookupFlatCurryFileInLoadPath
(
FlatCurry.Files
)
lookupModuleSource
(
Distribution
)
lookupModuleSourceInLoadPath
(
Distribution
)
lookupRBT
(
TableRBT
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
M
main
(
Analysis
)
mainCallError
(
Analysis
)
makeRelative
(
FilePath
)
makeValid
(
FilePath
)
map
(
Prelude
)
mapAccumL
(
List
)
mapAccumR
(
List
)
mapIO
(
Prelude
)
mapIO_
(
Prelude
)
mapMaybe
(
Maybe
)
mapMMaybe
(
Maybe
)
matchCTerms
(
Analysis
)
matchDTerms
(
Analysis
)
max
(
Prelude
)
maximum
(
List
)
maximumBy
(
List
)
maybe
(
Prelude
)
maybeToList
(
Maybe
)
mergeSort
(
Sort
)
mergeSortBy
(
Sort
)
min
(
Prelude
)
minimum
(
List
)
minimumBy
(
List
)
missingArgs
(
FlatCurry.Goodies
)
missingCombArgs
(
FlatCurry.Goodies
)
mod
(
Prelude
)
modifyIORef
(
IOExts
)
modNameToPath
(
Distribution
)
moduleName
(
MyFlatCurryGoodies
)
mplus
(
Maybe
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
N
ndInfoFileName
(
Analysis
)
negate
(
Prelude
)
negateFloat
(
Prelude
)
newIORef
(
IOExts
)
newTreeLike
(
RedBlackTree
)
normalForm
(
Prelude
)
normalise
(
FilePath
)
not
(
Prelude
)
notElem
(
Prelude
)
nub
(
List
)
nubBy
(
List
)
null
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
O
openFile
(
IO
)
opFixity
(
FlatCurry.Goodies
)
opName
(
FlatCurry.Goodies
)
opPrecedence
(
FlatCurry.Goodies
)
or
(
Prelude
)
ord
(
Prelude
)
orExps
(
FlatCurry.Goodies
)
orInExpr
(
Overlapping
)
otherwise
(
Prelude
)
overlapWarn
(
Distribution
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
P
partition
(
List
)
patArgs
(
FlatCurry.Goodies
)
patCons
(
FlatCurry.Goodies
)
patExpr
(
FlatCurry.Goodies
)
pathSeparator
(
FilePath
)
pathSeparatorChar
(
FileGoodies
)
pathSeparators
(
FilePath
)
patLiteral
(
FlatCurry.Goodies
)
permSort
(
Sort
)
permSortBy
(
Sort
)
permutations
(
List
)
prim_appendFile
(
Prelude
)
prim_chr
(
Prelude
)
prim_error
(
Prelude
)
prim_Int_div
(
Prelude
)
prim_Int_minus
(
Prelude
)
prim_Int_mod
(
Prelude
)
prim_Int_plus
(
Prelude
)
prim_Int_quot
(
Prelude
)
prim_Int_rem
(
Prelude
)
prim_Int_times
(
Prelude
)
prim_negateFloat
(
Prelude
)
prim_ord
(
Prelude
)
prim_putChar
(
Prelude
)
prim_readFile
(
Prelude
)
prim_readFileContents
(
Prelude
)
prim_show
(
Prelude
)
prim_writeFile
(
Prelude
)
print
(
Prelude
)
printMemInfo
(
Profile
)
printProgram
(
Analysis
)
printTiming
(
Analysis
)
processWorkList
(
Analysis
)
product
(
List
)
profileSpace
(
Profile
)
profileSpaceNF
(
Profile
)
profileTime
(
Profile
)
profileTimeNF
(
Profile
)
prog2DirFile
(
Analysis
)
progFuncs
(
FlatCurry.Goodies
)
progImports
(
FlatCurry.Goodies
)
progName
(
FlatCurry.Goodies
)
progOps
(
FlatCurry.Goodies
)
progTypes
(
FlatCurry.Goodies
)
putChar
(
Prelude
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
PEVAL
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
Q
quickSort
(
Sort
)
quickSortBy
(
Sort
)
quiet
(
Distribution
)
quot
(
Prelude
)
quotRem
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
R
range
(
FlatCurry.Goodies
)
rcFileContents
(
Distribution
)
rcFileName
(
Distribution
)
rcParams
(
Distribution
)
readBin
(
ReadNumeric
)
readCompleteFile
(
IOExts
)
readFile
(
Prelude
)
readFlatCurry
(
FlatCurry.Files
)
readFlatCurryFile
(
FlatCurry.Files
)
readFlatCurryInPath
(
FlatCurry.Read
)
readFlatCurryInt
(
FlatCurry.Files
)
readFlatCurryIntWithImports
(
FlatCurry.Read
)
readFlatCurryIntWithImportsInPath
(
FlatCurry.Read
)
readFlatCurryIntWithParseOptions
(
FlatCurry.Files
)
readFlatCurryRules
(
ReadFlatTRS
)
readFlatCurryWithImports
(
FlatCurry.Read
)
readFlatCurryWithImportsInPath
(
FlatCurry.Read
)
readFlatCurryWithParseOptions
(
FlatCurry.Files
)
readGlobal
(
Global
)
readHex
(
ReadNumeric
)
readHex
(
Read
)
readInt
(
ReadNumeric
)
readInt
(
Read
)
readIORef
(
IOExts
)
readNat
(
ReadNumeric
)
readNat
(
Read
)
readOct
(
ReadNumeric
)
readPropertyFile
(
PropertyFile
)
readQTerm
(
ReadShowTerm
)
readQTermFile
(
ReadShowTerm
)
readQTermListFile
(
ReadShowTerm
)
readRules
(
ReadFlatTRS
)
readRulesAndData
(
ReadFlatTRS
)
readsQTerm
(
ReadShowTerm
)
readsTerm
(
ReadShowTerm
)
readsUnqualifiedTerm
(
ReadShowTerm
)
readTerm
(
ReadShowTerm
)
readUnqualifiedTerm
(
ReadShowTerm
)
rem
(
Prelude
)
removeDirectory
(
Directory
)
removeFile
(
Directory
)
renameDirectory
(
Directory
)
renameFile
(
Directory
)
repeat
(
Prelude
)
replace
(
List
)
replaceBaseName
(
FilePath
)
replaceDirectory
(
FilePath
)
replaceExtension
(
FilePath
)
replaceFileName
(
FilePath
)
replaceLetCall
(
LetDropping
)
replaceNonIdChars
(
Names
)
replicate
(
Prelude
)
resultType
(
FlatCurry.Goodies
)
return
(
Prelude
)
returns
(
Test.Prop
)
reverse
(
Prelude
)
rnmAllVars
(
FlatCurry.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Goodies
)
rnmAllVarsInProg
(
FlatCurry.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Goodies
)
rnmProg
(
FlatCurry.Goodies
)
ruleArgs
(
FlatCurry.Goodies
)
ruleBody
(
FlatCurry.Goodies
)
ruleExtDecl
(
FlatCurry.Goodies
)
runBench
(
Analysis
)
runFixpoint
(
Analysis
)
runFixpointWL
(
Analysis
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
S
safeReadGlobal
(
Global
)
sameReturns
(
Test.Prop
)
scanl
(
List
)
scanl1
(
List
)
scanr
(
List
)
scanr1
(
List
)
searchPathSeparator
(
FilePath
)
separateAndReplace
(
Names
)
separatorChar
(
FileGoodies
)
seq
(
Prelude
)
sequenceIO
(
Prelude
)
sequenceIO_
(
Prelude
)
sequenceMaybe
(
Maybe
)
setAssoc
(
IOExts
)
setCurrentDirectory
(
Directory
)
setEnviron
(
System
)
setExtended
(
Distribution
)
setFullPath
(
Distribution
)
setHtmlDir
(
Distribution
)
setInsertEquivalence
(
RedBlackTree
)
setLogfile
(
Distribution
)
setOverlapWarn
(
Distribution
)
setQuiet
(
Distribution
)
setRBT2list
(
SetRBT
)
setSpecials
(
Distribution
)
show
(
Prelude
)
showBasicTerm
(
TRS
)
showCTerm
(
Analysis
)
showCurryExpr
(
FlatCurry.Show
)
showCurryId
(
FlatCurry.Show
)
showCurryMod
(
ShowFlatCurry
)
showCurryType
(
FlatCurry.Show
)
showCurryVar
(
FlatCurry.Show
)
showDataDeclAsCurry
(
ShowFlatCurry
)
showDTerm
(
Analysis
)
showError
(
Prelude
)
showFlatFunc
(
FlatCurry.Show
)
showFlatProg
(
FlatCurry.Show
)
showFlatType
(
FlatCurry.Show
)
showFuncDeclAsCurry
(
ShowFlatCurry
)
showFuncDeclAsFlatCurry
(
ShowFlatCurry
)
showInterface
(
ShowFlatCurry
)
showLambdaExp
(
TRS
)
showLetExp
(
TRS
)
showMemInfo
(
Profile
)
showOpChar
(
Names
)
showOperator
(
TRS
)
showQNameInModule
(
FlatCurry.Types
)
showQTerm
(
ReadShowTerm
)
showRule
(
TRS
)
showSemInt
(
Analysis
)
showStrictness
(
Analysis
)
showTerm
(
ReadShowTerm
)
showTRS
(
TRS
)
sleep
(
System
)
snd
(
Prelude
)
solutionOf
(
Test.Prop
)
solve
(
Prelude
)
sort
(
Sort
)
sortBy
(
List
)
sortBy
(
RedBlackTree
)
sortBy
(
Sort
)
sorted
(
Sort
)
sortedBy
(
Sort
)
sortFuncInfos
(
Analysis
)
sortRBT
(
SetRBT
)
span
(
Prelude
)
specials
(
Distribution
)
split
(
List
)
splitAt
(
Prelude
)
splitBaseName
(
FileGoodies
)
splitDirectories
(
FilePath
)
splitDirectoryBaseName
(
FileGoodies
)
splitDrive
(
FilePath
)
splitExtension
(
FilePath
)
splitExtensions
(
FilePath
)
splitFileName
(
FilePath
)
splitModuleFileName
(
Distribution
)
splitModuleIdentifiers
(
Distribution
)
splitOn
(
List
)
splitPath
(
FileGoodies
)
splitPath
(
FilePath
)
splitSearchPath
(
FilePath
)
stderr
(
IO
)
stdin
(
IO
)
stdout
(
IO
)
strictInfoFileName
(
Analysis
)
stripCurrySuffix
(
Distribution
)
stripSuffix
(
FileGoodies
)
success
(
Prelude
)
successful
(
Test.Prop
)
suffixSeparatorChar
(
FileGoodies
)
sum
(
List
)
sysLibPath
(
Distribution
)
system
(
System
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
T
tableRBT2list
(
TableRBT
)
tail
(
Prelude
)
tails
(
List
)
take
(
Prelude
)
takeBaseName
(
FilePath
)
takeDirectory
(
FilePath
)
takeDrive
(
FilePath
)
takeExtension
(
FilePath
)
takeExtensions
(
FilePath
)
takeFileName
(
FilePath
)
takeWhile
(
Prelude
)
tConsArgs
(
FlatCurry.Goodies
)
tConsName
(
FlatCurry.Goodies
)
toCalendarTime
(
Time
)
toClockTime
(
Time
)
toDayString
(
Time
)
toError
(
Test.Prop
)
toIOError
(
Test.Prop
)
toLower
(
Char
)
toTimeString
(
Time
)
toUpper
(
Char
)
toUTCTime
(
Time
)
transformExp
(
Analysis
)
transformInt
(
Analysis
)
transformNondet
(
Analysis
)
transformRules
(
Analysis
)
transpose
(
List
)
trBranch
(
FlatCurry.Goodies
)
trCombType
(
FlatCurry.Goodies
)
trCons
(
FlatCurry.Goodies
)
tree2list
(
RedBlackTree
)
trExpr
(
FlatCurry.Goodies
)
trFunc
(
FlatCurry.Goodies
)
trivial
(
Test.Prop
)
trOp
(
FlatCurry.Goodies
)
trPattern
(
FlatCurry.Goodies
)
trProg
(
FlatCurry.Goodies
)
trRule
(
FlatCurry.Goodies
)
trType
(
FlatCurry.Goodies
)
trTypeExpr
(
FlatCurry.Goodies
)
tVarIndex
(
FlatCurry.Goodies
)
typeConsDecls
(
FlatCurry.Goodies
)
typeName
(
FlatCurry.Goodies
)
typeParams
(
FlatCurry.Goodies
)
typeSyn
(
FlatCurry.Goodies
)
typesOfProg
(
MyFlatCurryGoodies
)
typeVisibility
(
FlatCurry.Goodies
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
U
unApply
(
Analysis
)
uncurry
(
Prelude
)
unfoldr
(
List
)
union
(
List
)
unionBy
(
List
)
unionRBT
(
SetRBT
)
uniquely
(
Test.Prop
)
unknown
(
Prelude
)
unless
(
Prelude
)
unlines
(
Prelude
)
unqualifiedName
(
MyFlatCurryGoodies
)
unsetEnviron
(
System
)
until
(
Prelude
)
unwords
(
Prelude
)
unzip
(
Prelude
)
unzip3
(
Prelude
)
update
(
RedBlackTree
)
updateFile
(
IOExts
)
updatePropertyFile
(
PropertyFile
)
updateRBT
(
TableRBT
)
updateSemEq
(
Analysis
)
updBranch
(
FlatCurry.Goodies
)
updBranches
(
FlatCurry.Goodies
)
updBranchExpr
(
FlatCurry.Goodies
)
updBranchPattern
(
FlatCurry.Goodies
)
updCases
(
FlatCurry.Goodies
)
updCombs
(
FlatCurry.Goodies
)
updCons
(
FlatCurry.Goodies
)
updConsArgs
(
FlatCurry.Goodies
)
updConsArity
(
FlatCurry.Goodies
)
updConsName
(
FlatCurry.Goodies
)
updConsVisibility
(
FlatCurry.Goodies
)
updFrees
(
FlatCurry.Goodies
)
updFunc
(
FlatCurry.Goodies
)
updFuncArgs
(
FlatCurry.Goodies
)
updFuncArity
(
FlatCurry.Goodies
)
updFuncBody
(
FlatCurry.Goodies
)
updFuncName
(
FlatCurry.Goodies
)
updFuncRule
(
FlatCurry.Goodies
)
updFuncType
(
FlatCurry.Goodies
)
updFuncTypes
(
FlatCurry.Goodies
)
updFuncVisibility
(
FlatCurry.Goodies
)
updLets
(
FlatCurry.Goodies
)
updLiterals
(
FlatCurry.Goodies
)
updOp
(
FlatCurry.Goodies
)
updOpFixity
(
FlatCurry.Goodies
)
updOpName
(
FlatCurry.Goodies
)
updOpPrecedence
(
FlatCurry.Goodies
)
updOrs
(
FlatCurry.Goodies
)
updPatArgs
(
FlatCurry.Goodies
)
updPatCons
(
FlatCurry.Goodies
)
updPatLiteral
(
FlatCurry.Goodies
)
updPattern
(
FlatCurry.Goodies
)
updProg
(
FlatCurry.Goodies
)
updProgExps
(
FlatCurry.Goodies
)
updProgFuncs
(
FlatCurry.Goodies
)
updProgImports
(
FlatCurry.Goodies
)
updProgName
(
FlatCurry.Goodies
)
updProgOps
(
FlatCurry.Goodies
)
updProgTypes
(
FlatCurry.Goodies
)
updQNames
(
FlatCurry.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Goodies
)
updQNamesInFunc
(
FlatCurry.Goodies
)
updQNamesInProg
(
FlatCurry.Goodies
)
updQNamesInRule
(
FlatCurry.Goodies
)
updQNamesInType
(
FlatCurry.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Goodies
)
updRule
(
FlatCurry.Goodies
)
updRuleArgs
(
FlatCurry.Goodies
)
updRuleBody
(
FlatCurry.Goodies
)
updRuleExtDecl
(
FlatCurry.Goodies
)
updTCons
(
FlatCurry.Goodies
)
updTVars
(
FlatCurry.Goodies
)
updType
(
FlatCurry.Goodies
)
updTypeConsDecls
(
FlatCurry.Goodies
)
updTypeds
(
FlatCurry.Goodies
)
updTypeName
(
FlatCurry.Goodies
)
updTypeParams
(
FlatCurry.Goodies
)
updTypeSynonym
(
FlatCurry.Goodies
)
updTypeVisibility
(
FlatCurry.Goodies
)
updVars
(
FlatCurry.Goodies
)
userError
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
V
validDate
(
Time
)
valuesOf
(
Test.Prop
)
varNr
(
FlatCurry.Goodies
)
varsOf
(
TRS
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
W
when
(
Prelude
)
words
(
Prelude
)
writeFCY
(
FlatCurry.Files
)
writeFile
(
Prelude
)
writeGlobal
(
Global
)
writeIORef
(
IOExts
)
writeQTermFile
(
ReadShowTerm
)
writeQTermListFile
(
ReadShowTerm
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
Z
zip
(
Prelude
)
zip3
(
Prelude
)
zipWith
(
Prelude
)
zipWith3
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
\
\\
(
List
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
|
||
(
Prelude
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~
~
~>
(
Test.Prop
)
!
#
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
\
|
~