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
Y
Z
\
|
~
!
!!
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
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
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
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
L
M
N
O
P
Q
R
S
T
U
V
W
Y
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
Y
Z
\
|
~
-
-
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
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
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
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
<
<
(
Prelude
)
<$!$>
(
Pretty
)
<$$>
(
Pretty
)
<$+$>
(
Pretty
)
<+>
(
Pretty
)
<.>
(
FilePath
)
<//>
(
Pretty
)
</>
(
FilePath
)
</>
(
Pretty
)
<=
(
Prelude
)
<>
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
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
L
M
N
O
P
Q
R
S
T
U
V
W
Y
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
Y
Z
\
|
~
?
?
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
A
abstractCurryFileName
(
AbstractCurry.Files
)
addCmtFuncInProg
(
DSDCurryTransform
)
addContract
(
DSDCurryTransform
)
addCurrySubdir
(
Distribution
)
addDays
(
Time
)
addExtension
(
FilePath
)
addHours
(
Time
)
addMinutes
(
Time
)
addMonths
(
Time
)
addSeconds
(
Time
)
addTarget
(
Distribution
)
addTrailingPathSeparator
(
FilePath
)
addYears
(
Time
)
align
(
Pretty
)
all
(
Prelude
)
aMod
(
DSDCurryTransform
)
and
(
Prelude
)
angles
(
Pretty
)
any
(
Prelude
)
anyOf
(
Prelude
)
appendFile
(
Prelude
)
apply
(
Prelude
)
applyE
(
AbstractCurry.Build
)
applyF
(
AbstractCurry.Build
)
applyJust
(
AbstractCurry.Build
)
applyMaybe
(
AbstractCurry.Build
)
applyV
(
AbstractCurry.Build
)
argTypes
(
AbstractCurry.Select
)
arityOfType
(
DSDCurryTransform
)
at
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
B
backslash
(
Pretty
)
banner
(
DSDCurryTransform
)
bar
(
Pretty
)
baseName
(
FileGoodies
)
baseType
(
AbstractCurry.Build
)
bgBlack
(
Pretty
)
bgBlue
(
Pretty
)
bgCyan
(
Pretty
)
bgGreen
(
Pretty
)
bgMagenta
(
Pretty
)
bgRed
(
Pretty
)
bgWhite
(
Pretty
)
bgYellow
(
Pretty
)
black
(
Pretty
)
blinkRapid
(
Pretty
)
blinkSlow
(
Pretty
)
blue
(
Pretty
)
bold
(
Pretty
)
boolType
(
AbstractCurry.Build
)
both
(
Function
)
bquotes
(
Pretty
)
braces
(
Pretty
)
brackets
(
Pretty
)
break
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
C
calendarTimeToString
(
Time
)
callFrontend
(
Distribution
)
callFrontendWithParams
(
Distribution
)
cat
(
Pretty
)
catch
(
Prelude
)
catMaybes
(
Maybe
)
cBranch
(
AbstractCurry.Build
)
cChar
(
AbstractCurry.Build
)
cfunc
(
AbstractCurry.Build
)
cFloat
(
AbstractCurry.Build
)
char
(
Pretty
)
charType
(
AbstractCurry.Build
)
checkKind
(
DSDCurryTransform
)
chr
(
Prelude
)
cInt
(
AbstractCurry.Build
)
clockTimeToInt
(
Time
)
cmtfunc
(
AbstractCurry.Build
)
colon
(
Pretty
)
combine
(
FilePath
)
combine
(
Pretty
)
comma
(
Pretty
)
compare
(
Prelude
)
compareAnyTerm
(
Unsafe
)
compareCalendarTime
(
Time
)
compareClockTime
(
Time
)
compareDate
(
Time
)
compose
(
Pretty
)
concat
(
Prelude
)
concatMap
(
Prelude
)
cond
(
Prelude
)
connectToCommand
(
IOExts
)
cons
(
Dequeue
)
consName
(
AbstractCurry.Select
)
const
(
Prelude
)
constF
(
AbstractCurry.Build
)
constructors
(
AbstractCurry.Select
)
consVis
(
AbstractCurry.Select
)
copyFile
(
Directory
)
copyFileOnDemand
(
DSDCurryTransform
)
copyImportModules
(
DSDCurryTransform
)
cpvar
(
AbstractCurry.Build
)
createDirectory
(
Directory
)
createDirectoryIfMissing
(
Directory
)
crossout
(
Pretty
)
ctDay
(
Time
)
ctHour
(
Time
)
ctMin
(
Time
)
ctMonth
(
Time
)
ctSec
(
Time
)
ctTZ
(
Time
)
ctvar
(
AbstractCurry.Build
)
ctYear
(
Time
)
curry
(
Prelude
)
curryCompiler
(
Distribution
)
curryCompilerMajorVersion
(
Distribution
)
curryCompilerMinorVersion
(
Distribution
)
curryRuntime
(
Distribution
)
curryRuntimeMajorVersion
(
Distribution
)
curryRuntimeMinorVersion
(
Distribution
)
currySubdir
(
Distribution
)
cvar
(
AbstractCurry.Build
)
cyan
(
Pretty
)
cycle
(
List
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
D
dateType
(
AbstractCurry.Build
)
daysOfMonth
(
Time
)
defaultOptions
(
AbstractCurry.Pretty
)
defaultParams
(
Distribution
)
defaultTParam
(
DSDCurryTransform
)
delete
(
List
)
deleteBy
(
List
)
deleteCmt
(
DSDCurryTransform
)
deleteCmtIfEmpty
(
DSDCurryTransform
)
deqHead
(
Dequeue
)
deqInit
(
Dequeue
)
deqLast
(
Dequeue
)
deqLength
(
Dequeue
)
deqReverse
(
Dequeue
)
deqTail
(
Dequeue
)
deqToList
(
Dequeue
)
diagonal
(
List
)
digitToInt
(
Char
)
dirName
(
FileGoodies
)
div
(
Prelude
)
divMod
(
Prelude
)
doesDirectoryExist
(
Directory
)
doesFileExist
(
Directory
)
done
(
Prelude
)
doSolve
(
Prelude
)
dot
(
Pretty
)
doubleArrow
(
Pretty
)
doubleColon
(
Pretty
)
dquote
(
Pretty
)
dquotes
(
Pretty
)
drop
(
Prelude
)
dropDrive
(
FilePath
)
dropExtension
(
FilePath
)
dropExtensions
(
FilePath
)
dropFileName
(
FilePath
)
dropPostCondName
(
DSDCurryTransform
)
dropPreCondName
(
DSDCurryTransform
)
dropSpecName
(
DSDCurryTransform
)
dropTrailingPathSeparator
(
FilePath
)
dropWhile
(
Prelude
)
dsdSourceDir
(
DSDCurryTransform
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
E
either
(
Prelude
)
elem
(
Prelude
)
elemIndex
(
List
)
elemIndices
(
List
)
empty
(
Pretty
)
empty
(
Dequeue
)
enclose
(
Pretty
)
encloseSep
(
Pretty
)
encloseSepSpaced
(
Pretty
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
enumFrom
(
Prelude
)
enumFromThen
(
Prelude
)
enumFromThenTo
(
Prelude
)
enumFromTo
(
Prelude
)
equalFilePath
(
FilePath
)
equals
(
Pretty
)
error
(
Prelude
)
evalCmd
(
IOExts
)
exclusiveIO
(
IOExts
)
execCmd
(
IOExts
)
executeProg
(
DSDCurryTransform
)
exitWith
(
System
)
extended
(
Distribution
)
extendFuncType
(
DSDCurryTransform
)
extSeparator
(
FilePath
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
F
failed
(
Prelude
)
failure
(
Prelude
)
faint
(
Pretty
)
fileSize
(
Directory
)
fileSuffix
(
FileGoodies
)
fill
(
Pretty
)
fillBreak
(
Pretty
)
fillCat
(
Pretty
)
fillEncloseSep
(
Pretty
)
fillEncloseSepSpaced
(
Pretty
)
fillSep
(
Pretty
)
filter
(
Prelude
)
find
(
List
)
findIndex
(
List
)
findIndices
(
List
)
first
(
Function
)
fix
(
Function
)
flip
(
Prelude
)
float
(
Pretty
)
floatType
(
AbstractCurry.Build
)
foldIO
(
Prelude
)
foldl
(
Prelude
)
foldl1
(
Prelude
)
foldr
(
Prelude
)
foldr1
(
Prelude
)
forIO
(
Prelude
)
forIO_
(
Prelude
)
fromJust
(
Maybe
)
fromMaybe
(
Maybe
)
fst
(
Prelude
)
fullPath
(
Distribution
)
funcArity
(
AbstractCurry.Select
)
funcComment
(
AbstractCurry.Select
)
funcName
(
AbstractCurry.Select
)
funcNamesOfFDecl
(
AbstractCurry.Select
)
funcNamesOfLDecl
(
AbstractCurry.Select
)
funcNamesOfStat
(
AbstractCurry.Select
)
funcRules
(
AbstractCurry.Select
)
funcsOfCFuncDecl
(
AbstractCurry.Transform
)
funcsOfConsDecl
(
AbstractCurry.Transform
)
funcsOfCRhs
(
AbstractCurry.Transform
)
funcsOfCRule
(
AbstractCurry.Transform
)
funcsOfCTypeDecl
(
AbstractCurry.Transform
)
funcsOfCurryProg
(
AbstractCurry.Transform
)
funcsOfExpr
(
AbstractCurry.Transform
)
funcsOfFieldDecl
(
AbstractCurry.Transform
)
funcsOfLDecl
(
AbstractCurry.Transform
)
funcsOfStat
(
AbstractCurry.Transform
)
functions
(
AbstractCurry.Select
)
funcType
(
AbstractCurry.Select
)
funcVis
(
AbstractCurry.Select
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
G
genAssertInstance
(
DSDCurryTransform
)
genFunction4PostCond
(
DSDCurryTransform
)
genFunction4Spec
(
DSDCurryTransform
)
genPostCond4Spec
(
DSDCurryTransform
)
getAbsolutePath
(
Directory
)
getArgResultTypes
(
DSDCurryTransform
)
getArgs
(
System
)
getAssoc
(
IOExts
)
getChar
(
Prelude
)
getClockTime
(
Time
)
getContents
(
IO
)
getCPUTime
(
System
)
getCurrentDirectory
(
Directory
)
getDirectoryContents
(
Directory
)
getElapsedTime
(
System
)
getEnviron
(
System
)
getFileInPath
(
FileGoodies
)
getFunSpecifications
(
DSDCurryTransform
)
getHomeDirectory
(
Directory
)
getHostname
(
System
)
getLine
(
Prelude
)
getLoadPathForModule
(
Distribution
)
getLocalTime
(
Time
)
getModificationTime
(
Directory
)
getPID
(
System
)
getPostConditions
(
DSDCurryTransform
)
getPreConditions
(
DSDCurryTransform
)
getProgName
(
System
)
getRcVar
(
Distribution
)
getRcVars
(
Distribution
)
getSearchPath
(
FilePath
)
getTemporaryDirectory
(
Directory
)
global
(
Global
)
green
(
Pretty
)
groundNormalForm
(
Prelude
)
group
(
List
)
group
(
Pretty
)
groupBy
(
List
)
guardedRule
(
AbstractCurry.Build
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
H
hang
(
Pretty
)
hardline
(
Pretty
)
hasDrive
(
FilePath
)
hasExtension
(
FilePath
)
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
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
)
imports
(
AbstractCurry.Select
)
inCurrySubdir
(
Distribution
)
inCurrySubdirModule
(
Distribution
)
indent
(
Pretty
)
init
(
List
)
inits
(
List
)
insertBy
(
List
)
installDir
(
Distribution
)
int
(
Pretty
)
intercalate
(
List
)
intersect
(
List
)
intersectBy
(
List
)
intersperse
(
List
)
intToDigit
(
Char
)
intType
(
AbstractCurry.Build
)
inverse
(
Pretty
)
ioError
(
Prelude
)
ioType
(
AbstractCurry.Build
)
isAbsolute
(
FilePath
)
isAbsolute
(
FileGoodies
)
isAlpha
(
Char
)
isAlphaNum
(
Char
)
isAscii
(
Char
)
isAsciiLower
(
Char
)
isAsciiUpper
(
Char
)
isBaseType
(
AbstractCurry.Select
)
isBinDigit
(
Char
)
isControl
(
Char
)
isDetSpecName
(
DSDCurryTransform
)
isDigit
(
Char
)
isDrive
(
FilePath
)
isEmpty
(
Pretty
)
isEmpty
(
Dequeue
)
isEOF
(
IO
)
isExtSeparator
(
FilePath
)
isFunctionalType
(
AbstractCurry.Select
)
isGround
(
Unsafe
)
isHexDigit
(
Char
)
isInfixOf
(
List
)
isIOReturnType
(
AbstractCurry.Select
)
isIOType
(
AbstractCurry.Select
)
isJust
(
Maybe
)
isLatin1
(
Char
)
isLower
(
Char
)
isNothing
(
Maybe
)
isOctDigit
(
Char
)
isPathSeparator
(
FilePath
)
isPolyType
(
AbstractCurry.Select
)
isPosix
(
System
)
isPostCondName
(
DSDCurryTransform
)
isPreCondName
(
DSDCurryTransform
)
isPrefixOf
(
List
)
isPrelude
(
AbstractCurry.Select
)
isRealFuncDecl
(
DSDCurryTransform
)
isRelative
(
FilePath
)
isSearchPathSeparator
(
FilePath
)
isSpace
(
Char
)
isSpecName
(
DSDCurryTransform
)
isSuffixOf
(
List
)
isUnknown
(
DSDCurryTransform
)
isUpper
(
Char
)
isValid
(
FilePath
)
isVar
(
Unsafe
)
isWindows
(
System
)
italic
(
Pretty
)
iterate
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
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
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
)
ldeclsOfRule
(
AbstractCurry.Select
)
length
(
Prelude
)
letExpr
(
AbstractCurry.Build
)
letrec
(
Prelude
)
liftIO
(
Prelude
)
line
(
Pretty
)
linebreak
(
Pretty
)
lines
(
Prelude
)
linesep
(
Pretty
)
list
(
Pretty
)
list2ac
(
AbstractCurry.Build
)
listPattern
(
AbstractCurry.Build
)
listSpaced
(
Pretty
)
listToDeq
(
Dequeue
)
listToMaybe
(
Maybe
)
listType
(
AbstractCurry.Build
)
loadPAKCS
(
DSDCurryTransform
)
logfile
(
Distribution
)
lookup
(
Prelude
)
lookupFileInPath
(
FileGoodies
)
lookupModuleSource
(
Distribution
)
lookupModuleSourceInLoadPath
(
Distribution
)
lparen
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
M
magenta
(
Pretty
)
main
(
DSDCurryTransform
)
makeRelative
(
FilePath
)
makeValid
(
FilePath
)
map
(
Prelude
)
mapAccumL
(
List
)
mapAccumR
(
List
)
mapIO
(
Prelude
)
mapIO_
(
Prelude
)
mapMaybe
(
Maybe
)
mapMMaybe
(
Maybe
)
matchHead
(
Dequeue
)
matchLast
(
Dequeue
)
max
(
Prelude
)
maximum
(
List
)
maximumBy
(
List
)
maybe
(
Prelude
)
maybeToList
(
Maybe
)
maybeType
(
AbstractCurry.Build
)
min
(
Prelude
)
minimum
(
List
)
minimumBy
(
List
)
mod
(
Prelude
)
modifyIORef
(
IOExts
)
modNameToPath
(
Distribution
)
modsOfType
(
AbstractCurry.Select
)
mplus
(
Maybe
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
N
negate
(
Prelude
)
negateFloat
(
Prelude
)
nest
(
Pretty
)
newIORef
(
IOExts
)
noGuard
(
AbstractCurry.Build
)
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
Y
Z
\
|
~
O
on
(
Function
)
openFile
(
IO
)
or
(
Prelude
)
ord
(
Prelude
)
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
Y
Z
\
|
~
P
packageExecutable
(
DSDCurryPackageConfig
)
packageLoadPath
(
DSDCurryPackageConfig
)
packagePath
(
DSDCurryPackageConfig
)
packageVersion
(
DSDCurryPackageConfig
)
parens
(
Pretty
)
parensIf
(
Pretty
)
partition
(
List
)
pathSeparator
(
FilePath
)
pathSeparatorChar
(
FileGoodies
)
pathSeparators
(
FilePath
)
pChar
(
AbstractCurry.Build
)
permutations
(
List
)
pFloat
(
AbstractCurry.Build
)
pInt
(
AbstractCurry.Build
)
pNil
(
AbstractCurry.Build
)
ppCExpr
(
AbstractCurry.Pretty
)
ppCFuncDecl
(
AbstractCurry.Pretty
)
ppCFuncDeclWithoutSig
(
AbstractCurry.Pretty
)
ppCFuncSignature
(
AbstractCurry.Pretty
)
ppCLiteral
(
AbstractCurry.Pretty
)
ppCOpDecl
(
AbstractCurry.Pretty
)
ppCPattern
(
AbstractCurry.Pretty
)
ppCRhs
(
AbstractCurry.Pretty
)
ppCRule
(
AbstractCurry.Pretty
)
ppCRules
(
AbstractCurry.Pretty
)
ppCStatement
(
AbstractCurry.Pretty
)
ppCTypeDecl
(
AbstractCurry.Pretty
)
ppCTypeExpr
(
AbstractCurry.Pretty
)
ppCurryProg
(
AbstractCurry.Pretty
)
ppExports
(
AbstractCurry.Pretty
)
ppFunc
(
AbstractCurry.Pretty
)
ppImports
(
AbstractCurry.Pretty
)
ppMName
(
AbstractCurry.Pretty
)
ppQFunc
(
AbstractCurry.Pretty
)
ppQType
(
AbstractCurry.Pretty
)
ppType
(
AbstractCurry.Pretty
)
pPrint
(
Pretty
)
pre
(
AbstractCurry.Types
)
preludeName
(
AbstractCurry.Types
)
pretty
(
Pretty
)
prettyCurryProg
(
AbstractCurry.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
)
product
(
List
)
progName
(
AbstractCurry.Select
)
publicConsNames
(
AbstractCurry.Select
)
publicFuncNames
(
AbstractCurry.Select
)
publicTypeNames
(
AbstractCurry.Select
)
punctuate
(
Pretty
)
putChar
(
Prelude
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
pVars
(
AbstractCurry.Build
)
PEVAL
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
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
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
R
rangle
(
Pretty
)
rarrow
(
Pretty
)
rbrace
(
Pretty
)
rbracket
(
Pretty
)
rcFileContents
(
Distribution
)
rcFileName
(
Distribution
)
rcParams
(
Distribution
)
readAbstractCurryFile
(
AbstractCurry.Files
)
readAnyQExpression
(
Unsafe
)
readAnyQTerm
(
Unsafe
)
readAnyUnqualifiedTerm
(
Unsafe
)
readComments
(
AbstractCurryComments
)
readCompleteFile
(
IOExts
)
readCurry
(
AbstractCurry.Files
)
readCurryWithComments
(
AbstractCurryComments
)
readCurryWithImports
(
AbstractCurry.Files
)
readCurryWithParseOptions
(
AbstractCurry.Files
)
readFile
(
Prelude
)
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
)
readUntypedCurry
(
AbstractCurry.Files
)
readUntypedCurryWithParseOptions
(
AbstractCurry.Files
)
red
(
Pretty
)
rem
(
Prelude
)
removeDirectory
(
Directory
)
removeFile
(
Directory
)
renameCurryModule
(
AbstractCurry.Transform
)
renameDirectory
(
Directory
)
renameFile
(
Directory
)
repeat
(
Prelude
)
replace
(
List
)
replaceBaseName
(
FilePath
)
replaceDirectory
(
FilePath
)
replaceExtension
(
FilePath
)
replaceFileName
(
FilePath
)
replaceResultType
(
DSDCurryTransform
)
replicate
(
Prelude
)
resultType
(
DSDCurryTransform
)
resultType
(
AbstractCurry.Select
)
return
(
Prelude
)
reverse
(
Prelude
)
rotate
(
Dequeue
)
rparen
(
Pretty
)
ruleRHS
(
AbstractCurry.Select
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
S
safeReadGlobal
(
Global
)
scanl
(
List
)
scanl1
(
List
)
scanr
(
List
)
scanr1
(
List
)
searchPathSeparator
(
FilePath
)
second
(
Function
)
semi
(
Pretty
)
semiBraces
(
Pretty
)
semiBracesSpaced
(
Pretty
)
sep
(
Pretty
)
separatorChar
(
FileGoodies
)
seq
(
Prelude
)
sequenceIO
(
Prelude
)
sequenceIO_
(
Prelude
)
sequenceMaybe
(
Maybe
)
set
(
Pretty
)
setAssoc
(
IOExts
)
setCurrentDirectory
(
Directory
)
setDebugging
(
DSDCurryTransform
)
setEncapsulate
(
DSDCurryTransform
)
setEnforceAssert
(
DSDCurryTransform
)
setEnviron
(
System
)
setExecuteProg
(
DSDCurryTransform
)
setExtended
(
Distribution
)
setFullPath
(
Distribution
)
setFullQualification
(
AbstractCurry.Pretty
)
setFun
(
DSDCurryTransform
)
setHtmlDir
(
Distribution
)
setImportQualification
(
AbstractCurry.Pretty
)
setIndentWith
(
AbstractCurry.Pretty
)
setLayoutChoice
(
AbstractCurry.Pretty
)
setLazyAssert
(
DSDCurryTransform
)
setLogfile
(
Distribution
)
setModName
(
AbstractCurry.Pretty
)
setNoQualification
(
AbstractCurry.Pretty
)
setOnDemandQualification
(
AbstractCurry.Pretty
)
setOverlapWarn
(
Distribution
)
setPageWith
(
AbstractCurry.Pretty
)
setQuiet
(
Distribution
)
setSinglePostSpecs
(
DSDCurryTransform
)
setSpaced
(
Pretty
)
setSpecials
(
Distribution
)
setStrictAssert
(
DSDCurryTransform
)
sfMod
(
DSDCurryTransform
)
show
(
Prelude
)
showAnyExpression
(
Unsafe
)
showAnyQExpression
(
Unsafe
)
showAnyQTerm
(
Unsafe
)
showAnyTerm
(
Unsafe
)
showCProg
(
AbstractCurry.Pretty
)
showError
(
Prelude
)
showQTerm
(
ReadShowTerm
)
showTerm
(
ReadShowTerm
)
simpleRule
(
AbstractCurry.Build
)
simpleRuleWithLocals
(
AbstractCurry.Build
)
sleep
(
System
)
snd
(
Prelude
)
snoc
(
Dequeue
)
softbreak
(
Pretty
)
softline
(
Pretty
)
solve
(
Prelude
)
sortBy
(
List
)
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
)
splitModuleFileName
(
Distribution
)
splitModuleIdentifiers
(
Distribution
)
splitOn
(
List
)
splitPath
(
FilePath
)
splitPath
(
FileGoodies
)
splitSearchPath
(
FilePath
)
squote
(
Pretty
)
squotes
(
Pretty
)
stderr
(
IO
)
stdin
(
IO
)
stdout
(
IO
)
string
(
Pretty
)
string2ac
(
AbstractCurry.Build
)
stringPattern
(
AbstractCurry.Build
)
stringType
(
AbstractCurry.Build
)
stripCurrySuffix
(
Distribution
)
stripSuffix
(
FileGoodies
)
success
(
Prelude
)
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
Y
Z
\
|
~
T
tail
(
Prelude
)
tails
(
List
)
take
(
Prelude
)
takeBaseName
(
FilePath
)
takeDirectory
(
FilePath
)
takeDrive
(
FilePath
)
takeExtension
(
FilePath
)
takeExtensions
(
FilePath
)
takeFileName
(
FilePath
)
takeWhile
(
Prelude
)
tconsOfType
(
AbstractCurry.Select
)
text
(
Pretty
)
tilde
(
Pretty
)
toAssertTypes
(
DSDCurryTransform
)
toCalendarTime
(
Time
)
toClockTime
(
Time
)
toDayString
(
Time
)
toLocalAssertType
(
DSDCurryTransform
)
toLower
(
Char
)
toPolymorphicAssertTypes
(
DSDCurryTransform
)
toTimeString
(
Time
)
toUpper
(
Char
)
toUTCTime
(
Time
)
toVar
(
AbstractCurry.Build
)
trace
(
Unsafe
)
transform
(
DSDCurryTransform
)
transformedModName
(
DSDCurryTransform
)
transformProgram
(
DSDCurryTransform
)
transPCType
(
DSDCurryTransform
)
transpose
(
List
)
trCConsDecl
(
AbstractCurry.Transform
)
trCFieldDecl
(
AbstractCurry.Transform
)
trCFuncDecl
(
AbstractCurry.Transform
)
trCLocalDecl
(
AbstractCurry.Transform
)
trCOpDecl
(
AbstractCurry.Transform
)
trCPattern
(
AbstractCurry.Transform
)
trCProg
(
AbstractCurry.Transform
)
trCRhs
(
AbstractCurry.Transform
)
trCRule
(
AbstractCurry.Transform
)
trCStatement
(
AbstractCurry.Transform
)
trCTypeDecl
(
AbstractCurry.Transform
)
trCTypeExpr
(
AbstractCurry.Transform
)
trExpr
(
AbstractCurry.Transform
)
tryParse
(
AbstractCurry.Files
)
tryReadACYFile
(
AbstractCurry.Files
)
tryReadCurryFile
(
AbstractCurry.Files
)
tryReadCurryWithImports
(
AbstractCurry.Files
)
tupled
(
Pretty
)
tupledSpaced
(
Pretty
)
tupleExpr
(
AbstractCurry.Build
)
tuplePattern
(
AbstractCurry.Build
)
tupleType
(
AbstractCurry.Build
)
tvarsOfType
(
AbstractCurry.Select
)
typeCons
(
AbstractCurry.Select
)
typeName
(
AbstractCurry.Select
)
types
(
AbstractCurry.Select
)
typesOfCFuncDecl
(
AbstractCurry.Transform
)
typesOfConsDecl
(
AbstractCurry.Transform
)
typesOfCTypeDecl
(
AbstractCurry.Transform
)
typesOfCurryProg
(
AbstractCurry.Transform
)
typesOfFieldDecl
(
AbstractCurry.Transform
)
typesOfTypeExpr
(
AbstractCurry.Transform
)
typeVis
(
AbstractCurry.Select
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
U
uncurry
(
Prelude
)
underline
(
Pretty
)
unfoldr
(
List
)
union
(
List
)
unionBy
(
List
)
unitType
(
AbstractCurry.Build
)
unknown
(
Prelude
)
unless
(
Prelude
)
unlines
(
Prelude
)
unsafePerformIO
(
Unsafe
)
unsetEnviron
(
System
)
until
(
Prelude
)
untypedAbstractCurryFileName
(
AbstractCurry.Files
)
unwords
(
Prelude
)
unzip
(
Prelude
)
unzip3
(
Prelude
)
updateFile
(
IOExts
)
updatePropertyFile
(
PropertyFile
)
updCConsDecl
(
AbstractCurry.Transform
)
updCConsDeclName
(
AbstractCurry.Transform
)
updCFieldDecl
(
AbstractCurry.Transform
)
updCFieldDeclName
(
AbstractCurry.Transform
)
updCFuncDecl
(
AbstractCurry.Transform
)
updCLocalDecl
(
AbstractCurry.Transform
)
updCOpDecl
(
AbstractCurry.Transform
)
updCOpName
(
AbstractCurry.Transform
)
updCPattern
(
AbstractCurry.Transform
)
updCProg
(
AbstractCurry.Transform
)
updCProgName
(
AbstractCurry.Transform
)
updCRhs
(
AbstractCurry.Transform
)
updCRule
(
AbstractCurry.Transform
)
updCStatement
(
AbstractCurry.Transform
)
updCTypeDecl
(
AbstractCurry.Transform
)
updCTypeDeclName
(
AbstractCurry.Transform
)
updQNamesInCConsDecl
(
AbstractCurry.Transform
)
updQNamesInCExpr
(
AbstractCurry.Transform
)
updQNamesInCFieldDecl
(
AbstractCurry.Transform
)
updQNamesInCFuncDecl
(
AbstractCurry.Transform
)
updQNamesInCLocalDecl
(
AbstractCurry.Transform
)
updQNamesInCPattern
(
AbstractCurry.Transform
)
updQNamesInCProg
(
AbstractCurry.Transform
)
updQNamesInCRhs
(
AbstractCurry.Transform
)
updQNamesInCRule
(
AbstractCurry.Transform
)
updQNamesInCStatement
(
AbstractCurry.Transform
)
updQNamesInCTypeDecl
(
AbstractCurry.Transform
)
updQNamesInCTypeExpr
(
AbstractCurry.Transform
)
updTConsApp
(
AbstractCurry.Transform
)
userError
(
Prelude
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
V
validDate
(
Time
)
varsOfExp
(
AbstractCurry.Select
)
varsOfFDecl
(
AbstractCurry.Select
)
varsOfLDecl
(
AbstractCurry.Select
)
varsOfPat
(
AbstractCurry.Select
)
varsOfRhs
(
AbstractCurry.Select
)
varsOfRule
(
AbstractCurry.Select
)
varsOfStat
(
AbstractCurry.Select
)
vcat
(
Pretty
)
version
(
AbstractCurry.Types
)
vsep
(
Pretty
)
vsepBlank
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
W
when
(
Prelude
)
white
(
Pretty
)
withDebugging
(
DSDCurryTransform
)
withEncapsulate
(
DSDCurryTransform
)
withSinglePostSpecs
(
DSDCurryTransform
)
words
(
Prelude
)
writeAbstractCurryFile
(
AbstractCurry.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
Y
Z
\
|
~
Y
yellow
(
Pretty
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
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
Y
Z
\
|
~
\
\\
(
List
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
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
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~
~
~>
(
AbstractCurry.Build
)
!
$
&
*
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
\
|
~