Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all constructors
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
A
A
(
Analysis.Groundness
)
AFType
(
Analysis.RequiredValue
)
AFType
(
Analysis.RequiredValues
)
Any
(
Analysis.RequiredValue
)
Any
(
Analysis.RequiredValues
)
AnyC
(
Analysis.RequiredValue
)
AnyC
(
Analysis.RequiredValues
)
ANote
(
Analysis.Types
)
AText
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
B
Bot
(
Analysis.Demandedness
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
C
CombinedDependencyFuncAnalysis
(
Analysis.Types
)
CombinedDependencyTypeAnalysis
(
Analysis.Types
)
CombinedSimpleFuncAnalysis
(
Analysis.Types
)
CombinedSimpleTypeAnalysis
(
Analysis.Types
)
Complete
(
Analysis.TotallyDefined
)
Cons
(
Analysis.RequiredValue
)
Cons
(
Analysis.RequiredValues
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
D
DCalls
(
Analysis.Termination
)
DependencyFuncAnalysis
(
Analysis.Types
)
DependencyModuleAnalysis
(
Analysis.Types
)
DependencyTypeAnalysis
(
Analysis.Types
)
Det
(
Analysis.Deterministic
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
E
Empty
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValues
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
F
FO
(
Analysis.HigherOrder
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
G
G
(
Analysis.Groundness
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
H
HO
(
Analysis.HigherOrder
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
I
InComplete
(
Analysis.TotallyDefined
)
InCompleteOr
(
Analysis.TotallyDefined
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
L
Looping
(
Analysis.Termination
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
M
MayResiduate
(
Analysis.Residuation
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
N
NDEffect
(
Analysis.Groundness
)
NDet
(
Analysis.Deterministic
)
NoInfo
(
Analysis.Termination
)
NoResiduateIf
(
Analysis.Residuation
)
NoResInfo
(
Analysis.Residuation
)
NotSensible
(
Analysis.SensibleTypes
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
P
P
(
Analysis.Groundness
)
PSensible
(
Analysis.SensibleTypes
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
S
Sensible
(
Analysis.SensibleTypes
)
SimpleConstructorAnalysis
(
Analysis.Types
)
SimpleFuncAnalysis
(
Analysis.Types
)
SimpleModuleAnalysis
(
Analysis.Types
)
SimpleTypeAnalysis
(
Analysis.Types
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T
T
Terminating
(
Analysis.Termination
)
Top
(
Analysis.Demandedness
)
A
B
C
D
E
F
G
H
I
L
M
N
P
S
T