Package cass-analysis
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
\
^
|
~
#
#
(
Test.Prop
)
#<
(
Test.Prop
)
#>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
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
\
^
|
~
-
-=-
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
<~>
(
Test.Prop
)
<~
(
Test.Prop
)
<~~>
(
Test.Prop
)
<=>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
==>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
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
allVarsInProg
(
FlatCurry.Goodies
)
argTypes
(
FlatCurry.Goodies
)
allVarsInFunc
(
FlatCurry.Goodies
)
allVarsInRule
(
FlatCurry.Goodies
)
allVars
(
FlatCurry.Goodies
)
analysisName
(
Analysis.Types
)
ap
(
Prelude
)
asTypeOf
(
Prelude
)
and
(
Prelude
)
any
(
Prelude
)
all
(
Prelude
)
appendFile
(
Prelude
)
anyOf
(
Prelude
)
apply
(
Prelude
)
adjust
(
Data.Map
)
addSeconds
(
Data.Time
)
addMinutes
(
Data.Time
)
addHours
(
Data.Time
)
addDays
(
Data.Time
)
addMonths
(
Data.Time
)
addYears
(
Data.Time
)
addExtension
(
System.FilePath
)
addTrailingPathSeparator
(
System.FilePath
)
addCurrySubdir
(
System.CurryPath
)
addDefinition
(
System.FrontendExec
)
addTarget
(
System.FrontendExec
)
always
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
baseAnalysisNames
(
Analysis.Types
)
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
)
combinedSimpleFuncAnalysis
(
Analysis.Types
)
combined2SimpleFuncAnalysis
(
Analysis.Types
)
combinedSimpleTypeAnalysis
(
Analysis.Types
)
combinedDependencyFuncAnalysis
(
Analysis.Types
)
combinedDependencyTypeAnalysis
(
Analysis.Types
)
catMaybes
(
Data.Maybe
)
chr
(
Prelude
)
const
(
Prelude
)
curry
(
Prelude
)
concat
(
Prelude
)
concatMap
(
Prelude
)
catch
(
Prelude
)
constrEq
(
Prelude
)
cond
(
Prelude
)
containsKey
(
Data.Trie
)
combineProgInfo
(
Analysis.ProgInfo
)
createDirectoryR
(
Analysis.Files
)
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
)
createDirectory
(
System.Directory
)
createDirectoryIfMissing
(
System.Directory
)
copyFile
(
System.Directory
)
combine
(
System.FilePath
)
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
)
currySubdir
(
System.CurryPath
)
curryModulesInDirectory
(
System.CurryPath
)
curryrcFileName
(
System.CurryPath
)
callFrontend
(
System.FrontendExec
)
callFrontendWithParams
(
System.FrontendExec
)
connectToCommand
(
System.IOExts
)
classify
(
Test.Prop
)
collect
(
Test.Prop
)
collectAs
(
Test.Prop
)
compareAnyTerm
(
System.IO.Unsafe
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
D
digitToInt
(
Data.Char
)
delete
(
Data.List
)
deleteBy
(
Data.List
)
diagonal
(
Data.List
)
domain
(
FlatCurry.Goodies
)
defaultParams
(
RW.Base
)
dependencyFuncAnalysis
(
Analysis.Types
)
dependencyTypeAnalysis
(
Analysis.Types
)
dependencyModuleAnalysis
(
Analysis.Types
)
drop
(
Prelude
)
dropWhile
(
Prelude
)
doSolve
(
Prelude
)
delete
(
Data.Trie
)
debugMessage
(
Analysis.Logging
)
debugString
(
Analysis.Logging
)
deleteAllAnalysisFiles
(
Analysis.Files
)
delete'
(
Data.Trie.Internal
)
delete
(
Data.Map
)
deleteAll
(
Data.Map
)
difference
(
Data.Map
)
daysOfMonth
(
Data.Time
)
doesFileExist
(
System.Directory
)
doesDirectoryExist
(
System.Directory
)
dropExtension
(
System.FilePath
)
dropExtensions
(
System.FilePath
)
dropDrive
(
System.FilePath
)
dropFileName
(
System.FilePath
)
dropTrailingPathSeparator
(
System.FilePath
)
defaultParams
(
System.FrontendExec
)
dirsInPath
(
System.Path
)
deterministic
(
Test.Prop
)
delete
(
Data.Set
)
deleteAll
(
Data.Set
)
difference
(
Data.Set
)
demandAnalysis
(
Analysis.Demandedness
)
daFunc
(
Analysis.Demandedness
)
daFuncRule
(
Analysis.Demandedness
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
eqString
(
Prelude
)
even
(
Prelude
)
ensureNotFree
(
Prelude
)
ensureSpine
(
Prelude
)
elem
(
Prelude
)
either
(
Prelude
)
error
(
Prelude
)
empty
(
Data.Trie
)
emptyProgInfo
(
Analysis.ProgInfo
)
equalProgInfo
(
Analysis.ProgInfo
)
empty'
(
Data.Trie.Internal
)
empty
(
Data.Map
)
elems
(
Data.Map
)
extSeparator
(
System.FilePath
)
equalFilePath
(
System.FilePath
)
execCmd
(
System.IOExts
)
evalCmd
(
System.IOExts
)
exclusiveIO
(
System.IOExts
)
exitWith
(
System.Process
)
eventually
(
Test.Prop
)
empty
(
Data.Set
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
F
functionalAnalysis
(
Analysis.Deterministic
)
find
(
Data.List
)
findIndex
(
Data.List
)
findIndices
(
Data.List
)
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
)
fromList
(
Data.Trie
)
fromLeft
(
Data.Either
)
fromRight
(
Data.Either
)
findModuleSourceInLoadPath
(
Analysis.Files
)
flatCurryFileNewer
(
Analysis.Files
)
flat2intName
(
Analysis.Files
)
filterM
(
Control.Monad
)
forever
(
Control.Monad
)
foldM
(
Control.Monad
)
foldM_
(
Control.Monad
)
forM
(
Control.Monad
)
forM_
(
Control.Monad
)
fromList
(
Data.Map
)
foldrWithKey
(
Data.Map
)
filterWithKey
(
Data.Map
)
findWithDefault
(
Data.Map
)
findFileWithSuffix
(
System.Directory
)
flatCurryFileName
(
FlatCurry.Files
)
flatCurryIntName
(
FlatCurry.Files
)
fileInPath
(
System.Path
)
failing
(
Test.Prop
)
for
(
Test.Prop
)
forAll
(
Test.Prop
)
fromList
(
Data.Set
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
getContents
(
System.IO
)
groundNormalForm
(
Prelude
)
getChar
(
Prelude
)
getLine
(
Prelude
)
getAnalysisBaseFile
(
Analysis.Files
)
getAnalysisPublicFile
(
Analysis.Files
)
getAnalysisPrivateFile
(
Analysis.Files
)
getAnalysisDirectory
(
Analysis.Files
)
getInterfaceInfos
(
Analysis.Files
)
getImportModuleListFile
(
Analysis.Files
)
getImports
(
Analysis.Files
)
getSourceFileTime
(
Analysis.Files
)
getFlatCurryFileTime
(
Analysis.Files
)
getProcessInfos
(
Debug.Profile
)
garbageCollectorOff
(
Debug.Profile
)
garbageCollectorOn
(
Debug.Profile
)
garbageCollect
(
Debug.Profile
)
getTimings
(
Debug.Profile
)
getTimingsNF
(
Debug.Profile
)
getElapsedTimeNF
(
Debug.Profile
)
getClockTime
(
Data.Time
)
getLocalTime
(
Data.Time
)
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
)
getFlatCurryFileInLoadPath
(
FlatCurry.Files
)
getLoadPathForModule
(
System.CurryPath
)
getPackageVersionOfModule
(
System.CurryPath
)
getPackageVersionOfDirectory
(
System.CurryPath
)
getArgs
(
System.Environment
)
getEnv
(
System.Environment
)
getHostname
(
System.Environment
)
getProgName
(
System.Environment
)
getFrontendCall
(
System.FrontendExec
)
getFileInPath
(
System.Path
)
getPropertyFromFile
(
Data.PropertyFile
)
getPropertiesFromFile
(
Data.PropertyFile
)
getPID
(
System.Process
)
groundAnalysis
(
Analysis.Groundness
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
H
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
)
head
(
Prelude
)
hasExtension
(
System.FilePath
)
hasDrive
(
System.FilePath
)
hasTrailingPathSeparator
(
System.FilePath
)
hiOrdType
(
Analysis.HigherOrder
)
hiOrdCons
(
Analysis.HigherOrder
)
hiOrdFunc
(
Analysis.HigherOrder
)
hasRightLinearRules
(
Analysis.RightLinearity
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
I
isNondetDefined
(
Analysis.Deterministic
)
isAscii
(
Data.Char
)
isLatin1
(
Data.Char
)
isAsciiLower
(
Data.Char
)
isAsciiUpper
(
Data.Char
)
isControl
(
Data.Char
)
intToDigit
(
Data.Char
)
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
)
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
)
isEOF
(
System.IO
)
isSimpleAnalysis
(
Analysis.Types
)
isCombinedAnalysis
(
Analysis.Types
)
isFunctionAnalysis
(
Analysis.Types
)
isTypeAnalysis
(
Analysis.Types
)
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
)
insert
(
Data.Trie
)
isLeft
(
Data.Either
)
isRight
(
Data.Either
)
insert
(
Data.Map
)
insertWith
(
Data.Map
)
insertList
(
Data.Map
)
insertListWith
(
Data.Map
)
intersection
(
Data.Map
)
intersectionWith
(
Data.Map
)
isPathSeparator
(
System.FilePath
)
isSearchPathSeparator
(
System.FilePath
)
isExtSeparator
(
System.FilePath
)
isExtensionOf
(
System.FilePath
)
isDrive
(
System.FilePath
)
isValid
(
System.FilePath
)
isRelative
(
System.FilePath
)
isAbsolute
(
System.FilePath
)
installDir
(
Curry.Compiler.Distribution
)
isValidModuleName
(
System.CurryPath
)
inCurrySubdir
(
System.CurryPath
)
inCurrySubdirModule
(
System.CurryPath
)
isPosix
(
System.Environment
)
isWindows
(
System.Environment
)
indetAnalysis
(
Analysis.Indeterministic
)
is
(
Test.Prop
)
isAlways
(
Test.Prop
)
isEventually
(
Test.Prop
)
insert
(
Data.Set
)
isVar
(
System.IO.Unsafe
)
identicalVar
(
System.IO.Unsafe
)
isGround
(
System.IO.Unsafe
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
literal
(
FlatCurry.Goodies
)
letBinds
(
FlatCurry.Goodies
)
letBody
(
FlatCurry.Goodies
)
listToMaybe
(
Data.Maybe
)
lex
(
Prelude
)
liftM2
(
Prelude
)
lines
(
Prelude
)
length
(
Prelude
)
lookup
(
Prelude
)
lookup
(
Data.Trie
)
lefts
(
Data.Either
)
lookupProgInfo
(
Analysis.ProgInfo
)
lists2ProgInfo
(
Analysis.ProgInfo
)
loadDefaultAnalysisValues
(
Analysis.Files
)
loadCompleteAnalysis
(
Analysis.Files
)
loadPublicAnalysis
(
Analysis.Files
)
lookup'
(
Data.Trie.Internal
)
liftM3
(
Control.Monad
)
lookup
(
Data.Map
)
lookupMin
(
Data.Map
)
lookupMax
(
Data.Map
)
lookupFlatCurryFileInLoadPath
(
FlatCurry.Files
)
lookupModuleSourceInLoadPath
(
System.CurryPath
)
lookupModuleSource
(
System.CurryPath
)
liftA
(
Control.Applicative
)
liftA3
(
Control.Applicative
)
lubAType
(
Analysis.RequiredValues
)
label
(
Test.Prop
)
litAsCons
(
Analysis.TermDomain
)
lubAType
(
Analysis.RequiredValue
)
linearExpr
(
Analysis.RightLinearity
)
lub
(
Analysis.Demandedness
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
M
maximum
(
Data.List
)
maximumBy
(
Data.List
)
minimum
(
Data.List
)
minimumBy
(
Data.List
)
mapAccumL
(
Data.List
)
mapAccumR
(
Data.List
)
missingArgs
(
FlatCurry.Goodies
)
missingCombArgs
(
FlatCurry.Goodies
)
monoRWType
(
RW.Base
)
maybeToList
(
Data.Maybe
)
mapMaybe
(
Data.Maybe
)
mapM
(
Prelude
)
mapM_
(
Prelude
)
map
(
Prelude
)
maybe
(
Prelude
)
mapProgInfo
(
Analysis.ProgInfo
)
mapAndUnzipM
(
Control.Monad
)
mapWithKey
(
Data.Map
)
member
(
Data.Map
)
makeRelative
(
System.FilePath
)
makeValid
(
System.FilePath
)
modNameToPath
(
System.CurryPath
)
member
(
Data.Set
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
N
nondetAnalysis
(
Analysis.Deterministic
)
nondetDepAnalysis
(
Analysis.Deterministic
)
nondetDepAllAnalysis
(
Analysis.Deterministic
)
nub
(
Data.List
)
nubBy
(
Data.List
)
newConsArg
(
FlatCurry.Goodies
)
newConsName
(
FlatCurry.Goodies
)
newConsVisibility
(
FlatCurry.Goodies
)
normalForm
(
Prelude
)
not
(
Prelude
)
null
(
Prelude
)
notElem
(
Prelude
)
null
(
Data.Trie
)
null'
(
Data.Trie.Internal
)
null
(
Data.Map
)
normalise
(
System.FilePath
)
ndEffectAnalysis
(
Analysis.Groundness
)
null
(
Data.Set
)
nondetOperations
(
Analysis.NondetOps
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
O
overlapAnalysis
(
Analysis.Deterministic
)
opName
(
FlatCurry.Goodies
)
opFixity
(
FlatCurry.Goodies
)
opPrecedence
(
FlatCurry.Goodies
)
orExps
(
FlatCurry.Goodies
)
openFile
(
System.IO
)
odd
(
Prelude
)
ord
(
Prelude
)
otherwise
(
Prelude
)
or
(
Prelude
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
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
)
putChar
(
Prelude
)
putStr
(
Prelude
)
putStrLn
(
Prelude
)
print
(
Prelude
)
PEVAL
(
Prelude
)
partitionEithers
(
Data.Either
)
publicMap2ProgInfo
(
Analysis.ProgInfo
)
publicListFromProgInfo
(
Analysis.ProgInfo
)
progInfo2Lists
(
Analysis.ProgInfo
)
publicProgInfo
(
Analysis.ProgInfo
)
printMemInfo
(
Debug.Profile
)
profileTime
(
Debug.Profile
)
profileTimeNF
(
Debug.Profile
)
profileSpace
(
Debug.Profile
)
profileSpaceNF
(
Debug.Profile
)
pathSeparator
(
System.FilePath
)
pathSeparators
(
System.FilePath
)
packageSpecFile
(
System.CurryPath
)
patCompAnalysis
(
Analysis.TotallyDefined
)
productivityAnalysis
(
Analysis.Termination
)
prelude
(
Analysis.Demandedness
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
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
)
readData
(
RW.Base
)
readDataFile
(
RW.Base
)
reads
(
Prelude
)
readParen
(
Prelude
)
read
(
Prelude
)
realToFrac
(
Prelude
)
repeat
(
Prelude
)
replicate
(
Prelude
)
reverse
(
Prelude
)
readFile
(
Prelude
)
rights
(
Data.Either
)
readAnalysisFiles
(
Analysis.ProgInfo
)
readAnalysisPublicFile
(
Analysis.ProgInfo
)
readAnalysisPrivateFile
(
Analysis.ProgInfo
)
readAnalysisFile
(
Analysis.ProgInfo
)
readNewestFlatCurry
(
Analysis.Files
)
readNewestFlatCurryInt
(
Analysis.Files
)
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
)
readFlatCurry
(
FlatCurry.Files
)
readFlatCurryWithParseOptions
(
FlatCurry.Files
)
readFlatCurryFile
(
FlatCurry.Files
)
readFlatCurryInt
(
FlatCurry.Files
)
readFlatCurryIntWithParseOptions
(
FlatCurry.Files
)
runModuleAction
(
System.CurryPath
)
runModuleActionQuiet
(
System.CurryPath
)
rcParams
(
System.FrontendExec
)
readsUnqualifiedTerm
(
ReadShowTerm
)
readUnqualifiedTerm
(
ReadShowTerm
)
readCompleteFile
(
System.IOExts
)
readPropertyFile
(
Data.PropertyFile
)
reqValueAnalysis
(
Analysis.RequiredValues
)
residuationAnalysis
(
Analysis.Residuation
)
resultValueAnalysisTop
(
Analysis.Values
)
resultValueAnalysis2
(
Analysis.Values
)
resultValueAnalysis5
(
Analysis.Values
)
returns
(
Test.Prop
)
reqValueAnalysis
(
Analysis.RequiredValue
)
rlinAnalysis
(
Analysis.RightLinearity
)
rootReplAnalysis
(
Analysis.RootReplaced
)
rootCyclicAnalysis
(
Analysis.RootReplaced
)
readsAnyUnqualifiedTerm
(
System.IO.Unsafe
)
readAnyUnqualifiedTerm
(
System.IO.Unsafe
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
S
showOverlap
(
Analysis.Deterministic
)
showFunctional
(
Analysis.Deterministic
)
showDet
(
Analysis.Deterministic
)
showNonDetDeps
(
Analysis.Deterministic
)
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
)
showQNameInModule
(
FlatCurry.Types
)
showQName
(
FlatCurry.Types
)
showData
(
RW.Base
)
showDataP
(
RW.Base
)
stdin
(
System.IO
)
stdout
(
System.IO
)
stderr
(
System.IO
)
simpleFuncAnalysis
(
Analysis.Types
)
simpleTypeAnalysis
(
Analysis.Types
)
simpleConstructorAnalysis
(
Analysis.Types
)
simpleModuleAnalysis
(
Analysis.Types
)
startValue
(
Analysis.Types
)
showString
(
Text.Show
)
showChar
(
Text.Show
)
showParen
(
Text.Show
)
shows
(
Text.Show
)
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
)
size
(
Data.Trie
)
singleton
(
Data.Trie
)
showProgInfo
(
Analysis.ProgInfo
)
storeImportModuleList
(
Analysis.Files
)
storeAnalysisResult
(
Analysis.Files
)
singleton'
(
Data.Trie.Internal
)
second
(
Data.Trie.Internal
)
showMemInfo
(
Debug.Profile
)
singleton
(
Data.Map
)
splitLookup
(
Data.Map
)
size
(
Data.Map
)
sortWithMap
(
Data.Map
)
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
)
sequenceA
(
Control.Applicative
)
sequenceA_
(
Control.Applicative
)
setEnv
(
System.Environment
)
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
)
system
(
System.Process
)
sleep
(
System.Process
)
showAType
(
Analysis.RequiredValues
)
showAFType
(
Analysis.RequiredValues
)
showSibling
(
Analysis.TotallyDefined
)
siblingCons
(
Analysis.TotallyDefined
)
showSiblingAndDecl
(
Analysis.TotallyDefined
)
siblingConsAndDecl
(
Analysis.TotallyDefined
)
showComplete
(
Analysis.TotallyDefined
)
showTotally
(
Analysis.TotallyDefined
)
showTotalFunc
(
Analysis.TotallyDefined
)
showResInfo
(
Analysis.Residuation
)
showGround
(
Analysis.Groundness
)
showNDEffect
(
Analysis.Groundness
)
showIndet
(
Analysis.Indeterministic
)
showSensible
(
Analysis.SensibleTypes
)
sensibleType
(
Analysis.SensibleTypes
)
showValue
(
Analysis.Values
)
sameReturns
(
Test.Prop
)
solutionOf
(
Test.Prop
)
successful
(
Test.Prop
)
showOrder
(
Analysis.HigherOrder
)
solcompAnalysis
(
Analysis.SolutionCompleteness
)
showSolComplete
(
Analysis.SolutionCompleteness
)
showAType
(
Analysis.RequiredValue
)
showAFType
(
Analysis.RequiredValue
)
showTypeNames
(
Analysis.TypeUsage
)
showRightLinear
(
Analysis.RightLinearity
)
showTermination
(
Analysis.Termination
)
showProductivity
(
Analysis.Termination
)
scc
(
Data.SCC
)
showRootRepl
(
Analysis.RootReplaced
)
showRootCyclic
(
Analysis.RootReplaced
)
singleton
(
Data.Set
)
size
(
Data.Set
)
showNondet
(
Analysis.NondetOps
)
spawnConstraint
(
System.IO.Unsafe
)
showAnyTerm
(
System.IO.Unsafe
)
showAnyExpression
(
System.IO.Unsafe
)
showUnsafe
(
Analysis.UnsafeModule
)
showDemand
(
Analysis.Demandedness
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
T
toUpper
(
Data.Char
)
toLower
(
Data.Char
)
transpose
(
Data.List
)
tails
(
Data.List
)
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
)
toList
(
Data.Trie
)
toList'
(
Data.Trie.Internal
)
toList
(
Data.Map
)
toPreOrderList
(
Data.Map
)
toCalendarTime
(
Data.Time
)
toUTCTime
(
Data.Time
)
toClockTime
(
Data.Time
)
toDayString
(
Data.Time
)
toTimeString
(
Data.Time
)
takeExtension
(
System.FilePath
)
takeExtensions
(
System.FilePath
)
takeDrive
(
System.FilePath
)
takeFileName
(
System.FilePath
)
takeBaseName
(
System.FilePath
)
takeDirectory
(
System.FilePath
)
totalAnalysis
(
Analysis.TotallyDefined
)
totalFuncAnalysis
(
Analysis.TotallyDefined
)
toError
(
Test.Prop
)
toIOError
(
Test.Prop
)
trivial
(
Test.Prop
)
typesInValuesAnalysis
(
Analysis.TypeUsage
)
terminationAnalysis
(
Analysis.Termination
)
toList
(
Data.Set
)
trace
(
System.IO.Unsafe
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
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
)
update
(
Data.Trie
)
update'
(
Data.Trie.Internal
)
unless
(
Control.Monad
)
union
(
Data.Map
)
unionWith
(
Data.Map
)
unsetEnv
(
System.Environment
)
updateFile
(
System.IOExts
)
updatePropertyFile
(
Data.PropertyFile
)
uniquely
(
Test.Prop
)
union
(
Data.Set
)
unsafePerformIO
(
System.IO.Unsafe
)
unsafeModuleAnalysis
(
Analysis.UnsafeModule
)
!
#
$
&
+
-
.
/
<
=
>
?
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
)
void
(
Control.Monad
)
validDate
(
Data.Time
)
valuesOf
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~
W
writeDataFile
(
RW.Base
)
writeDataFileP
(
RW.Base
)
words
(
Prelude
)
writeFile
(
Prelude
)
writeAnalysisFiles
(
Analysis.ProgInfo
)
writeFlatCurry
(
FlatCurry.Files
)
writeFlatCurryFile
(
FlatCurry.Files
)
writeFCY
(
FlatCurry.Files
)
when
(
Control.Applicative
)
!
#
$
&
+
-
.
/
<
=
>
?
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
\
^
|
~
~
~>
(
Test.Prop
)
!
#
$
&
+
-
.
/
<
=
>
?
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
\
^
|
~