Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
_
A
analysisName
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
_
B
baseAnalysisNames
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
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
U
W
_
D
daFunc
(
Analysis.Demandedness
)
daFuncRule
(
Analysis.Demandedness
)
debugMessage
(
Analysis.Logging
)
debugString
(
Analysis.Logging
)
deleteAllAnalysisFiles
(
Analysis.Files
)
demandAnalysis
(
Analysis.Demandedness
)
dependencyFuncAnalysis
(
Analysis.Types
)
dependencyModuleAnalysis
(
Analysis.Types
)
dependencyTypeAnalysis
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
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
U
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
U
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
U
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
U
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
U
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.RequiredValue
)
lubAType
(
Analysis.RequiredValues
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
_
M
mapProgInfo
(
Analysis.ProgInfo
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
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
U
W
_
O
overlapAnalysis
(
Analysis.Deterministic
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
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
U
W
_
R
readAnalysisFiles
(
Analysis.ProgInfo
)
readAnalysisPublicFile
(
Analysis.ProgInfo
)
readNewestFlatCurry
(
Analysis.Files
)
readNewestFlatCurryInt
(
Analysis.Files
)
reqValueAnalysis
(
Analysis.RequiredValue
)
reqValueAnalysis
(
Analysis.RequiredValues
)
residuationAnalysis
(
Analysis.Residuation
)
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
U
W
_
S
sensibleType
(
Analysis.SensibleTypes
)
setDebugLevel
(
Analysis.Logging
)
showAFType
(
Analysis.RequiredValue
)
showAFType
(
Analysis.RequiredValues
)
showAType
(
Analysis.RequiredValue
)
showAType
(
Analysis.RequiredValues
)
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
)
showResInfo
(
Analysis.Residuation
)
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
)
showUnsafe
(
Analysis.UnsafeModule
)
siblingCons
(
Analysis.TotallyDefined
)
simpleConstructorAnalysis
(
Analysis.Types
)
simpleFuncAnalysis
(
Analysis.Types
)
simpleModuleAnalysis
(
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
U
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
U
W
_
U
unsafeModuleAnalysis
(
Analysis.UnsafeModule
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
_
W
writeAnalysisFiles
(
Analysis.ProgInfo
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
_
_
_impl#/=#Prelude.Eq#Analysis.Demandedness.DemandDomain
(
Analysis.Demandedness
)
_impl#/=#Prelude.Eq#Analysis.Deterministic.Deterministic
(
Analysis.Deterministic
)
_impl#/=#Prelude.Eq#Analysis.Groundness.Ground
(
Analysis.Groundness
)
_impl#/=#Prelude.Eq#Analysis.Groundness.NDEffect
(
Analysis.Groundness
)
_impl#/=#Prelude.Eq#Analysis.HigherOrder.Order
(
Analysis.HigherOrder
)
_impl#/=#Prelude.Eq#Analysis.RequiredValue.AFType
(
Analysis.RequiredValue
)
_impl#/=#Prelude.Eq#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#/=#Prelude.Eq#Analysis.RequiredValues.AFType
(
Analysis.RequiredValues
)
_impl#/=#Prelude.Eq#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#/=#Prelude.Eq#Analysis.Residuation.ResiduationInfo
(
Analysis.Residuation
)
_impl#/=#Prelude.Eq#Analysis.SensibleTypes.Sensible
(
Analysis.SensibleTypes
)
_impl#/=#Prelude.Eq#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#/=#Prelude.Eq#Analysis.TotallyDefined.Completeness
(
Analysis.TotallyDefined
)
_impl#/=#Prelude.Eq#Analysis.Types.AOutFormat
(
Analysis.Types
)
_impl#<#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#<#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#<#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#<=#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#<=#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#<=#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#==#Prelude.Eq#Analysis.Demandedness.DemandDomain
(
Analysis.Demandedness
)
_impl#==#Prelude.Eq#Analysis.Deterministic.Deterministic
(
Analysis.Deterministic
)
_impl#==#Prelude.Eq#Analysis.Groundness.Ground
(
Analysis.Groundness
)
_impl#==#Prelude.Eq#Analysis.Groundness.NDEffect
(
Analysis.Groundness
)
_impl#==#Prelude.Eq#Analysis.HigherOrder.Order
(
Analysis.HigherOrder
)
_impl#==#Prelude.Eq#Analysis.RequiredValue.AFType
(
Analysis.RequiredValue
)
_impl#==#Prelude.Eq#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#==#Prelude.Eq#Analysis.RequiredValues.AFType
(
Analysis.RequiredValues
)
_impl#==#Prelude.Eq#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#==#Prelude.Eq#Analysis.Residuation.ResiduationInfo
(
Analysis.Residuation
)
_impl#==#Prelude.Eq#Analysis.SensibleTypes.Sensible
(
Analysis.SensibleTypes
)
_impl#==#Prelude.Eq#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#==#Prelude.Eq#Analysis.TotallyDefined.Completeness
(
Analysis.TotallyDefined
)
_impl#==#Prelude.Eq#Analysis.Types.AOutFormat
(
Analysis.Types
)
_impl#>#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#>#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#>#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#>=#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#>=#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#>=#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#compare#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#compare#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#compare#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#max#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#max#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#max#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#min#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_impl#min#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#min#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_impl#show#Prelude.Show#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#showList#Prelude.Show#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_impl#showsPrec#Prelude.Show#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_inst#Prelude.Eq#Analysis.Demandedness.DemandDomain
(
Analysis.Demandedness
)
_inst#Prelude.Eq#Analysis.Deterministic.Deterministic
(
Analysis.Deterministic
)
_inst#Prelude.Eq#Analysis.Groundness.Ground
(
Analysis.Groundness
)
_inst#Prelude.Eq#Analysis.Groundness.NDEffect
(
Analysis.Groundness
)
_inst#Prelude.Eq#Analysis.HigherOrder.Order
(
Analysis.HigherOrder
)
_inst#Prelude.Eq#Analysis.RequiredValue.AFType
(
Analysis.RequiredValue
)
_inst#Prelude.Eq#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_inst#Prelude.Eq#Analysis.RequiredValues.AFType
(
Analysis.RequiredValues
)
_inst#Prelude.Eq#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_inst#Prelude.Eq#Analysis.Residuation.ResiduationInfo
(
Analysis.Residuation
)
_inst#Prelude.Eq#Analysis.SensibleTypes.Sensible
(
Analysis.SensibleTypes
)
_inst#Prelude.Eq#Analysis.Termination.Productivity
(
Analysis.Termination
)
_inst#Prelude.Eq#Analysis.TotallyDefined.Completeness
(
Analysis.TotallyDefined
)
_inst#Prelude.Eq#Analysis.Types.AOutFormat
(
Analysis.Types
)
_inst#Prelude.Ord#Analysis.RequiredValue.AType
(
Analysis.RequiredValue
)
_inst#Prelude.Ord#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
_inst#Prelude.Ord#Analysis.Termination.Productivity
(
Analysis.Termination
)
_inst#Prelude.Show#Analysis.RequiredValues.AType
(
Analysis.RequiredValues
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
_