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
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
!
!!
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
$
$
(
Prelude
)
$!
(
Prelude
)
$!!
(
Prelude
)
$#
(
Prelude
)
$##
(
Prelude
)
$$
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
&
&
(
Prelude
)
&&
(
Prelude
)
&&&
(
Function
)
&>
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
*
*
(
Prelude
)
***
(
Function
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
+
+
(
Prelude
)
++
(
Prelude
)
+\+
(
Utils
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
-
-
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
.
.
(
Prelude
)
.&>.
(
FlatCurryGoodies
)
.=:=.
(
FlatCurryGoodies
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
/
/=
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
<
<
(
Prelude
)
<$!$>
(
Pretty
)
<$$>
(
Pretty
)
<$+$>
(
Pretty
)
<$>
(
ErrorState
)
<$>
(
State
)
<$>
(
NDState
)
<*>
(
ErrorState
)
<*>
(
State
)
<*>
(
NDState
)
<+>
(
Pretty
)
<.>
(
FilePath
)
<//>
(
Pretty
)
</>
(
FilePath
)
</>
(
Pretty
)
<=
(
Prelude
)
<>
(
Pretty
)
<|>
(
NDState
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
=
=:<<=
(
Prelude
)
=:<=
(
Prelude
)
=:=
(
Prelude
)
==
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
>
>
(
Prelude
)
>!
(
State
)
>!
(
NDState
)
>+
(
ErrorState
)
>+
(
State
)
>+
(
NDState
)
>+=
(
ErrorState
)
>+=
(
State
)
>+=
(
NDState
)
>=
(
Prelude
)
>>
(
Prelude
)
>>-
(
Maybe
)
>>=
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
?
?
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
A
abstract
(
Abstract
)
abstractions
(
Configuration
)
addCurrySubdir
(
Distribution
)
addDays
(
Time
)
addErr
(
GetOpt2
)
addExtension
(
FilePath
)
addHours
(
Time
)
addListToFM
(
FiniteMap
)
addListToFM_C
(
FiniteMap
)
addMinutes
(
Time
)
addMonths
(
Time
)
addPartCallArg
(
FlatCurryGoodies
)
addSeconds
(
Time
)
addTarget
(
Distribution
)
addToFM
(
FiniteMap
)
addToFM_C
(
FiniteMap
)
addTrailingPathSeparator
(
FilePath
)
addYears
(
Time
)
align
(
Pretty
)
all
(
Prelude
)
allS
(
NDState
)
allVars
(
FlatCurry.Annotated.Goodies
)
allVars
(
FlatCurry.Goodies
)
allVarsInFunc
(
FlatCurry.Annotated.Goodies
)
allVarsInFunc
(
FlatCurry.Goodies
)
allVarsInProg
(
FlatCurry.Annotated.Goodies
)
allVarsInProg
(
FlatCurry.Goodies
)
allVarsInRule
(
FlatCurry.Annotated.Goodies
)
allVarsInRule
(
FlatCurry.Goodies
)
and
(
Prelude
)
angles
(
Pretty
)
annExpr
(
FlatCurry.Annotated.Goodies
)
annPattern
(
FlatCurry.Annotated.Goodies
)
annRule
(
FlatCurry.Annotated.Goodies
)
any
(
Prelude
)
anyOf
(
Prelude
)
anyS
(
NDState
)
appendFile
(
Prelude
)
apply
(
Prelude
)
applySubst
(
Rewriting.Substitution
)
applySubstEq
(
Rewriting.Substitution
)
applySubstEqs
(
Rewriting.Substitution
)
argTypes
(
FlatCurry.Annotated.Goodies
)
argTypes
(
FlatCurry.Goodies
)
assert
(
Output
)
at
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
B
backslash
(
Pretty
)
bar
(
Pretty
)
baseName
(
FileGoodies
)
bgBlack
(
AnsiCodes
)
bgBlack
(
Pretty
)
bgBlue
(
AnsiCodes
)
bgBlue
(
Pretty
)
bgCyan
(
AnsiCodes
)
bgCyan
(
Pretty
)
bgDefault
(
AnsiCodes
)
bgGreen
(
AnsiCodes
)
bgGreen
(
Pretty
)
bgMagenta
(
AnsiCodes
)
bgMagenta
(
Pretty
)
bgRed
(
AnsiCodes
)
bgRed
(
Pretty
)
bgWhite
(
AnsiCodes
)
bgWhite
(
Pretty
)
bgYellow
(
AnsiCodes
)
bgYellow
(
Pretty
)
bindExpr
(
Heap
)
bindFree
(
Heap
)
bindHole
(
Heap
)
bindLazyExpr
(
Heap
)
bindLazyFree
(
Heap
)
bindLazyParam
(
Heap
)
bindParam
(
Heap
)
bindResult
(
NDState
)
black
(
AnsiCodes
)
black
(
Pretty
)
blinkRapid
(
AnsiCodes
)
blinkRapid
(
Pretty
)
blinkSlow
(
AnsiCodes
)
blinkSlow
(
Pretty
)
blue
(
AnsiCodes
)
blue
(
Pretty
)
bold
(
AnsiCodes
)
bold
(
Pretty
)
both
(
Function
)
bquotes
(
Pretty
)
braces
(
Pretty
)
brackets
(
Pretty
)
branchExpr
(
FlatCurry.Annotated.Goodies
)
branchExpr
(
FlatCurryGoodies
)
branchExpr
(
FlatCurry.Goodies
)
branchExprs
(
FlatCurryGoodies
)
branchPats
(
FlatCurryGoodies
)
branchPattern
(
FlatCurry.Annotated.Goodies
)
branchPattern
(
FlatCurry.Goodies
)
break
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
C
calendarTimeToString
(
Time
)
callFrontend
(
Distribution
)
callFrontendWithParams
(
Distribution
)
caseBranches
(
FlatCurry.Annotated.Goodies
)
caseBranches
(
FlatCurry.Goodies
)
caseExpr
(
FlatCurry.Annotated.Goodies
)
caseExpr
(
FlatCurry.Goodies
)
caseType
(
FlatCurry.Annotated.Goodies
)
caseType
(
FlatCurry.Goodies
)
cat
(
Pretty
)
catch
(
Prelude
)
catMaybes
(
Maybe
)
char
(
Pretty
)
choiceS
(
NDState
)
chr
(
Prelude
)
clear
(
AnsiCodes
)
clockTimeToInt
(
Time
)
colon
(
Pretty
)
colorModes
(
Configuration
)
colorWith
(
Output
)
combArgs
(
FlatCurry.Annotated.Goodies
)
combArgs
(
FlatCurry.Goodies
)
combine
(
FilePath
)
combine
(
FlatCurryGoodies
)
combine
(
Pretty
)
combine
(
Subst
)
combName
(
FlatCurry.Annotated.Goodies
)
combName
(
FlatCurry.Goodies
)
combType
(
FlatCurry.Annotated.Goodies
)
combType
(
FlatCurry.Goodies
)
comma
(
Pretty
)
compare
(
Prelude
)
compareAnyTerm
(
Unsafe
)
compareCalendarTime
(
Time
)
compareClockTime
(
Time
)
compareDate
(
Time
)
completePartCall
(
FlatCurryGoodies
)
compose
(
Pretty
)
compose
(
Subst
)
composeSubst
(
Rewriting.Substitution
)
concat
(
Prelude
)
concatMap
(
Prelude
)
concatMapES
(
ErrorState
)
concatMapS
(
State
)
concealed
(
AnsiCodes
)
cond
(
Prelude
)
connectToCommand
(
IOExts
)
cons
(
FlatCurryGoodies
)
cons
(
Dequeue
)
consArgs
(
FlatCurry.Annotated.Goodies
)
consArgs
(
FlatCurry.Goodies
)
consArity
(
FlatCurry.Annotated.Goodies
)
consArity
(
FlatCurry.Goodies
)
consName
(
FlatCurry.Annotated.Goodies
)
consName
(
FlatCurry.Goodies
)
const
(
Prelude
)
constructors
(
FlatCurryGoodies
)
consVisibility
(
FlatCurry.Annotated.Goodies
)
consVisibility
(
FlatCurry.Goodies
)
copyFile
(
Directory
)
count
(
Utils
)
countBy
(
Utils
)
createDirectory
(
Directory
)
createDirectoryIfMissing
(
Directory
)
crossedout
(
AnsiCodes
)
crossout
(
Pretty
)
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
)
cursorBack
(
AnsiCodes
)
cursorDown
(
AnsiCodes
)
cursorFwd
(
AnsiCodes
)
cursorHome
(
AnsiCodes
)
cursorPos
(
AnsiCodes
)
cursorUp
(
AnsiCodes
)
cyan
(
AnsiCodes
)
cyan
(
Pretty
)
cycle
(
List
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
D
daysOfMonth
(
Time
)
debug
(
Output
)
defaultOptions
(
PevalOpts
)
defaultParams
(
Distribution
)
delete
(
List
)
delete
(
RedBlackTree
)
delete
(
Set
)
deleteBy
(
List
)
deleteRBT
(
SetRBT
)
delFromFM
(
FiniteMap
)
delListFromFM
(
FiniteMap
)
delSQ
(
FlatCurryGoodies
)
deqHead
(
Dequeue
)
deqInit
(
Dequeue
)
deqLast
(
Dequeue
)
deqLength
(
Dequeue
)
deqReverse
(
Dequeue
)
deqTail
(
Dequeue
)
deqToList
(
Dequeue
)
dereference
(
Heap
)
detail
(
Output
)
diagonal
(
List
)
digitToInt
(
Char
)
dirName
(
FileGoodies
)
disjoint
(
Utils
)
disjoint
(
Set
)
div
(
Prelude
)
divMod
(
Prelude
)
doesDirectoryExist
(
Directory
)
doesFileExist
(
Directory
)
dom
(
Subst
)
domain
(
FlatCurry.Annotated.Goodies
)
domain
(
FlatCurry.Goodies
)
done
(
Prelude
)
doSolve
(
Prelude
)
dot
(
Pretty
)
doubleArrow
(
Pretty
)
doubleColon
(
Pretty
)
dquote
(
Pretty
)
dquotes
(
Pretty
)
drop
(
Prelude
)
dropDrive
(
FilePath
)
dropExtension
(
FilePath
)
dropExtensions
(
FilePath
)
dropFileName
(
FilePath
)
dropLast
(
Utils
)
dropTrailingPathSeparator
(
FilePath
)
dropWhile
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
E
either
(
Prelude
)
elem
(
Prelude
)
elem
(
Set
)
elemFM
(
FiniteMap
)
elemHeap
(
Heap
)
elemIndex
(
List
)
elemIndices
(
List
)
elemRBT
(
SetRBT
)
eltsFM
(
FiniteMap
)
empty
(
Pretty
)
empty
(
RedBlackTree
)
empty
(
Set
)
empty
(
Dequeue
)
emptyAFCSubst
(
FlatCurry.Annotated.TypeSubst
)
emptyFM
(
FiniteMap
)
emptyHeap
(
Heap
)
emptySetRBT
(
SetRBT
)
emptySubst
(
Subst
)
emptySubst
(
Rewriting.Substitution
)
enclose
(
Pretty
)
encloseSep
(
Pretty
)
encloseSepSpaced
(
Pretty
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
enumFrom
(
Prelude
)
enumFromThen
(
Prelude
)
enumFromThenTo
(
Prelude
)
enumFromTo
(
Prelude
)
eqConsPattern
(
Rewriting.Term
)
eqFM
(
FiniteMap
)
eqNorm
(
Normalization
)
eqPattern
(
FlatCurryGoodies
)
eqRen
(
Normalization
)
equalFilePath
(
FilePath
)
equals
(
Pretty
)
eraseLine
(
AnsiCodes
)
error
(
Prelude
)
evalCmd
(
IOExts
)
evalES
(
ErrorState
)
evalState
(
State
)
exclusiveIO
(
IOExts
)
execCmd
(
IOExts
)
execState
(
State
)
exitWith
(
System
)
extended
(
Distribution
)
extendSubst
(
Rewriting.Substitution
)
extSeparator
(
FilePath
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
F
failed
(
Prelude
)
failedExpr
(
FlatCurryGoodies
)
failES
(
ErrorState
)
failure
(
Prelude
)
faint
(
AnsiCodes
)
faint
(
Pretty
)
falseExpr
(
FlatCurryGoodies
)
fgDefault
(
AnsiCodes
)
fileSize
(
Directory
)
fileSuffix
(
FileGoodies
)
fill
(
Pretty
)
fillBreak
(
Pretty
)
fillCat
(
Pretty
)
fillEncloseSep
(
Pretty
)
fillEncloseSepSpaced
(
Pretty
)
fillSep
(
Pretty
)
filter
(
Prelude
)
filterFM
(
FiniteMap
)
find
(
List
)
findBranch
(
FlatCurryGoodies
)
findIndex
(
List
)
findIndices
(
List
)
findSubstWithDefault
(
Subst
)
first
(
Function
)
fix
(
Function
)
flatCurryFileName
(
FlatCurry.Files
)
flatCurryIntName
(
FlatCurry.Files
)
flip
(
Prelude
)
float
(
Pretty
)
fmapSubst
(
Subst
)
fmSortBy
(
FiniteMap
)
fmToList
(
FiniteMap
)
fmToListPreOrder
(
FiniteMap
)
foldFM
(
FiniteMap
)
foldIO
(
Prelude
)
foldl
(
Prelude
)
foldl1
(
Prelude
)
foldr
(
Prelude
)
foldr1
(
Prelude
)
forIO
(
Prelude
)
forIO_
(
Prelude
)
freeExpr
(
FlatCurry.Annotated.Goodies
)
freeExpr
(
FlatCurry.Goodies
)
freeVars
(
FlatCurry.Annotated.Goodies
)
freeVars
(
FlatCurryGoodies
)
freeVars
(
FlatCurry.Goodies
)
freeVarsDup
(
FlatCurryGoodies
)
freshResultant
(
Normalization
)
freshRule
(
Normalization
)
fromJust
(
Maybe
)
fromLeft
(
Either
)
fromList
(
Set
)
fromMaybe
(
Maybe
)
fromRight
(
Either
)
fst
(
Prelude
)
fullPath
(
Distribution
)
func
(
FlatCurryGoodies
)
funcArgs
(
FlatCurry.Annotated.Goodies
)
funcArgs
(
FlatCurry.Goodies
)
funcArity
(
FlatCurry.Annotated.Goodies
)
funcArity
(
FlatCurry.Goodies
)
funcBody
(
FlatCurry.Annotated.Goodies
)
funcBody
(
FlatCurry.Goodies
)
funcName
(
FlatCurry.Annotated.Goodies
)
funcName
(
FlatCurryGoodies
)
funcName
(
FlatCurry.Goodies
)
funcRHS
(
FlatCurry.Annotated.Goodies
)
funcRHS
(
FlatCurry.Goodies
)
funcRule
(
FlatCurry.Annotated.Goodies
)
funcRule
(
FlatCurry.Goodies
)
funcsInExps
(
FlatCurryGoodies
)
funcType
(
FlatCurry.Annotated.Goodies
)
funcType
(
FlatCurry.Goodies
)
funcVisibility
(
FlatCurry.Annotated.Goodies
)
funcVisibility
(
FlatCurry.Goodies
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
G
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
)
getHeap
(
Heap
)
getHomeDirectory
(
Directory
)
getHostname
(
System
)
getLine
(
Prelude
)
getLoadPathForModule
(
Distribution
)
getLocalTime
(
Time
)
getModificationTime
(
Directory
)
getOpt
(
GetOpt
)
getOpt'
(
GetOpt
)
getOpts
(
PevalOpts
)
getPID
(
System
)
getProgName
(
System
)
getRcVar
(
Distribution
)
getRcVars
(
Distribution
)
getS
(
State
)
getSearchPath
(
FilePath
)
getSQ
(
FlatCurryGoodies
)
gets
(
ErrorState
)
getsS
(
State
)
getS
(
NDState
)
getsS
(
NDState
)
getTemporaryDirectory
(
Directory
)
getTypeEnv
(
FlatCurry.Annotated.TypeInference
)
getTypeEnvFromProgEnv
(
FlatCurry.Annotated.TypeInference
)
global
(
Global
)
green
(
AnsiCodes
)
green
(
Pretty
)
groundNormalForm
(
Prelude
)
group
(
List
)
group
(
Pretty
)
groupBy
(
List
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
H
hang
(
Pretty
)
hardline
(
Pretty
)
hasDrive
(
FilePath
)
hasExtension
(
FilePath
)
hasName
(
FlatCurryGoodies
)
hasSQ
(
FlatCurryGoodies
)
hasTrailingPathSeparator
(
FilePath
)
hcat
(
Pretty
)
hClose
(
IO
)
head
(
Prelude
)
hEncloseSep
(
Pretty
)
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
)
hsep
(
Pretty
)
hSeek
(
IO
)
htmldir
(
Distribution
)
hWaitForInput
(
IO
)
hWaitForInputOrMsg
(
IO
)
hWaitForInputs
(
IO
)
hWaitForInputsOrMsg
(
IO
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
I
id
(
Prelude
)
identicalVar
(
Unsafe
)
ifVar
(
Prelude
)
if_then_else
(
Prelude
)
inCurrySubdir
(
Distribution
)
inCurrySubdirModule
(
Distribution
)
indent
(
FlatCurryPretty
)
indent
(
Pretty
)
indent
(
FlatCurry.Annotated.Pretty
)
indentStr
(
Utils
)
inferExpr
(
FlatCurry.Annotated.TypeInference
)
inferExprEnv
(
FlatCurry.Annotated.TypeInference
)
inferFunction
(
FlatCurry.Annotated.TypeInference
)
inferFunctionEnv
(
FlatCurry.Annotated.TypeInference
)
inferNewFunctions
(
FlatCurry.Annotated.TypeInference
)
inferNewFunctionsEnv
(
FlatCurry.Annotated.TypeInference
)
inferProg
(
FlatCurry.Annotated.TypeInference
)
inferProgEnv
(
FlatCurry.Annotated.TypeInference
)
inferProgFromProgEnv
(
FlatCurry.Annotated.TypeInference
)
info
(
Output
)
init
(
List
)
inits
(
List
)
insert
(
Set
)
insertBy
(
List
)
insertMultiRBT
(
SetRBT
)
insertRBT
(
SetRBT
)
installDir
(
Distribution
)
instance
(
Instance
)
instanceOf
(
Instance
)
int
(
Pretty
)
intercalate
(
List
)
intersect
(
List
)
intersect
(
Set
)
intersectBy
(
List
)
intersectFM
(
FiniteMap
)
intersectFM_C
(
FiniteMap
)
intersectRBT
(
SetRBT
)
intersperse
(
List
)
intToDigit
(
Char
)
inverse
(
AnsiCodes
)
inverse
(
Pretty
)
ioError
(
Prelude
)
isAbsolute
(
FilePath
)
isAbsolute
(
FileGoodies
)
isAlpha
(
Char
)
isAlphaNum
(
Char
)
isAscii
(
Char
)
isAsciiLower
(
Char
)
isAsciiUpper
(
Char
)
isBinDigit
(
Char
)
isCase
(
FlatCurry.Annotated.Goodies
)
isCase
(
FlatCurry.Goodies
)
isComb
(
FlatCurry.Annotated.Goodies
)
isComb
(
FlatCurry.Goodies
)
isCombTypeConsCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeConsCall
(
FlatCurry.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Annotated.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Goodies
)
isConsCall
(
FlatCurry.Annotated.Goodies
)
isConsCall
(
FlatCurryGoodies
)
isConsCall
(
FlatCurry.Goodies
)
isConsPartCall
(
FlatCurry.Annotated.Goodies
)
isConsPartCall
(
FlatCurry.Goodies
)
isConsPattern
(
FlatCurry.Annotated.Goodies
)
isConsPattern
(
FlatCurry.Goodies
)
isConstrTerm
(
FlatCurryGoodies
)
isConsTerm
(
Rewriting.Term
)
isControl
(
Char
)
isDetSubst
(
Subst
)
isDigit
(
Char
)
isDrive
(
FilePath
)
isEmpty
(
Pretty
)
isEmpty
(
RedBlackTree
)
isEmpty
(
Dequeue
)
isEmptyFM
(
FiniteMap
)
isEmptyHeap
(
Heap
)
isEmptySetRBT
(
SetRBT
)
isEOF
(
IO
)
isExternal
(
FlatCurry.Annotated.Goodies
)
isExternal
(
FlatCurryGoodies
)
isExternal
(
FlatCurry.Goodies
)
isExtSeparator
(
FilePath
)
isFailed
(
FlatCurryGoodies
)
isFree
(
FlatCurry.Annotated.Goodies
)
isFree
(
FlatCurry.Goodies
)
isFuncCall
(
FlatCurry.Annotated.Goodies
)
isFuncCall
(
FlatCurryGoodies
)
isFuncCall
(
FlatCurry.Goodies
)
isFuncPartCall
(
FlatCurry.Annotated.Goodies
)
isFuncPartCall
(
FlatCurry.Goodies
)
isFuncType
(
FlatCurry.Annotated.Goodies
)
isFuncType
(
FlatCurry.Goodies
)
isGround
(
FlatCurry.Annotated.Goodies
)
isGround
(
FlatCurry.Goodies
)
isGround
(
Rewriting.Term
)
isGround
(
Unsafe
)
isHexDigit
(
Char
)
isInfixOf
(
List
)
isInfixOp
(
FlatCurryPretty
)
isInfixOp
(
FlatCurry.Annotated.Pretty
)
isJust
(
Maybe
)
isLatin1
(
Char
)
isLeft
(
Either
)
isLet
(
FlatCurry.Annotated.Goodies
)
isLet
(
FlatCurry.Goodies
)
isLinear
(
Rewriting.Term
)
isListId
(
FlatCurryPretty
)
isListId
(
FlatCurry.Annotated.Pretty
)
isLit
(
FlatCurry.Annotated.Goodies
)
isLit
(
FlatCurryGoodies
)
isLit
(
FlatCurry.Goodies
)
isLower
(
Char
)
isNormal
(
Rewriting.Term
)
isNothing
(
Maybe
)
isOctDigit
(
Char
)
isOr
(
FlatCurry.Annotated.Goodies
)
isOr
(
FlatCurry.Goodies
)
isPartCall
(
FlatCurryGoodies
)
isPathSeparator
(
FilePath
)
isPosix
(
System
)
isPrefixOf
(
List
)
isRelative
(
FilePath
)
isRight
(
Either
)
isRuleExternal
(
FlatCurry.Annotated.Goodies
)
isRuleExternal
(
FlatCurry.Goodies
)
isSearchPathSeparator
(
FilePath
)
isSpace
(
Char
)
isSQ
(
FlatCurryGoodies
)
isSuffixOf
(
List
)
isTCons
(
FlatCurry.Annotated.Goodies
)
isTCons
(
FlatCurry.Goodies
)
isTupleId
(
FlatCurryPretty
)
isTupleId
(
FlatCurry.Annotated.Pretty
)
isTVar
(
FlatCurry.Annotated.Goodies
)
isTVar
(
FlatCurry.Goodies
)
isTypeSyn
(
FlatCurry.Annotated.Goodies
)
isTypeSyn
(
FlatCurry.Goodies
)
isUpper
(
Char
)
isValid
(
FilePath
)
isVar
(
FlatCurry.Annotated.Goodies
)
isVar
(
FlatCurryGoodies
)
isVar
(
FlatCurry.Goodies
)
isVar
(
Unsafe
)
isVariableRenaming
(
Subst
)
isVarTerm
(
Rewriting.Term
)
isWindows
(
System
)
italic
(
AnsiCodes
)
italic
(
Pretty
)
iterate
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
J
joinDrive
(
FilePath
)
joinModuleIdentifiers
(
Distribution
)
joinPath
(
FilePath
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
K
keyOrder
(
FiniteMap
)
keysFM
(
FiniteMap
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
L
langle
(
Pretty
)
larrow
(
Pretty
)
last
(
List
)
lbrace
(
Pretty
)
lbracket
(
Pretty
)
lefts
(
Either
)
length
(
Prelude
)
letBinds
(
FlatCurry.Annotated.Goodies
)
letBinds
(
FlatCurry.Goodies
)
letBody
(
FlatCurry.Annotated.Goodies
)
letBody
(
FlatCurry.Goodies
)
letrec
(
Prelude
)
liftIO
(
Prelude
)
liftSQ
(
FlatCurryGoodies
)
line
(
Pretty
)
linebreak
(
Pretty
)
lines
(
Prelude
)
linesep
(
Pretty
)
list
(
Pretty
)
listSpaced
(
Pretty
)
listToDeq
(
Dequeue
)
listToFM
(
FiniteMap
)
listToMaybe
(
Maybe
)
listToSubst
(
Rewriting.Substitution
)
literal
(
FlatCurry.Annotated.Goodies
)
literal
(
FlatCurry.Goodies
)
logfile
(
Distribution
)
lookup
(
Prelude
)
lookup
(
RedBlackTree
)
lookupAFCSubst
(
FlatCurry.Annotated.TypeSubst
)
lookupFileInPath
(
FileGoodies
)
lookupFlatCurryFileInLoadPath
(
FlatCurry.Files
)
lookupFM
(
FiniteMap
)
lookupHeap
(
Heap
)
lookupModuleSource
(
Distribution
)
lookupModuleSourceInLoadPath
(
Distribution
)
lookupSubst
(
Subst
)
lookupSubst
(
Rewriting.Substitution
)
lookupWithDefaultFM
(
FiniteMap
)
lpad
(
Utils
)
lparen
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
M
magenta
(
AnsiCodes
)
magenta
(
Pretty
)
main
(
peval
)
makeRelative
(
FilePath
)
makeValid
(
FilePath
)
map
(
Prelude
)
mapAccumES
(
ErrorState
)
mapAccumL
(
List
)
mapAccumR
(
List
)
mapES
(
ErrorState
)
mapFM
(
FiniteMap
)
mapIO
(
Prelude
)
mapIO_
(
Prelude
)
mapMaybe
(
Maybe
)
mapMMaybe
(
Maybe
)
mapS
(
State
)
mapS
(
NDState
)
mapS_
(
State
)
mapS_
(
NDState
)
mapTerm
(
Rewriting.Term
)
matchHead
(
Dequeue
)
matchLast
(
Dequeue
)
max
(
Prelude
)
maxFM
(
FiniteMap
)
maximum
(
List
)
maximumBy
(
List
)
maximumVarIndex
(
FlatCurryGoodies
)
maxVar
(
FlatCurryGoodies
)
maxVarIndex
(
FlatCurryGoodies
)
maxVarInTerm
(
Rewriting.Term
)
maybe
(
Prelude
)
maybeToList
(
Maybe
)
min
(
Prelude
)
minFM
(
FiniteMap
)
minimum
(
List
)
minimumBy
(
List
)
minusFM
(
FiniteMap
)
minVarInTerm
(
Rewriting.Term
)
missingArgs
(
FlatCurry.Annotated.Goodies
)
missingArgs
(
FlatCurryGoodies
)
missingArgs
(
FlatCurry.Goodies
)
missingCombArgs
(
FlatCurry.Annotated.Goodies
)
missingCombArgs
(
FlatCurry.Goodies
)
mkBool
(
FlatCurryGoodies
)
mkCase
(
FlatCurryGoodies
)
mkFree
(
FlatCurryGoodies
)
mkFuncCall
(
PevalBase
)
mkLazyBind
(
FlatCurryGoodies
)
mkLet
(
FlatCurryGoodies
)
mkOr
(
FlatCurryGoodies
)
mkSubst
(
Subst
)
mod
(
Prelude
)
modify
(
ErrorState
)
modifyIORef
(
IOExts
)
modifyS
(
State
)
modifyS
(
NDState
)
modNameToPath
(
Distribution
)
mplus
(
Maybe
)
msg
(
Instance
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
N
ncExpr
(
NameChange
)
ncFunc
(
NameChange
)
ncRenaming
(
NameChange
)
ncResultants
(
NameChange
)
negate
(
Prelude
)
negateFloat
(
Prelude
)
nest
(
Pretty
)
newIORef
(
IOExts
)
newTreeLike
(
RedBlackTree
)
none
(
Utils
)
normal
(
AnsiCodes
)
normalForm
(
Prelude
)
normalise
(
FilePath
)
normalizeExpr
(
Normalization
)
normalizeFreeExpr
(
Normalization
)
normalizeTerm
(
Rewriting.Term
)
noShadowing
(
FlatCurryGoodies
)
not
(
Prelude
)
notElem
(
Prelude
)
nub
(
List
)
nubBy
(
List
)
null
(
Prelude
)
null
(
Set
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
O
on
(
Function
)
onBranchExps
(
FlatCurryGoodies
)
onOpts
(
GetOpt2
)
onOptsArg
(
GetOpt2
)
openFile
(
IO
)
opFixity
(
FlatCurry.Annotated.Goodies
)
opFixity
(
FlatCurry.Goodies
)
opName
(
FlatCurry.Annotated.Goodies
)
opName
(
FlatCurry.Goodies
)
opPrecedence
(
FlatCurry.Annotated.Goodies
)
opPrecedence
(
FlatCurry.Goodies
)
optAbstract
(
PevalOpts
)
optAssert
(
PevalOpts
)
optClosed
(
PevalOpts
)
optColorMode
(
PevalOpts
)
optDebug
(
PevalOpts
)
optFunPats
(
PevalOpts
)
optHelp
(
PevalOpts
)
option
(
GetOpt2
)
optProceedMode
(
PevalOpts
)
optSemantics
(
PevalOpts
)
optSuffix
(
PevalOpts
)
optVerbosity
(
PevalOpts
)
optVersion
(
PevalOpts
)
or
(
Prelude
)
ord
(
Prelude
)
orExps
(
FlatCurry.Annotated.Goodies
)
orExps
(
FlatCurry.Goodies
)
otherwise
(
Prelude
)
overlapWarn
(
Distribution
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
P
parens
(
Pretty
)
parensIf
(
Pretty
)
parseOptErr
(
GetOpt2
)
partition
(
List
)
partitionEithers
(
Either
)
pat2exp
(
FlatCurryGoodies
)
patArgs
(
FlatCurry.Annotated.Goodies
)
patArgs
(
FlatCurry.Goodies
)
patCons
(
FlatCurry.Annotated.Goodies
)
patCons
(
FlatCurry.Goodies
)
patExpr
(
FlatCurry.Annotated.Goodies
)
patExpr
(
FlatCurry.Goodies
)
pathSeparator
(
FilePath
)
pathSeparatorChar
(
FileGoodies
)
pathSeparators
(
FilePath
)
patLiteral
(
FlatCurry.Annotated.Goodies
)
patLiteral
(
FlatCurry.Goodies
)
patVars
(
FlatCurryGoodies
)
permutations
(
List
)
pevalExpr
(
PeLetRW
)
pevalExpr
(
PeNatural
)
pevalExpr
(
PeRLNT
)
plusFM
(
FiniteMap
)
plusFM_C
(
FiniteMap
)
postUnfold
(
PostUnfold
)
ppAVarIndex
(
FlatCurry.Annotated.Pretty
)
ppBinding
(
Heap
)
ppBranch
(
FlatCurryPretty
)
ppBranch
(
FlatCurry.Annotated.Pretty
)
ppCaseType
(
FlatCurryPretty
)
ppCaseType
(
FlatCurry.Annotated.Pretty
)
ppComb
(
FlatCurryPretty
)
ppComb
(
FlatCurry.Annotated.Pretty
)
ppConsDecl
(
FlatCurryPretty
)
ppConsDecl
(
FlatCurry.Annotated.Pretty
)
ppConsDecls
(
FlatCurryPretty
)
ppConsDecls
(
FlatCurry.Annotated.Pretty
)
ppConsExports
(
FlatCurryPretty
)
ppConsExports
(
FlatCurry.Annotated.Pretty
)
ppDecl
(
FlatCurryPretty
)
ppDecl
(
FlatCurry.Annotated.Pretty
)
ppDecls
(
FlatCurryPretty
)
ppDecls
(
FlatCurry.Annotated.Pretty
)
ppExp
(
FlatCurryPretty
)
ppExp
(
FlatCurry.Annotated.Pretty
)
ppExports
(
FlatCurryPretty
)
ppExports
(
FlatCurry.Annotated.Pretty
)
ppExpr
(
FlatCurryPretty
)
ppExpr
(
FlatCurry.Annotated.Pretty
)
ppFixity
(
FlatCurryPretty
)
ppFixity
(
FlatCurry.Annotated.Pretty
)
ppFuncDecl
(
FlatCurryPretty
)
ppFuncDecl
(
FlatCurry.Annotated.Pretty
)
ppFuncDecls
(
FlatCurryPretty
)
ppFuncDecls
(
FlatCurry.Annotated.Pretty
)
ppFuncExports
(
FlatCurryPretty
)
ppFuncExports
(
FlatCurry.Annotated.Pretty
)
ppHeader
(
FlatCurryPretty
)
ppHeader
(
FlatCurry.Annotated.Pretty
)
ppHeap
(
Heap
)
ppImport
(
FlatCurryPretty
)
ppImport
(
FlatCurry.Annotated.Pretty
)
ppImports
(
FlatCurryPretty
)
ppImports
(
FlatCurry.Annotated.Pretty
)
ppInfixOp
(
FlatCurryPretty
)
ppInfixOp
(
FlatCurry.Annotated.Pretty
)
ppLiteral
(
FlatCurryPretty
)
ppLiteral
(
FlatCurry.Annotated.Pretty
)
ppOpDecl
(
FlatCurryPretty
)
ppOpDecl
(
FlatCurry.Annotated.Pretty
)
ppOpDecls
(
FlatCurryPretty
)
ppOpDecls
(
FlatCurry.Annotated.Pretty
)
ppPattern
(
FlatCurryPretty
)
ppPattern
(
FlatCurry.Annotated.Pretty
)
ppPrefixOp
(
FlatCurryPretty
)
ppPrefixOp
(
FlatCurry.Annotated.Pretty
)
ppProg
(
FlatCurryPretty
)
ppProg
(
FlatCurry.Annotated.Pretty
)
ppQName
(
FlatCurryPretty
)
ppQName
(
FlatCurry.Annotated.Pretty
)
ppRenaming
(
PevalBase
)
ppResultant
(
PevalBase
)
ppResultants
(
PevalBase
)
ppRule
(
FlatCurryPretty
)
ppRule
(
FlatCurry.Annotated.Pretty
)
ppTVarIndex
(
FlatCurryPretty
)
ppTypeDecl
(
FlatCurryPretty
)
ppTypeDecls
(
FlatCurryPretty
)
ppTypeExp
(
FlatCurryPretty
)
ppTypeExport
(
FlatCurryPretty
)
ppTypeExpr
(
FlatCurryPretty
)
ppVarIndex
(
FlatCurryPretty
)
pPrint
(
Pretty
)
ppSubst
(
Subst
)
ppTVarIndex
(
FlatCurry.Annotated.Pretty
)
ppTypeDecl
(
FlatCurry.Annotated.Pretty
)
ppTypeDecls
(
FlatCurry.Annotated.Pretty
)
ppTypeExp
(
FlatCurry.Annotated.Pretty
)
ppTypeExport
(
FlatCurry.Annotated.Pretty
)
ppTypeExpr
(
FlatCurry.Annotated.Pretty
)
ppVarIndex
(
FlatCurry.Annotated.Pretty
)
prelAmp
(
FlatCurryGoodies
)
prelAnd
(
FlatCurryGoodies
)
prelApply
(
FlatCurryGoodies
)
prelChoice
(
FlatCurryGoodies
)
prelCond
(
FlatCurryGoodies
)
prelCond'
(
FlatCurryGoodies
)
prelDiv
(
FlatCurryGoodies
)
prelEq
(
FlatCurryGoodies
)
prelFailed
(
FlatCurryGoodies
)
prelFalse
(
FlatCurryGoodies
)
prelGeq
(
FlatCurryGoodies
)
prelGt
(
FlatCurryGoodies
)
prelLazyUni
(
FlatCurryGoodies
)
prelLeq
(
FlatCurryGoodies
)
prelLt
(
FlatCurryGoodies
)
prelMinus
(
FlatCurryGoodies
)
prelMod
(
FlatCurryGoodies
)
prelNeq
(
FlatCurryGoodies
)
prelOr
(
FlatCurryGoodies
)
prelPEVAL
(
FlatCurryGoodies
)
prelPlus
(
FlatCurryGoodies
)
prelSuccess
(
FlatCurryGoodies
)
prelTimes
(
FlatCurryGoodies
)
prelTrue
(
FlatCurryGoodies
)
prelude
(
FlatCurryGoodies
)
prelUni
(
FlatCurryGoodies
)
prelUnknown
(
FlatCurryGoodies
)
pretty
(
Pretty
)
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
)
proceedModes
(
Configuration
)
product
(
List
)
progFuncs
(
FlatCurry.Annotated.Goodies
)
progFuncs
(
FlatCurry.Goodies
)
progImports
(
FlatCurry.Annotated.Goodies
)
progImports
(
FlatCurry.Goodies
)
progName
(
FlatCurry.Annotated.Goodies
)
progName
(
FlatCurryGoodies
)
progName
(
FlatCurry.Goodies
)
progOps
(
FlatCurry.Annotated.Goodies
)
progOps
(
FlatCurry.Goodies
)
progTypes
(
FlatCurry.Annotated.Goodies
)
progTypes
(
FlatCurry.Goodies
)
punctuate
(
Pretty
)
putChar
(
Prelude
)
putS
(
State
)
putS
(
NDState
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
PEVAL
(
Prelude
)
puts
(
ErrorState
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
Q
quiet
(
Distribution
)
quot
(
Prelude
)
quotRem
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
R
range
(
FlatCurry.Annotated.Goodies
)
range
(
FlatCurry.Goodies
)
rangle
(
Pretty
)
rarrow
(
Pretty
)
rbrace
(
Pretty
)
rbracket
(
Pretty
)
rcFileContents
(
Distribution
)
rcFileName
(
Distribution
)
rcParams
(
Distribution
)
readAnyQExpression
(
Unsafe
)
readAnyQTerm
(
Unsafe
)
readAnyUnqualifiedTerm
(
Unsafe
)
readCompleteFile
(
IOExts
)
readFile
(
Prelude
)
readFlatCurry
(
FlatCurry.Files
)
readFlatCurryFile
(
FlatCurry.Files
)
readFlatCurryInt
(
FlatCurry.Files
)
readFlatCurryIntWithParseOptions
(
FlatCurry.Files
)
readFlatCurryWithParseOptions
(
FlatCurry.Files
)
readFM
(
FiniteMap
)
readGlobal
(
Global
)
readHex
(
Read
)
readInt
(
Read
)
readIORef
(
IOExts
)
readNat
(
Read
)
readPropertyFile
(
PropertyFile
)
readQTerm
(
ReadShowTerm
)
readQTermFile
(
ReadShowTerm
)
readQTermListFile
(
ReadShowTerm
)
readsAnyQExpression
(
Unsafe
)
readsAnyQTerm
(
Unsafe
)
readsAnyUnqualifiedTerm
(
Unsafe
)
readsQTerm
(
ReadShowTerm
)
readsTerm
(
ReadShowTerm
)
readsUnqualifiedTerm
(
ReadShowTerm
)
readTerm
(
ReadShowTerm
)
readUnqualifiedTerm
(
ReadShowTerm
)
red
(
AnsiCodes
)
red
(
Pretty
)
rem
(
Prelude
)
removeCopies
(
PostUnfold
)
removeDirectory
(
Directory
)
removeFile
(
Directory
)
renameDirectory
(
Directory
)
renameExpr
(
Normalization
)
renameExpr
(
Renaming
)
renameExprSubst
(
Normalization
)
renameFile
(
Directory
)
renameFreeExpr
(
Normalization
)
renameFuncDecl
(
Normalization
)
renameResultant
(
Normalization
)
renameTermVars
(
Rewriting.Term
)
renderOptErrTable
(
GetOpt2
)
repeat
(
Prelude
)
replace
(
List
)
replaceBaseName
(
FilePath
)
replaceDirectory
(
FilePath
)
replaceExtension
(
FilePath
)
replaceFileName
(
FilePath
)
replicate
(
Prelude
)
restoreCursor
(
AnsiCodes
)
restrict
(
Subst
)
restrictSubst
(
Rewriting.Substitution
)
resultType
(
FlatCurry.Annotated.Goodies
)
resultType
(
FlatCurry.Goodies
)
return
(
Prelude
)
returnES
(
ErrorState
)
returnS
(
State
)
returnS
(
NDState
)
reverse
(
Prelude
)
rights
(
Either
)
rng
(
Subst
)
rnmAllVars
(
FlatCurry.Annotated.Goodies
)
rnmAllVars
(
FlatCurry.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Goodies
)
rnmAllVarsInProg
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInProg
(
FlatCurry.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Annotated.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Goodies
)
rnmProg
(
FlatCurry.Annotated.Goodies
)
rnmProg
(
FlatCurry.Goodies
)
rotate
(
Dequeue
)
rpad
(
Utils
)
rparen
(
Pretty
)
ruleArgs
(
FlatCurry.Annotated.Goodies
)
ruleArgs
(
FlatCurry.Goodies
)
ruleBody
(
FlatCurry.Annotated.Goodies
)
ruleBody
(
FlatCurry.Goodies
)
ruleExtDecl
(
FlatCurry.Annotated.Goodies
)
ruleExtDecl
(
FlatCurry.Goodies
)
runState
(
State
)
runState
(
NDState
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
S
safeReadGlobal
(
Global
)
sameLength
(
Utils
)
samePattern
(
FlatCurryGoodies
)
saveCursor
(
AnsiCodes
)
scanl
(
List
)
scanl1
(
List
)
scanr
(
List
)
scanr1
(
List
)
scc
(
SCC
)
searchPathSeparator
(
FilePath
)
second
(
Function
)
semantics
(
Configuration
)
semi
(
Pretty
)
semiBraces
(
Pretty
)
semiBracesSpaced
(
Pretty
)
sep
(
Pretty
)
separatorChar
(
FileGoodies
)
seq
(
Prelude
)
sequenceIO
(
Prelude
)
sequenceIO_
(
Prelude
)
sequenceMaybe
(
Maybe
)
sequenceS
(
State
)
sequenceS
(
NDState
)
sequenceS_
(
State
)
sequenceS_
(
NDState
)
set
(
Pretty
)
setAssoc
(
IOExts
)
setCurrentDirectory
(
Directory
)
setEnviron
(
System
)
setExtended
(
Distribution
)
setFullPath
(
Distribution
)
setHtmlDir
(
Distribution
)
setInsertEquivalence
(
RedBlackTree
)
setLogfile
(
Distribution
)
setOverlapWarn
(
Distribution
)
setQuiet
(
Distribution
)
setRBT2list
(
SetRBT
)
setSpaced
(
Pretty
)
setSpecials
(
Distribution
)
show
(
Prelude
)
showAFCSubst
(
FlatCurry.Annotated.TypeSubst
)
showAnyExpression
(
Unsafe
)
showAnyQExpression
(
Unsafe
)
showAnyQTerm
(
Unsafe
)
showAnyTerm
(
Unsafe
)
showError
(
Prelude
)
showEscape
(
FlatCurry.Annotated.Pretty
)
showFM
(
FiniteMap
)
showQNameInModule
(
FlatCurry.Types
)
showQTerm
(
ReadShowTerm
)
showSubst
(
Rewriting.Substitution
)
showTerm
(
Rewriting.Term
)
showTerm
(
ReadShowTerm
)
showTermEq
(
Rewriting.Term
)
showTermEqs
(
Rewriting.Term
)
showUnificationError
(
Rewriting.UnificationSpec
)
showVarIdx
(
Rewriting.Term
)
simplifyExpr
(
Normalization
)
singleSubst
(
Subst
)
sizeFM
(
FiniteMap
)
sleep
(
System
)
snd
(
Prelude
)
snoc
(
Dequeue
)
softbreak
(
Pretty
)
softline
(
Pretty
)
solve
(
Prelude
)
sortBy
(
List
)
sortBy
(
RedBlackTree
)
sortRBT
(
SetRBT
)
space
(
Pretty
)
span
(
Prelude
)
spawnConstraint
(
Unsafe
)
specials
(
Distribution
)
split
(
List
)
splitAt
(
Prelude
)
splitBaseName
(
FileGoodies
)
splitDirectories
(
FilePath
)
splitDirectoryBaseName
(
FileGoodies
)
splitDrive
(
FilePath
)
splitExtension
(
FilePath
)
splitExtensions
(
FilePath
)
splitFileName
(
FilePath
)
splitFM
(
FiniteMap
)
splitModuleFileName
(
Distribution
)
splitModuleIdentifiers
(
Distribution
)
splitOn
(
List
)
splitPath
(
FilePath
)
splitPath
(
FileGoodies
)
splitSearchPath
(
FilePath
)
sq
(
FlatCurryGoodies
)
sq'
(
FlatCurryGoodies
)
squote
(
Pretty
)
squotes
(
Pretty
)
status
(
Output
)
stderr
(
IO
)
stdin
(
IO
)
stdout
(
IO
)
string
(
Pretty
)
stripCurrySuffix
(
Distribution
)
stripSuffix
(
FileGoodies
)
subExprs
(
FlatCurryGoodies
)
subst
(
Subst
)
subst
(
FlatCurry.Annotated.TypeSubst
)
substBranch
(
FlatCurry.Annotated.TypeSubst
)
substExpr
(
FlatCurry.Annotated.TypeSubst
)
substFunc
(
FlatCurry.Annotated.TypeSubst
)
substPattern
(
FlatCurry.Annotated.TypeSubst
)
substRule
(
FlatCurry.Annotated.TypeSubst
)
substSingle
(
Subst
)
substSnd
(
FlatCurry.Annotated.TypeSubst
)
success
(
Prelude
)
suffixSeparatorChar
(
FileGoodies
)
sum
(
List
)
sysLibPath
(
Distribution
)
system
(
System
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
T
tail
(
Prelude
)
tails
(
List
)
take
(
Prelude
)
takeBaseName
(
FilePath
)
takeDirectory
(
FilePath
)
takeDrive
(
FilePath
)
takeExtension
(
FilePath
)
takeExtensions
(
FilePath
)
takeFileName
(
FilePath
)
takeWhile
(
Prelude
)
tCons
(
Rewriting.Term
)
tConsAll
(
Rewriting.Term
)
tConsArgs
(
FlatCurry.Annotated.Goodies
)
tConsArgs
(
FlatCurry.Goodies
)
tConsName
(
FlatCurry.Annotated.Goodies
)
tConsName
(
FlatCurry.Goodies
)
tConst
(
Rewriting.Term
)
text
(
Pretty
)
tilde
(
Pretty
)
toLower
(
Char
)
topSQ
(
FlatCurryGoodies
)
toSubst
(
Subst
)
toUpper
(
Char
)
tOp
(
Rewriting.Term
)
toCalendarTime
(
Time
)
toClockTime
(
Time
)
toDayString
(
Time
)
toList
(
Set
)
toTimeString
(
Time
)
toUTCTime
(
Time
)
traceDebug
(
Output
)
traceDetail
(
Output
)
transpose
(
List
)
trBranch
(
FlatCurry.Annotated.Goodies
)
trBranch
(
FlatCurry.Goodies
)
trCombType
(
FlatCurry.Annotated.Goodies
)
trCombType
(
FlatCurry.Goodies
)
trCons
(
FlatCurry.Annotated.Goodies
)
trCons
(
FlatCurry.Goodies
)
trExpr
(
FlatCurry.Annotated.Goodies
)
trExpr
(
FlatCurryGoodies
)
trExpr
(
FlatCurry.Goodies
)
tree2list
(
RedBlackTree
)
trFunc
(
FlatCurry.Annotated.Goodies
)
trFunc
(
FlatCurry.Goodies
)
trOp
(
FlatCurry.Annotated.Goodies
)
trOp
(
FlatCurry.Goodies
)
trPattern
(
FlatCurry.Annotated.Goodies
)
trPattern
(
FlatCurry.Goodies
)
trProg
(
FlatCurry.Annotated.Goodies
)
trProg
(
FlatCurry.Goodies
)
trRule
(
FlatCurry.Annotated.Goodies
)
trRule
(
FlatCurry.Goodies
)
trType
(
FlatCurry.Annotated.Goodies
)
trType
(
FlatCurry.Goodies
)
trTypeExpr
(
FlatCurry.Annotated.Goodies
)
trTypeExpr
(
FlatCurry.Goodies
)
trueExpr
(
FlatCurryGoodies
)
tRoot
(
Rewriting.Term
)
trace
(
Unsafe
)
tupled
(
Pretty
)
tupledSpaced
(
Pretty
)
tVarIndex
(
FlatCurry.Annotated.Goodies
)
tVarIndex
(
FlatCurry.Goodies
)
tVars
(
Rewriting.Term
)
tVarsAll
(
Rewriting.Term
)
typeConsDecls
(
FlatCurry.Annotated.Goodies
)
typeConsDecls
(
FlatCurry.Goodies
)
typeName
(
FlatCurry.Annotated.Goodies
)
typeName
(
FlatCurry.Goodies
)
typeParams
(
FlatCurry.Annotated.Goodies
)
typeParams
(
FlatCurry.Goodies
)
typeSyn
(
FlatCurry.Annotated.Goodies
)
typeSyn
(
FlatCurry.Goodies
)
typeVisibility
(
FlatCurry.Annotated.Goodies
)
typeVisibility
(
FlatCurry.Goodies
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
U
unAlias
(
PostUnfold
)
unAnnExpr
(
FlatCurry.Annotated.Goodies
)
unAnnFuncDecl
(
FlatCurry.Annotated.Goodies
)
unAnnPattern
(
FlatCurry.Annotated.Goodies
)
unAnnProg
(
FlatCurry.Annotated.Goodies
)
unAnnRule
(
FlatCurry.Annotated.Goodies
)
unbind
(
Heap
)
uncurry
(
Prelude
)
underline
(
AnsiCodes
)
underline
(
Pretty
)
unfoldr
(
List
)
unifiable
(
Rewriting.Unification
)
unifiable
(
Rewriting.UnificationSpec
)
unify
(
Rewriting.Unification
)
unify
(
Rewriting.UnificationSpec
)
union
(
List
)
union
(
Set
)
unionBy
(
List
)
unionRBT
(
SetRBT
)
unitFM
(
FiniteMap
)
unknown
(
Prelude
)
unless
(
Prelude
)
unlines
(
Prelude
)
unsafePerformIO
(
Unsafe
)
unsetEnviron
(
System
)
until
(
Prelude
)
unwords
(
Prelude
)
unzip
(
Prelude
)
unzip3
(
Prelude
)
unzipBranches
(
FlatCurryGoodies
)
update
(
RedBlackTree
)
updateFile
(
IOExts
)
updatePropertyFile
(
PropertyFile
)
updBranch
(
FlatCurry.Annotated.Goodies
)
updBranch
(
FlatCurry.Goodies
)
updBranches
(
FlatCurry.Annotated.Goodies
)
updBranchExpr
(
FlatCurry.Annotated.Goodies
)
updBranches
(
FlatCurry.Goodies
)
updBranchExpr
(
FlatCurry.Goodies
)
updBranchPattern
(
FlatCurry.Annotated.Goodies
)
updBranchPattern
(
FlatCurry.Goodies
)
updCases
(
FlatCurry.Annotated.Goodies
)
updCases
(
FlatCurry.Goodies
)
updCombs
(
FlatCurry.Annotated.Goodies
)
updCombs
(
FlatCurry.Goodies
)
updCons
(
FlatCurry.Annotated.Goodies
)
updCons
(
FlatCurry.Goodies
)
updConsArgs
(
FlatCurry.Annotated.Goodies
)
updConsArgs
(
FlatCurry.Goodies
)
updConsArity
(
FlatCurry.Annotated.Goodies
)
updConsArity
(
FlatCurry.Goodies
)
updConsName
(
FlatCurry.Annotated.Goodies
)
updConsName
(
FlatCurry.Goodies
)
updConsVisibility
(
FlatCurry.Annotated.Goodies
)
updConsVisibility
(
FlatCurry.Goodies
)
updFM
(
FiniteMap
)
updFrees
(
FlatCurry.Annotated.Goodies
)
updFrees
(
FlatCurry.Goodies
)
updFunc
(
FlatCurry.Annotated.Goodies
)
updFunc
(
FlatCurry.Goodies
)
updFuncArgs
(
FlatCurry.Annotated.Goodies
)
updFuncArgs
(
FlatCurry.Goodies
)
updFuncArity
(
FlatCurry.Annotated.Goodies
)
updFuncArity
(
FlatCurry.Goodies
)
updFuncBody
(
FlatCurry.Annotated.Goodies
)
updFuncBody
(
FlatCurry.Goodies
)
updFuncName
(
FlatCurry.Annotated.Goodies
)
updFuncName
(
FlatCurry.Goodies
)
updFuncRule
(
FlatCurry.Annotated.Goodies
)
updFuncRule
(
FlatCurry.Goodies
)
updFuncType
(
FlatCurry.Annotated.Goodies
)
updFuncType
(
FlatCurry.Goodies
)
updFuncTypes
(
FlatCurry.Annotated.Goodies
)
updFuncTypes
(
FlatCurry.Goodies
)
updFuncVisibility
(
FlatCurry.Annotated.Goodies
)
updFuncVisibility
(
FlatCurry.Goodies
)
updLets
(
FlatCurry.Annotated.Goodies
)
updLets
(
FlatCurry.Goodies
)
updLiterals
(
FlatCurry.Annotated.Goodies
)
updLiterals
(
FlatCurry.Goodies
)
updOp
(
FlatCurry.Annotated.Goodies
)
updOp
(
FlatCurry.Goodies
)
updOpFixity
(
FlatCurry.Annotated.Goodies
)
updOpFixity
(
FlatCurry.Goodies
)
updOpName
(
FlatCurry.Annotated.Goodies
)
updOpName
(
FlatCurry.Goodies
)
updOpPrecedence
(
FlatCurry.Annotated.Goodies
)
updOpPrecedence
(
FlatCurry.Goodies
)
updOrs
(
FlatCurry.Annotated.Goodies
)
updOrs
(
FlatCurry.Goodies
)
updPatArgs
(
FlatCurry.Annotated.Goodies
)
updPatArgs
(
FlatCurry.Goodies
)
updPatCons
(
FlatCurry.Annotated.Goodies
)
updPatCons
(
FlatCurry.Goodies
)
updPatLiteral
(
FlatCurry.Annotated.Goodies
)
updPatLiteral
(
FlatCurry.Goodies
)
updPattern
(
FlatCurry.Annotated.Goodies
)
updPattern
(
FlatCurry.Goodies
)
updProg
(
FlatCurry.Annotated.Goodies
)
updProg
(
FlatCurry.Goodies
)
updProgExps
(
FlatCurry.Annotated.Goodies
)
updProgExps
(
FlatCurry.Goodies
)
updProgFuncs
(
FlatCurry.Annotated.Goodies
)
updProgFuncs
(
FlatCurry.Goodies
)
updProgImports
(
FlatCurry.Annotated.Goodies
)
updProgImports
(
FlatCurry.Goodies
)
updProgName
(
FlatCurry.Annotated.Goodies
)
updProgName
(
FlatCurry.Goodies
)
updProgOps
(
FlatCurry.Annotated.Goodies
)
updProgOps
(
FlatCurry.Goodies
)
updProgTypes
(
FlatCurry.Annotated.Goodies
)
updProgTypes
(
FlatCurry.Goodies
)
updQNames
(
FlatCurry.Annotated.Goodies
)
updQNames
(
FlatCurry.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Annotated.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Goodies
)
updQNamesInFunc
(
FlatCurry.Annotated.Goodies
)
updQNamesInFunc
(
FlatCurry.Goodies
)
updQNamesInProg
(
FlatCurry.Annotated.Goodies
)
updQNamesInProg
(
FlatCurry.Goodies
)
updQNamesInRule
(
FlatCurry.Annotated.Goodies
)
updQNamesInRule
(
FlatCurry.Goodies
)
updQNamesInType
(
FlatCurry.Annotated.Goodies
)
updQNamesInType
(
FlatCurry.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Annotated.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Goodies
)
updRule
(
FlatCurry.Annotated.Goodies
)
updRule
(
FlatCurry.Goodies
)
updRuleArgs
(
FlatCurry.Annotated.Goodies
)
updRuleArgs
(
FlatCurry.Goodies
)
updRuleBody
(
FlatCurry.Annotated.Goodies
)
updRuleBody
(
FlatCurry.Goodies
)
updRuleExtDecl
(
FlatCurry.Annotated.Goodies
)
updRuleExtDecl
(
FlatCurry.Goodies
)
updTCons
(
FlatCurry.Annotated.Goodies
)
updTCons
(
FlatCurry.Goodies
)
updTVars
(
FlatCurry.Annotated.Goodies
)
updTVars
(
FlatCurry.Goodies
)
updType
(
FlatCurry.Annotated.Goodies
)
updType
(
FlatCurry.Goodies
)
updTypeConsDecls
(
FlatCurry.Annotated.Goodies
)
updTypeConsDecls
(
FlatCurry.Goodies
)
updTypeds
(
FlatCurry.Annotated.Goodies
)
updTypeds
(
FlatCurry.Goodies
)
updTypeName
(
FlatCurry.Annotated.Goodies
)
updTypeName
(
FlatCurry.Goodies
)
updTypeParams
(
FlatCurry.Annotated.Goodies
)
updTypeParams
(
FlatCurry.Goodies
)
updTypeSynonym
(
FlatCurry.Annotated.Goodies
)
updTypeSynonym
(
FlatCurry.Goodies
)
updTypeVisibility
(
FlatCurry.Annotated.Goodies
)
updTypeVisibility
(
FlatCurry.Goodies
)
updVars
(
FlatCurry.Annotated.Goodies
)
updVars
(
FlatCurry.Goodies
)
usageInfo
(
GetOpt
)
userError
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
V
validDate
(
Time
)
varNr
(
FlatCurry.Annotated.Goodies
)
varNr
(
FlatCurry.Goodies
)
vars
(
FlatCurryGoodies
)
varSubst
(
Subst
)
vcat
(
Pretty
)
vsep
(
Pretty
)
vsepBlank
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
W
when
(
Prelude
)
white
(
AnsiCodes
)
white
(
Pretty
)
without
(
Subst
)
without
(
Heap
)
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
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
Y
yellow
(
AnsiCodes
)
yellow
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
Z
zip
(
Prelude
)
zip3
(
Prelude
)
zipBranches
(
FlatCurryGoodies
)
zipWith
(
Prelude
)
zipWith3
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
\
\\
(
List
)
\\\
(
FlatCurryGoodies
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
|
||
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|