Package cass-analysis
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all constructors
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
A
AppendMode
(
System.IO
)
AbsoluteSeek
(
System.IO
)
AText
(
Analysis.Types
)
ANote
(
Analysis.Types
)
AllData
(
Analysis.Logging
)
ACY
(
System.FrontendExec
)
AST
(
System.FrontendExec
)
AnyC
(
Analysis.RequiredValues
)
Any
(
Analysis.RequiredValues
)
AFType
(
Analysis.RequiredValues
)
A
(
Analysis.Groundness
)
Ambigious
(
Test.Prop.Types
)
Any
(
Analysis.RequiredValue
)
AnyC
(
Analysis.RequiredValue
)
AFType
(
Analysis.RequiredValue
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
B
Branch
(
FlatCurry.Types
)
Bin
(
Data.Map
)
Bot
(
Analysis.Demandedness
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
C
Cons
(
FlatCurry.Types
)
ConsCall
(
FlatCurry.Types
)
ConsPartCall
(
FlatCurry.Types
)
Comb
(
FlatCurry.Types
)
Case
(
FlatCurry.Types
)
Charc
(
FlatCurry.Types
)
CombinedSimpleFuncAnalysis
(
Analysis.Types
)
CombinedSimpleTypeAnalysis
(
Analysis.Types
)
CombinedDependencyFuncAnalysis
(
Analysis.Types
)
CombinedDependencyTypeAnalysis
(
Analysis.Types
)
Communicate
(
Analysis.Logging
)
Code
(
Debug.Profile
)
Choices
(
Debug.Profile
)
CalendarTime
(
Data.Time
)
CY
(
System.FrontendExec
)
COMMS
(
System.FrontendExec
)
Cons
(
Analysis.RequiredValues
)
Complete
(
Analysis.TotallyDefined
)
Cons
(
Analysis.RequiredValue
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
D
Det
(
Analysis.Deterministic
)
DependencyFuncAnalysis
(
Analysis.Types
)
DependencyTypeAnalysis
(
Analysis.Types
)
DependencyModuleAnalysis
(
Analysis.Types
)
DCalls
(
Analysis.Termination
)
Det
(
Analysis.NondetOps
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
E
External
(
FlatCurry.Types
)
EQ
(
Prelude
)
ElapsedTime
(
Debug.Profile
)
EmptyFunc
(
Analysis.RequiredValues
)
Empty
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValue
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
F
FuncType
(
FlatCurry.Types
)
ForallType
(
FlatCurry.Types
)
Func
(
FlatCurry.Types
)
Flex
(
FlatCurry.Types
)
FuncCall
(
FlatCurry.Types
)
FuncPartCall
(
FlatCurry.Types
)
Free
(
FlatCurry.Types
)
Floatc
(
FlatCurry.Types
)
False
(
Prelude
)
FailError
(
Prelude
)
FCY
(
System.FrontendExec
)
FINT
(
System.FrontendExec
)
FrontendParams
(
System.FrontendExec
)
Falsified
(
Test.Prop.Types
)
FO
(
Analysis.HigherOrder
)
FunD
(
Analysis.NondetOps
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
G
GT
(
Prelude
)
GarbageCollections
(
Debug.Profile
)
G
(
Analysis.Groundness
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
H
Heap
(
Debug.Profile
)
HTML
(
System.FrontendExec
)
HO
(
Analysis.HigherOrder
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
I
InfixOp
(
FlatCurry.Types
)
InfixlOp
(
FlatCurry.Types
)
InfixrOp
(
FlatCurry.Types
)
Intc
(
FlatCurry.Types
)
IOError
(
Prelude
)
InternalTrie
(
Data.Trie.Internal
)
InComplete
(
Analysis.TotallyDefined
)
InCompleteOr
(
Analysis.TotallyDefined
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
J
Just
(
Prelude
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
K
KStar
(
FlatCurry.Types
)
KArrow
(
FlatCurry.Types
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
L
Lit
(
FlatCurry.Types
)
Let
(
FlatCurry.Types
)
LPattern
(
FlatCurry.Types
)
LT
(
Prelude
)
Left
(
Prelude
)
Looping
(
Analysis.Termination
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
M
Memory
(
Debug.Profile
)
MayResiduate
(
Analysis.Residuation
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
N
NDet
(
Analysis.Deterministic
)
NewCons
(
FlatCurry.Types
)
Nothing
(
Prelude
)
NondetError
(
Prelude
)
NoResiduateIf
(
Analysis.Residuation
)
NoResInfo
(
Analysis.Residuation
)
NDEffect
(
Analysis.Groundness
)
NotSensible
(
Analysis.SensibleTypes
)
NoInfo
(
Analysis.Termination
)
Nondet
(
Analysis.NondetOps
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
O
Op
(
FlatCurry.Types
)
Or
(
FlatCurry.Types
)
Ok
(
Test.Prop.Types
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
P
Prog
(
FlatCurry.Types
)
Public
(
FlatCurry.Types
)
Private
(
FlatCurry.Types
)
Pattern
(
FlatCurry.Types
)
P
(
Analysis.Groundness
)
PSensible
(
Analysis.SensibleTypes
)
PropIO
(
Test.Prop.Types
)
Prop
(
Test.Prop.Types
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Q
Quiet
(
Analysis.Logging
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
R
Rule
(
FlatCurry.Types
)
Rigid
(
FlatCurry.Types
)
RWParameters
(
RW.Base
)
RWType
(
RW.Base
)
ReadMode
(
System.IO
)
RelativeSeek
(
System.IO
)
Right
(
Prelude
)
RunTime
(
Debug.Profile
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
S
SeekFromEnd
(
System.IO
)
SimpleFuncAnalysis
(
Analysis.Types
)
SimpleTypeAnalysis
(
Analysis.Types
)
SimpleConstructorAnalysis
(
Analysis.Types
)
SimpleModuleAnalysis
(
Analysis.Types
)
Storage
(
Analysis.Logging
)
Stack
(
Debug.Profile
)
SAST
(
System.FrontendExec
)
Sensible
(
Analysis.SensibleTypes
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
T
Type
(
FlatCurry.Types
)
TypeSyn
(
FlatCurry.Types
)
TypeNew
(
FlatCurry.Types
)
TVar
(
FlatCurry.Types
)
TCons
(
FlatCurry.Types
)
Typed
(
FlatCurry.Types
)
True
(
Prelude
)
Timing
(
Analysis.Logging
)
Tip
(
Data.Map
)
TFCY
(
System.FrontendExec
)
TOKS
(
System.FrontendExec
)
TAFCY
(
System.FrontendExec
)
Test
(
Test.Prop.Types
)
Terminating
(
Analysis.Termination
)
Top
(
Analysis.Demandedness
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
U
UserError
(
Prelude
)
UACY
(
System.FrontendExec
)
Undef
(
Test.Prop.Types
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
V
Var
(
FlatCurry.Types
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
W
WriteMode
(
System.IO
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W