Package cass-analysis
All operations
All constructors
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Index to all constructors
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
A
A
(
Analysis.Groundness
)
AFType
(
Analysis.RequiredValues
)
AFType
(
Analysis.RequiredValue
)
AllData
(
Analysis.Logging
)
ANote
(
Analysis.Types
)
Any
(
Analysis.RequiredValues
)
Any
(
Analysis.RequiredValue
)
AnyC
(
Analysis.RequiredValues
)
AnyC
(
Analysis.RequiredValue
)
AText
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
B
Bot
(
Analysis.Demandedness
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
C
CombinedDependencyFuncAnalysis
(
Analysis.Types
)
CombinedDependencyTypeAnalysis
(
Analysis.Types
)
CombinedSimpleFuncAnalysis
(
Analysis.Types
)
CombinedSimpleTypeAnalysis
(
Analysis.Types
)
Communicate
(
Analysis.Logging
)
Complete
(
Analysis.TotallyDefined
)
Cons
(
Analysis.RequiredValues
)
Cons
(
Analysis.RequiredValue
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
D
DCalls
(
Analysis.Termination
)
DependencyFuncAnalysis
(
Analysis.Types
)
DependencyModuleAnalysis
(
Analysis.Types
)
DependencyTypeAnalysis
(
Analysis.Types
)
Det
(
Analysis.Deterministic
)
Det
(
Analysis.NondetOps
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
E
Empty
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValues
)
EmptyFunc
(
Analysis.RequiredValue
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
F
FO
(
Analysis.HigherOrder
)
FunD
(
Analysis.NondetOps
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
G
G
(
Analysis.Groundness
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
H
HO
(
Analysis.HigherOrder
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
I
InComplete
(
Analysis.TotallyDefined
)
InCompleteOr
(
Analysis.TotallyDefined
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
L
Looping
(
Analysis.Termination
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
M
MayResiduate
(
Analysis.Residuation
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
N
NDet
(
Analysis.Deterministic
)
NDEffect
(
Analysis.Groundness
)
NoInfo
(
Analysis.Termination
)
Nondet
(
Analysis.NondetOps
)
NoResiduateIf
(
Analysis.Residuation
)
NoResInfo
(
Analysis.Residuation
)
NotSensible
(
Analysis.SensibleTypes
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
P
P
(
Analysis.Groundness
)
PSensible
(
Analysis.SensibleTypes
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
Q
Quiet
(
Analysis.Logging
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
S
Sensible
(
Analysis.SensibleTypes
)
SimpleConstructorAnalysis
(
Analysis.Types
)
SimpleFuncAnalysis
(
Analysis.Types
)
SimpleModuleAnalysis
(
Analysis.Types
)
SimpleTypeAnalysis
(
Analysis.Types
)
Storage
(
Analysis.Logging
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
T
Terminating
(
Analysis.Termination
)
Timing
(
Analysis.Logging
)
Top
(
Analysis.Demandedness
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_
_
_Dict#TermDomain
(
Analysis.TermDomain
)
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
S
T
_