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