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
L
M
N
O
P
R
S
T
W
A
analysisName
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
B
baseAnalysisNames
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
C
combined2SimpleFuncAnalysis
(
Analysis.Types
)
combinedDependencyFuncAnalysis
(
Analysis.Types
)
combinedDependencyTypeAnalysis
(
Analysis.Types
)
combinedSimpleFuncAnalysis
(
Analysis.Types
)
combinedSimpleTypeAnalysis
(
Analysis.Types
)
combineProgInfo
(
Analysis.ProgInfo
)
createDirectoryR
(
Analysis.Files
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
D
daFunc
(
Analysis.Demandedness
)
daFuncRule
(
Analysis.Demandedness
)
debugMessage
(
Analysis.Logging
)
debugString
(
Analysis.Logging
)
deleteAllAnalysisFiles
(
Analysis.Files
)
demandAnalysis
(
Analysis.Demandedness
)
dependencyFuncAnalysis
(
Analysis.Types
)
dependencyTypeAnalysis
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
E
emptyProgInfo
(
Analysis.ProgInfo
)
equalProgInfo
(
Analysis.ProgInfo
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
F
findModuleSourceInLoadPath
(
Analysis.Files
)
flat2intName
(
Analysis.Files
)
flatCurryFileNewer
(
Analysis.Files
)
functionalAnalysis
(
Analysis.Deterministic
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
G
getAnalysisBaseFile
(
Analysis.Files
)
getAnalysisDirectory
(
Analysis.Files
)
getAnalysisPublicFile
(
Analysis.Files
)
getDebugLevel
(
Analysis.Logging
)
getFlatCurryFileTime
(
Analysis.Files
)
getImportModuleListFile
(
Analysis.Files
)
getImports
(
Analysis.Files
)
getInterfaceInfos
(
Analysis.Files
)
getSourceFileTime
(
Analysis.Files
)
groundAnalysis
(
Analysis.Groundness
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
H
hasRightLinearRules
(
Analysis.RightLinearity
)
hiOrdCons
(
Analysis.HigherOrder
)
hiOrdFunc
(
Analysis.HigherOrder
)
hiOrdType
(
Analysis.HigherOrder
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
I
indetAnalysis
(
Analysis.Indeterministic
)
isCombinedAnalysis
(
Analysis.Types
)
isFunctionAnalysis
(
Analysis.Types
)
isSimpleAnalysis
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
L
linearExpr
(
Analysis.RightLinearity
)
lists2ProgInfo
(
Analysis.ProgInfo
)
loadCompleteAnalysis
(
Analysis.Files
)
loadDefaultAnalysisValues
(
Analysis.Files
)
loadPublicAnalysis
(
Analysis.Files
)
lookupProgInfo
(
Analysis.ProgInfo
)
lub
(
Analysis.Demandedness
)
lubAType
(
Analysis.RequiredValues
)
lubAType
(
Analysis.RequiredValue
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
M
mapProgInfo
(
Analysis.ProgInfo
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
N
ndEffectAnalysis
(
Analysis.Groundness
)
nondetAnalysis
(
Analysis.Deterministic
)
nondetDepAllAnalysis
(
Analysis.Deterministic
)
nondetDepAnalysis
(
Analysis.Deterministic
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
O
overlapAnalysis
(
Analysis.Deterministic
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
P
patCompAnalysis
(
Analysis.TotallyDefined
)
prelude
(
Analysis.Demandedness
)
productivityAnalysis
(
Analysis.Termination
)
progInfo2Lists
(
Analysis.ProgInfo
)
progInfo2XML
(
Analysis.ProgInfo
)
publicListFromProgInfo
(
Analysis.ProgInfo
)
publicProgInfo
(
Analysis.ProgInfo
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
R
readAnalysisFiles
(
Analysis.ProgInfo
)
readAnalysisPublicFile
(
Analysis.ProgInfo
)
readNewestFlatCurry
(
Analysis.Files
)
readNewestFlatCurryInt
(
Analysis.Files
)
reqValueAnalysis
(
Analysis.RequiredValues
)
reqValueAnalysis
(
Analysis.RequiredValue
)
rlinAnalysis
(
Analysis.RightLinearity
)
rootCyclicAnalysis
(
Analysis.RootReplaced
)
rootReplAnalysis
(
Analysis.RootReplaced
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
S
sensibleType
(
Analysis.SensibleTypes
)
setDebugLevel
(
Analysis.Logging
)
showAFType
(
Analysis.RequiredValues
)
showAFType
(
Analysis.RequiredValue
)
showAType
(
Analysis.RequiredValues
)
showAType
(
Analysis.RequiredValue
)
showComplete
(
Analysis.TotallyDefined
)
showDemand
(
Analysis.Demandedness
)
showDet
(
Analysis.Deterministic
)
showFunctional
(
Analysis.Deterministic
)
showGround
(
Analysis.Groundness
)
showIndet
(
Analysis.Indeterministic
)
showNDEffect
(
Analysis.Groundness
)
showNonDetDeps
(
Analysis.Deterministic
)
showOrder
(
Analysis.HigherOrder
)
showOverlap
(
Analysis.Deterministic
)
showProductivity
(
Analysis.Termination
)
showProgInfo
(
Analysis.ProgInfo
)
showRightLinear
(
Analysis.RightLinearity
)
showRootCyclic
(
Analysis.RootReplaced
)
showRootRepl
(
Analysis.RootReplaced
)
showSensible
(
Analysis.SensibleTypes
)
showSibling
(
Analysis.TotallyDefined
)
showSolComplete
(
Analysis.SolutionCompleteness
)
showTermination
(
Analysis.Termination
)
showTotally
(
Analysis.TotallyDefined
)
showTypeNames
(
Analysis.TypeUsage
)
siblingCons
(
Analysis.TotallyDefined
)
simpleConstructorAnalysis
(
Analysis.Types
)
simpleFuncAnalysis
(
Analysis.Types
)
simpleTypeAnalysis
(
Analysis.Types
)
solcompAnalysis
(
Analysis.SolutionCompleteness
)
startValue
(
Analysis.Types
)
storeAnalysisResult
(
Analysis.Files
)
storeImportModuleList
(
Analysis.Files
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
T
terminationAnalysis
(
Analysis.Termination
)
totalAnalysis
(
Analysis.TotallyDefined
)
typesInValuesAnalysis
(
Analysis.TypeUsage
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W
W
writeAnalysisFiles
(
Analysis.ProgInfo
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
W