Package flatcurry-addtypes
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all operations
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
!
!!
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
$
$
(
Prelude
)
$!
(
Prelude
)
$!!
(
Prelude
)
$#
(
Prelude
)
$##
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
&
&&
(
Prelude
)
&
(
Prelude
)
&>
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
+
++
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
.
.
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
/
/==
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
<
<$>
(
Prelude
)
<=<
(
Control.Monad
)
<.>
(
System.FilePath
)
</>
(
System.FilePath
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
=
=<<
(
Prelude
)
=:=
(
Prelude
)
=:<=
(
Prelude
)
=:<<=
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
>
>=>
(
Control.Monad
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
?
?
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
A
annOfAExpr
(
FlatCurry.AddTypes
)
annProg2Prog
(
FlatCurry.AddTypes
)
annFunc2Func
(
FlatCurry.AddTypes
)
addTypesInProg
(
FlatCurry.AddTypes
)
addTypesInProgWithImports
(
FlatCurry.AddTypes
)
addTypesInFunc
(
FlatCurry.AddTypes
)
addTypesInBody
(
FlatCurry.AddTypes
)
adjust
(
Data.Map
)
allVarsInProg
(
FlatCurry.Goodies
)
argTypes
(
FlatCurry.Goodies
)
allVarsInFunc
(
FlatCurry.Goodies
)
allVarsInRule
(
FlatCurry.Goodies
)
allVars
(
FlatCurry.Goodies
)
ap
(
Prelude
)
asTypeOf
(
Prelude
)
and
(
Prelude
)
any
(
Prelude
)
all
(
Prelude
)
appendFile
(
Prelude
)
anyOf
(
Prelude
)
apply
(
Prelude
)
addExtension
(
System.FilePath
)
addTrailingPathSeparator
(
System.FilePath
)
addCurrySubdir
(
System.CurryPath
)
addDefinition
(
System.FrontendExec
)
addTarget
(
System.FrontendExec
)
addSeconds
(
Data.Time
)
addMinutes
(
Data.Time
)
addHours
(
Data.Time
)
addDays
(
Data.Time
)
addMonths
(
Data.Time
)
addYears
(
Data.Time
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
B
branchPattern
(
FlatCurry.Goodies
)
branchExpr
(
FlatCurry.Goodies
)
break
(
Prelude
)
baseVersion
(
Curry.Compiler.Distribution
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
C
cycle
(
Data.List
)
consName
(
FlatCurry.Goodies
)
consArity
(
FlatCurry.Goodies
)
consVisibility
(
FlatCurry.Goodies
)
consArgs
(
FlatCurry.Goodies
)
combType
(
FlatCurry.Goodies
)
combName
(
FlatCurry.Goodies
)
combArgs
(
FlatCurry.Goodies
)
caseType
(
FlatCurry.Goodies
)
caseExpr
(
FlatCurry.Goodies
)
caseBranches
(
FlatCurry.Goodies
)
catMaybes
(
Data.Maybe
)
chr
(
Prelude
)
const
(
Prelude
)
curry
(
Prelude
)
concat
(
Prelude
)
concatMap
(
Prelude
)
catch
(
Prelude
)
constrEq
(
Prelude
)
cond
(
Prelude
)
createDirectory
(
System.Directory
)
createDirectoryIfMissing
(
System.Directory
)
copyFile
(
System.Directory
)
combine
(
System.FilePath
)
currySubdir
(
System.CurryPath
)
curryModulesInDirectory
(
System.CurryPath
)
curryrcFileName
(
System.CurryPath
)
callFrontend
(
System.FrontendExec
)
callFrontendWithParams
(
System.FrontendExec
)
ctYear
(
Data.Time
)
ctMonth
(
Data.Time
)
ctDay
(
Data.Time
)
ctHour
(
Data.Time
)
ctMin
(
Data.Time
)
ctSec
(
Data.Time
)
ctTZ
(
Data.Time
)
clockTimeToInt
(
Data.Time
)
calendarTimeToString
(
Data.Time
)
compareCalendarTime
(
Data.Time
)
compareClockTime
(
Data.Time
)
curryCompiler
(
Curry.Compiler.Distribution
)
curryCompilerMajorVersion
(
Curry.Compiler.Distribution
)
curryCompilerMinorVersion
(
Curry.Compiler.Distribution
)
curryCompilerRevisionVersion
(
Curry.Compiler.Distribution
)
curryRuntime
(
Curry.Compiler.Distribution
)
curryRuntimeMajorVersion
(
Curry.Compiler.Distribution
)
curryRuntimeMinorVersion
(
Curry.Compiler.Distribution
)
connectToCommand
(
System.IOExts
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
D
delete
(
Data.List
)
deleteBy
(
Data.List
)
diagonal
(
Data.List
)
delete
(
Data.Map
)
deleteAll
(
Data.Map
)
difference
(
Data.Map
)
domain
(
FlatCurry.Goodies
)
drop
(
Prelude
)
dropWhile
(
Prelude
)
doSolve
(
Prelude
)
doesFileExist
(
System.Directory
)
doesDirectoryExist
(
System.Directory
)
dropExtension
(
System.FilePath
)
dropExtensions
(
System.FilePath
)
dropDrive
(
System.FilePath
)
dropFileName
(
System.FilePath
)
dropTrailingPathSeparator
(
System.FilePath
)
defaultParams
(
System.FrontendExec
)
daysOfMonth
(
Data.Time
)
digitToInt
(
Data.Char
)
dirsInPath
(
System.Path
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
E
elemIndex
(
Data.List
)
elemIndices
(
Data.List
)
evalStateT
(
Control.Monad.Trans.State
)
execStateT
(
Control.Monad.Trans.State
)
evalState
(
Control.Monad.Trans.State
)
execState
(
Control.Monad.Trans.State
)
empty
(
Data.Map
)
elems
(
Data.Map
)
expOfLetBind
(
FlatCurry.Types
)
expsOfLetBind
(
FlatCurry.Types
)
eqString
(
Prelude
)
even
(
Prelude
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
elem
(
Prelude
)
either
(
Prelude
)
error
(
Prelude
)
extSeparator
(
System.FilePath
)
equalFilePath
(
System.FilePath
)
execCmd
(
System.IOExts
)
evalCmd
(
System.IOExts
)
exclusiveIO
(
System.IOExts
)
exitWith
(
System.Process
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
F
fromAProg
(
FlatCurry.AddTypes
)
fromAFuncDecl
(
FlatCurry.AddTypes
)
fromAExpr
(
FlatCurry.AddTypes
)
find
(
Data.List
)
findIndex
(
Data.List
)
findIndices
(
Data.List
)
fromList
(
Data.Map
)
foldrWithKey
(
Data.Map
)
filterWithKey
(
Data.Map
)
findWithDefault
(
Data.Map
)
flatCurryFileName
(
FlatCurry.Files
)
flatCurryIntName
(
FlatCurry.Files
)
funcName
(
FlatCurry.Goodies
)
funcArity
(
FlatCurry.Goodies
)
funcVisibility
(
FlatCurry.Goodies
)
funcType
(
FlatCurry.Goodies
)
funcRule
(
FlatCurry.Goodies
)
funcArgs
(
FlatCurry.Goodies
)
funcBody
(
FlatCurry.Goodies
)
funcRHS
(
FlatCurry.Goodies
)
freeVars
(
FlatCurry.Goodies
)
freeExpr
(
FlatCurry.Goodies
)
fromJust
(
Data.Maybe
)
fromMaybe
(
Data.Maybe
)
fromIntegral
(
Prelude
)
flip
(
Prelude
)
fst
(
Prelude
)
foldl
(
Prelude
)
foldl1
(
Prelude
)
foldr
(
Prelude
)
foldr1
(
Prelude
)
filter
(
Prelude
)
failed
(
Prelude
)
filterM
(
Control.Monad
)
forever
(
Control.Monad
)
foldM
(
Control.Monad
)
foldM_
(
Control.Monad
)
forM
(
Control.Monad
)
forM_
(
Control.Monad
)
findFileWithSuffix
(
System.Directory
)
fileInPath
(
System.Path
)
fromLeft
(
Data.Either
)
fromRight
(
Data.Either
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
G
group
(
Data.List
)
groupBy
(
Data.List
)
get
(
Control.Monad.Trans.State
)
gets
(
Control.Monad.Trans.State
)
getFlatCurryFileInLoadPath
(
FlatCurry.Files
)
groundNormalForm
(
Prelude
)
getChar
(
Prelude
)
getLine
(
Prelude
)
getFileSize
(
System.Directory
)
getModificationTime
(
System.Directory
)
getCurrentDirectory
(
System.Directory
)
getDirectoryContents
(
System.Directory
)
getHomeDirectory
(
System.Directory
)
getTemporaryDirectory
(
System.Directory
)
getAbsolutePath
(
System.Directory
)
getFileWithSuffix
(
System.Directory
)
getSearchPath
(
System.FilePath
)
getLoadPathForModule
(
System.CurryPath
)
getPackageVersionOfModule
(
System.CurryPath
)
getPackageVersionOfDirectory
(
System.CurryPath
)
getFrontendCall
(
System.FrontendExec
)
getArgs
(
System.Environment
)
getEnv
(
System.Environment
)
getHostname
(
System.Environment
)
getProgName
(
System.Environment
)
getClockTime
(
Data.Time
)
getLocalTime
(
Data.Time
)
getFileInPath
(
System.Path
)
getPropertyFromFile
(
Data.PropertyFile
)
getPropertiesFromFile
(
Data.PropertyFile
)
getPID
(
System.Process
)
getContents
(
System.IO
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
H
head
(
Prelude
)
hasExtension
(
System.FilePath
)
hasDrive
(
System.FilePath
)
hasTrailingPathSeparator
(
System.FilePath
)
hClose
(
System.IO
)
hFlush
(
System.IO
)
hIsEOF
(
System.IO
)
hSeek
(
System.IO
)
hWaitForInput
(
System.IO
)
hWaitForInputs
(
System.IO
)
hReady
(
System.IO
)
hGetChar
(
System.IO
)
hGetLine
(
System.IO
)
hGetContents
(
System.IO
)
hPutChar
(
System.IO
)
hPutStr
(
System.IO
)
hPutStrLn
(
System.IO
)
hPrint
(
System.IO
)
hIsReadable
(
System.IO
)
hIsWritable
(
System.IO
)
hIsTerminalDevice
(
System.IO
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
I
intersect
(
Data.List
)
intersectBy
(
Data.List
)
intersperse
(
Data.List
)
intercalate
(
Data.List
)
inits
(
Data.List
)
isPrefixOf
(
Data.List
)
isSuffixOf
(
Data.List
)
isInfixOf
(
Data.List
)
insertBy
(
Data.List
)
init
(
Data.List
)
insert
(
Data.Map
)
insertWith
(
Data.Map
)
insertList
(
Data.Map
)
insertListWith
(
Data.Map
)
intersection
(
Data.Map
)
intersectionWith
(
Data.Map
)
isTypeData
(
FlatCurry.Goodies
)
isTypeSyn
(
FlatCurry.Goodies
)
isTypeNew
(
FlatCurry.Goodies
)
isTVar
(
FlatCurry.Goodies
)
isTCons
(
FlatCurry.Goodies
)
isFuncType
(
FlatCurry.Goodies
)
isForallType
(
FlatCurry.Goodies
)
isExternal
(
FlatCurry.Goodies
)
isRuleExternal
(
FlatCurry.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Goodies
)
isCombTypeConsCall
(
FlatCurry.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Goodies
)
isVar
(
FlatCurry.Goodies
)
isLit
(
FlatCurry.Goodies
)
isComb
(
FlatCurry.Goodies
)
isLet
(
FlatCurry.Goodies
)
isFree
(
FlatCurry.Goodies
)
isOr
(
FlatCurry.Goodies
)
isCase
(
FlatCurry.Goodies
)
isFuncCall
(
FlatCurry.Goodies
)
isFuncPartCall
(
FlatCurry.Goodies
)
isConsCall
(
FlatCurry.Goodies
)
isConsPartCall
(
FlatCurry.Goodies
)
isGround
(
FlatCurry.Goodies
)
isConsPattern
(
FlatCurry.Goodies
)
isJust
(
Data.Maybe
)
isNothing
(
Data.Maybe
)
isUpper
(
Prelude
)
isLower
(
Prelude
)
isAlpha
(
Prelude
)
isDigit
(
Prelude
)
isAlphaNum
(
Prelude
)
isBinDigit
(
Prelude
)
isOctDigit
(
Prelude
)
isHexDigit
(
Prelude
)
isSpace
(
Prelude
)
id
(
Prelude
)
ifThenElse
(
Prelude
)
iterate
(
Prelude
)
ioError
(
Prelude
)
isPathSeparator
(
System.FilePath
)
isSearchPathSeparator
(
System.FilePath
)
isExtSeparator
(
System.FilePath
)
isExtensionOf
(
System.FilePath
)
isDrive
(
System.FilePath
)
isValid
(
System.FilePath
)
isRelative
(
System.FilePath
)
isAbsolute
(
System.FilePath
)
isValidModuleName
(
System.CurryPath
)
inCurrySubdir
(
System.CurryPath
)
inCurrySubdirModule
(
System.CurryPath
)
isPosix
(
System.Environment
)
isWindows
(
System.Environment
)
isAscii
(
Data.Char
)
isLatin1
(
Data.Char
)
isAsciiLower
(
Data.Char
)
isAsciiUpper
(
Data.Char
)
isControl
(
Data.Char
)
intToDigit
(
Data.Char
)
installDir
(
Curry.Compiler.Distribution
)
isEOF
(
System.IO
)
isLeft
(
Data.Either
)
isRight
(
Data.Either
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
J
join
(
Control.Monad
)
joinDrive
(
System.FilePath
)
joinPath
(
System.FilePath
)
joinModuleIdentifiers
(
System.CurryPath
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
K
keys
(
Data.Map
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
L
last
(
Data.List
)
lookup
(
Data.Map
)
lookupMin
(
Data.Map
)
lookupMax
(
Data.Map
)
lookupFlatCurryFileInLoadPath
(
FlatCurry.Files
)
literal
(
FlatCurry.Goodies
)
letBinds
(
FlatCurry.Goodies
)
letBody
(
FlatCurry.Goodies
)
listToMaybe
(
Data.Maybe
)
lex
(
Prelude
)
liftM2
(
Prelude
)
lines
(
Prelude
)
length
(
Prelude
)
lookup
(
Prelude
)
liftM3
(
Control.Monad
)
lookupModuleSourceInLoadPath
(
System.CurryPath
)
lookupModuleSource
(
System.CurryPath
)
liftA
(
Control.Applicative
)
liftA3
(
Control.Applicative
)
lefts
(
Data.Either
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
M
mapAExpr
(
FlatCurry.AddTypes
)
maximum
(
Data.List
)
maximumBy
(
Data.List
)
minimum
(
Data.List
)
minimumBy
(
Data.List
)
mapAccumL
(
Data.List
)
mapAccumR
(
Data.List
)
modify
(
Control.Monad.Trans.State
)
modifyM
(
Control.Monad.Trans.State
)
mapStateT
(
Control.Monad.Trans.State
)
mapState
(
Control.Monad.Trans.State
)
mapWithKey
(
Data.Map
)
member
(
Data.Map
)
missingArgs
(
FlatCurry.Goodies
)
missingCombArgs
(
FlatCurry.Goodies
)
maybeToList
(
Data.Maybe
)
mapMaybe
(
Data.Maybe
)
mapM
(
Prelude
)
mapM_
(
Prelude
)
map
(
Prelude
)
maybe
(
Prelude
)
mapAndUnzipM
(
Control.Monad
)
makeRelative
(
System.FilePath
)
makeValid
(
System.FilePath
)
modNameToPath
(
System.CurryPath
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
N
nub
(
Data.List
)
nubBy
(
Data.List
)
null
(
Data.Map
)
newConsArg
(
FlatCurry.Goodies
)
newConsName
(
FlatCurry.Goodies
)
newConsVisibility
(
FlatCurry.Goodies
)
normalForm
(
Prelude
)
not
(
Prelude
)
null
(
Prelude
)
notElem
(
Prelude
)
normalise
(
System.FilePath
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
O
opName
(
FlatCurry.Goodies
)
opFixity
(
FlatCurry.Goodies
)
opPrecedence
(
FlatCurry.Goodies
)
orExps
(
FlatCurry.Goodies
)
odd
(
Prelude
)
ord
(
Prelude
)
otherwise
(
Prelude
)
or
(
Prelude
)
openFile
(
System.IO
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
P
permutations
(
Data.List
)
partition
(
Data.List
)
product
(
Data.List
)
put
(
Control.Monad.Trans.State
)
progName
(
FlatCurry.Goodies
)
progImports
(
FlatCurry.Goodies
)
progTypes
(
FlatCurry.Goodies
)
progFuncs
(
FlatCurry.Goodies
)
progOps
(
FlatCurry.Goodies
)
patCons
(
FlatCurry.Goodies
)
patArgs
(
FlatCurry.Goodies
)
patLiteral
(
FlatCurry.Goodies
)
patExpr
(
FlatCurry.Goodies
)
pre
(
FlatCurry.Types
)
putChar
(
Prelude
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
print
(
Prelude
)
PEVAL
(
Prelude
)
pathSeparator
(
System.FilePath
)
pathSeparators
(
System.FilePath
)
packageSpecFile
(
System.CurryPath
)
partitionEithers
(
Data.Either
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
R
replace
(
Data.List
)
runState
(
Control.Monad.Trans.State
)
readFlatCurry
(
FlatCurry.Files
)
readFlatCurryWithParseOptions
(
FlatCurry.Files
)
readFlatCurryFile
(
FlatCurry.Files
)
readFlatCurryInt
(
FlatCurry.Files
)
readFlatCurryIntWithParseOptions
(
FlatCurry.Files
)
rnmAllVarsInProg
(
FlatCurry.Goodies
)
rnmProg
(
FlatCurry.Goodies
)
range
(
FlatCurry.Goodies
)
resultType
(
FlatCurry.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Goodies
)
ruleArgs
(
FlatCurry.Goodies
)
ruleBody
(
FlatCurry.Goodies
)
ruleExtDecl
(
FlatCurry.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Goodies
)
rnmAllVars
(
FlatCurry.Goodies
)
reads
(
Prelude
)
readParen
(
Prelude
)
read
(
Prelude
)
realToFrac
(
Prelude
)
repeat
(
Prelude
)
replicate
(
Prelude
)
reverse
(
Prelude
)
readFile
(
Prelude
)
replicateM
(
Control.Monad
)
replicateM_
(
Control.Monad
)
removeDirectory
(
System.Directory
)
renameDirectory
(
System.Directory
)
removeFile
(
System.Directory
)
renameFile
(
System.Directory
)
replaceExtension
(
System.FilePath
)
replaceFileName
(
System.FilePath
)
replaceBaseName
(
System.FilePath
)
replaceDirectory
(
System.FilePath
)
runModuleAction
(
System.CurryPath
)
runModuleActionQuiet
(
System.CurryPath
)
rcParams
(
System.FrontendExec
)
readsUnqualifiedTerm
(
ReadShowTerm
)
readUnqualifiedTerm
(
ReadShowTerm
)
readCompleteFile
(
System.IOExts
)
readPropertyFile
(
Data.PropertyFile
)
rights
(
Data.Either
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
S
splitOn
(
Data.List
)
split
(
Data.List
)
sort
(
Data.List
)
sortBy
(
Data.List
)
sum
(
Data.List
)
scanl
(
Data.List
)
scanl1
(
Data.List
)
scanr
(
Data.List
)
scanr1
(
Data.List
)
state
(
Control.Monad.Trans.State
)
singleton
(
Data.Map
)
splitLookup
(
Data.Map
)
size
(
Data.Map
)
sortWithMap
(
Data.Map
)
showQNameInModule
(
FlatCurry.Types
)
showQName
(
FlatCurry.Types
)
shows
(
Prelude
)
showChar
(
Prelude
)
showString
(
Prelude
)
showParen
(
Prelude
)
showTuple
(
Prelude
)
sequence
(
Prelude
)
sequence_
(
Prelude
)
seq
(
Prelude
)
snd
(
Prelude
)
splitAt
(
Prelude
)
span
(
Prelude
)
success
(
Prelude
)
solve
(
Prelude
)
setCurrentDirectory
(
System.Directory
)
searchPathSeparator
(
System.FilePath
)
splitSearchPath
(
System.FilePath
)
splitExtension
(
System.FilePath
)
splitExtensions
(
System.FilePath
)
splitDrive
(
System.FilePath
)
splitFileName
(
System.FilePath
)
splitPath
(
System.FilePath
)
splitDirectories
(
System.FilePath
)
splitProgramName
(
System.CurryPath
)
splitValidProgramName
(
System.CurryPath
)
splitModuleFileName
(
System.CurryPath
)
splitModuleIdentifiers
(
System.CurryPath
)
stripCurrySuffix
(
System.CurryPath
)
sysLibPath
(
System.CurryPath
)
setCurryPath
(
System.CurryPath
)
setCurryPathIfNecessary
(
System.CurryPath
)
setQuiet
(
System.FrontendExec
)
setExtended
(
System.FrontendExec
)
setCpp
(
System.FrontendExec
)
setDefinitions
(
System.FrontendExec
)
setOverlapWarn
(
System.FrontendExec
)
setFullPath
(
System.FrontendExec
)
setHtmlDir
(
System.FrontendExec
)
setOutDir
(
System.FrontendExec
)
setLogfile
(
System.FrontendExec
)
setSpecials
(
System.FrontendExec
)
setFrontendPath
(
System.FrontendExec
)
showTerm
(
ReadShowTerm
)
sequenceA
(
Control.Applicative
)
sequenceA_
(
Control.Applicative
)
setEnv
(
System.Environment
)
system
(
System.Process
)
sleep
(
System.Process
)
stdin
(
System.IO
)
stdout
(
System.IO
)
stderr
(
System.IO
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
T
typeInfo
(
FlatCurry.AddTypes
)
tiTypedVars
(
FlatCurry.AddTypes
)
tiType
(
FlatCurry.AddTypes
)
transpose
(
Data.List
)
tails
(
Data.List
)
toList
(
Data.Map
)
toPreOrderList
(
Data.Map
)
trProg
(
FlatCurry.Goodies
)
trType
(
FlatCurry.Goodies
)
typeName
(
FlatCurry.Goodies
)
typeVisibility
(
FlatCurry.Goodies
)
typeParams
(
FlatCurry.Goodies
)
typeConsDecls
(
FlatCurry.Goodies
)
typeSyn
(
FlatCurry.Goodies
)
trCons
(
FlatCurry.Goodies
)
trNewCons
(
FlatCurry.Goodies
)
tVarIndex
(
FlatCurry.Goodies
)
tConsName
(
FlatCurry.Goodies
)
tConsArgs
(
FlatCurry.Goodies
)
trTypeExpr
(
FlatCurry.Goodies
)
trOp
(
FlatCurry.Goodies
)
trFunc
(
FlatCurry.Goodies
)
trRule
(
FlatCurry.Goodies
)
trCombType
(
FlatCurry.Goodies
)
trExpr
(
FlatCurry.Goodies
)
trBranch
(
FlatCurry.Goodies
)
trPattern
(
FlatCurry.Goodies
)
tail
(
Prelude
)
take
(
Prelude
)
takeWhile
(
Prelude
)
takeExtension
(
System.FilePath
)
takeExtensions
(
System.FilePath
)
takeDrive
(
System.FilePath
)
takeFileName
(
System.FilePath
)
takeBaseName
(
System.FilePath
)
takeDirectory
(
System.FilePath
)
toCalendarTime
(
Data.Time
)
toUTCTime
(
Data.Time
)
toClockTime
(
Data.Time
)
toDayString
(
Data.Time
)
toTimeString
(
Data.Time
)
toUpper
(
Data.Char
)
toLower
(
Data.Char
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
U
union
(
Data.List
)
unionBy
(
Data.List
)
unfoldr
(
Data.List
)
union
(
Data.Map
)
unionWith
(
Data.Map
)
updProg
(
FlatCurry.Goodies
)
updProgName
(
FlatCurry.Goodies
)
updProgImports
(
FlatCurry.Goodies
)
updProgTypes
(
FlatCurry.Goodies
)
updProgFuncs
(
FlatCurry.Goodies
)
updProgOps
(
FlatCurry.Goodies
)
updProgExps
(
FlatCurry.Goodies
)
updQNamesInProg
(
FlatCurry.Goodies
)
updType
(
FlatCurry.Goodies
)
updTypeName
(
FlatCurry.Goodies
)
updTypeVisibility
(
FlatCurry.Goodies
)
updTypeParams
(
FlatCurry.Goodies
)
updTypeConsDecls
(
FlatCurry.Goodies
)
updTypeNewConsDecl
(
FlatCurry.Goodies
)
updTypeSynonym
(
FlatCurry.Goodies
)
updQNamesInType
(
FlatCurry.Goodies
)
updCons
(
FlatCurry.Goodies
)
updConsName
(
FlatCurry.Goodies
)
updConsArity
(
FlatCurry.Goodies
)
updConsVisibility
(
FlatCurry.Goodies
)
updConsArgs
(
FlatCurry.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Goodies
)
updNewCons
(
FlatCurry.Goodies
)
updNewConsName
(
FlatCurry.Goodies
)
updNewConsVisibility
(
FlatCurry.Goodies
)
updNewConsArg
(
FlatCurry.Goodies
)
updQNamesInNewConsDecl
(
FlatCurry.Goodies
)
updTVars
(
FlatCurry.Goodies
)
updTCons
(
FlatCurry.Goodies
)
updFuncTypes
(
FlatCurry.Goodies
)
updForallTypes
(
FlatCurry.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Goodies
)
updOp
(
FlatCurry.Goodies
)
updOpName
(
FlatCurry.Goodies
)
updOpFixity
(
FlatCurry.Goodies
)
updOpPrecedence
(
FlatCurry.Goodies
)
updFunc
(
FlatCurry.Goodies
)
updFuncName
(
FlatCurry.Goodies
)
updFuncArity
(
FlatCurry.Goodies
)
updFuncVisibility
(
FlatCurry.Goodies
)
updFuncType
(
FlatCurry.Goodies
)
updFuncRule
(
FlatCurry.Goodies
)
updQNamesInFunc
(
FlatCurry.Goodies
)
updFuncArgs
(
FlatCurry.Goodies
)
updFuncBody
(
FlatCurry.Goodies
)
updRule
(
FlatCurry.Goodies
)
updRuleArgs
(
FlatCurry.Goodies
)
updRuleBody
(
FlatCurry.Goodies
)
updRuleExtDecl
(
FlatCurry.Goodies
)
updQNamesInRule
(
FlatCurry.Goodies
)
updVars
(
FlatCurry.Goodies
)
updLiterals
(
FlatCurry.Goodies
)
updCombs
(
FlatCurry.Goodies
)
updLets
(
FlatCurry.Goodies
)
updFrees
(
FlatCurry.Goodies
)
updOrs
(
FlatCurry.Goodies
)
updCases
(
FlatCurry.Goodies
)
updBranches
(
FlatCurry.Goodies
)
updTypeds
(
FlatCurry.Goodies
)
updQNames
(
FlatCurry.Goodies
)
updBranch
(
FlatCurry.Goodies
)
updBranchPattern
(
FlatCurry.Goodies
)
updBranchExpr
(
FlatCurry.Goodies
)
updPattern
(
FlatCurry.Goodies
)
updPatCons
(
FlatCurry.Goodies
)
updPatArgs
(
FlatCurry.Goodies
)
updPatLiteral
(
FlatCurry.Goodies
)
unlines
(
Prelude
)
unwords
(
Prelude
)
uncurry
(
Prelude
)
until
(
Prelude
)
unzip
(
Prelude
)
unzip3
(
Prelude
)
userError
(
Prelude
)
unknown
(
Prelude
)
unless
(
Control.Monad
)
unsetEnv
(
System.Environment
)
updateFile
(
System.IOExts
)
updatePropertyFile
(
Data.PropertyFile
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
V
varNr
(
FlatCurry.Goodies
)
varOfLetBind
(
FlatCurry.Types
)
varsOfLetBind
(
FlatCurry.Types
)
void
(
Control.Monad
)
validDate
(
Data.Time
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
W
withStateT
(
Control.Monad.Trans.State
)
withState
(
Control.Monad.Trans.State
)
writeFlatCurry
(
FlatCurry.Files
)
writeFlatCurryFile
(
FlatCurry.Files
)
writeFCY
(
FlatCurry.Files
)
words
(
Prelude
)
writeFile
(
Prelude
)
when
(
Control.Applicative
)
withFile
(
System.IO
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
Z
zip
(
Prelude
)
zip3
(
Prelude
)
zipWith
(
Prelude
)
zipWith3
(
Prelude
)
zipWithM
(
Control.Monad
)
zipWithM_
(
Control.Monad
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
\
\\
(
Data.List
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
^
^
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
|
||
(
Prelude
)
!
$
&
+
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|