Package cass
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
X
Y
A
AppendMode
(
System.IO
)
AbsoluteSeek
(
System.IO
)
AllData
(
Analysis.Logging
)
Align
(
Text.PrettyImpl
)
AText
(
Analysis.Types
)
ANote
(
Analysis.Types
)
A
(
Analysis.Groundness
)
Any
(
Analysis.RequiredValue
)
AnyC
(
Analysis.RequiredValue
)
AFType
(
Analysis.RequiredValue
)
AnyC
(
Analysis.RequiredValues
)
Any
(
Analysis.RequiredValues
)
AFType
(
Analysis.RequiredValues
)
ACY
(
System.FrontendExec
)
AST
(
System.FrontendExec
)
Ambigious
(
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
X
Y
B
Branch
(
FlatCurry.Types
)
Bin
(
Data.Map
)
Black
(
Text.PrettyImpl
)
Blue
(
Text.PrettyImpl
)
Bold
(
Text.PrettyImpl
)
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
X
Y
C
CConfig
(
CASS.Configuration
)
CASSStats
(
CASS.Configuration
)
Communicate
(
Analysis.Logging
)
CalendarTime
(
Data.Time
)
Cons
(
FlatCurry.Types
)
ConsCall
(
FlatCurry.Types
)
ConsPartCall
(
FlatCurry.Types
)
Comb
(
FlatCurry.Types
)
Case
(
FlatCurry.Types
)
Charc
(
FlatCurry.Types
)
Code
(
Debug.Profile
)
Choices
(
Debug.Profile
)
Cyan
(
Text.PrettyImpl
)
CloseGroup
(
Text.PrettyImpl
)
CloseNest
(
Text.PrettyImpl
)
CloseFormat
(
Text.PrettyImpl
)
CombinedSimpleFuncAnalysis
(
Analysis.Types
)
CombinedSimpleTypeAnalysis
(
Analysis.Types
)
CombinedDependencyFuncAnalysis
(
Analysis.Types
)
CombinedDependencyTypeAnalysis
(
Analysis.Types
)
ChangePath
(
CASS.ServerFunctions
)
Cons
(
Analysis.RequiredValue
)
Cons
(
Analysis.RequiredValues
)
Complete
(
Analysis.TotallyDefined
)
CY
(
System.FrontendExec
)
COMMS
(
System.FrontendExec
)
Class
(
CPM.Query.Configuration
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
D
DtdUrl
(
XML
)
Doc
(
Text.PrettyImpl
)
Default
(
Text.PrettyImpl
)
DependencyFuncAnalysis
(
Analysis.Types
)
DependencyTypeAnalysis
(
Analysis.Types
)
DependencyModuleAnalysis
(
Analysis.Types
)
Det
(
Analysis.Deterministic
)
Det
(
Analysis.NondetOps
)
DCalls
(
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
X
Y
E
EQ
(
Prelude
)
External
(
FlatCurry.Types
)
Enc
(
XML
)
ElapsedTime
(
Debug.Profile
)
EOD
(
Text.PrettyImpl
)
Empty
(
Text.PrettyImpl
)
Empty
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValues
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
F
FormatText
(
CASS.ServerFormats
)
FormatShort
(
CASS.ServerFormats
)
FormatTerm
(
CASS.ServerFormats
)
FormatJSON
(
CASS.ServerFormats
)
FormatJSONTerm
(
CASS.ServerFormats
)
FormatXML
(
CASS.ServerFormats
)
False
(
Prelude
)
FailError
(
Prelude
)
FuncType
(
FlatCurry.Types
)
ForallType
(
FlatCurry.Types
)
Func
(
FlatCurry.Types
)
Flex
(
FlatCurry.Types
)
FuncCall
(
FlatCurry.Types
)
FuncPartCall
(
FlatCurry.Types
)
Free
(
FlatCurry.Types
)
Floatc
(
FlatCurry.Types
)
Faint
(
Text.PrettyImpl
)
FO
(
Analysis.HigherOrder
)
FunD
(
Analysis.NondetOps
)
FCY
(
System.FrontendExec
)
FINT
(
System.FrontendExec
)
FrontendParams
(
System.FrontendExec
)
Falsified
(
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
X
Y
G
GT
(
Prelude
)
GarbageCollections
(
Debug.Profile
)
Green
(
Text.PrettyImpl
)
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
X
Y
H
Heap
(
Debug.Profile
)
HO
(
Analysis.HigherOrder
)
HTML
(
System.FrontendExec
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
I
IOError
(
Prelude
)
InfixOp
(
FlatCurry.Types
)
InfixlOp
(
FlatCurry.Types
)
InfixrOp
(
FlatCurry.Types
)
Intc
(
FlatCurry.Types
)
Iso88591Enc
(
XML
)
Inc
(
Text.PrettyImpl
)
InverseColoring
(
Text.PrettyImpl
)
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
X
Y
J
Just
(
Prelude
)
JTrue
(
JSON.Data
)
JFalse
(
JSON.Data
)
JNull
(
JSON.Data
)
JString
(
JSON.Data
)
JNumber
(
JSON.Data
)
JArray
(
JSON.Data
)
JObject
(
JSON.Data
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
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
X
Y
L
LT
(
Prelude
)
Left
(
Prelude
)
Lit
(
FlatCurry.Types
)
Let
(
FlatCurry.Types
)
LPattern
(
FlatCurry.Types
)
LineBreak
(
Text.PrettyImpl
)
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
X
Y
M
Memory
(
Debug.Profile
)
Magenta
(
Text.PrettyImpl
)
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
X
Y
N
NoArg
(
System.Console.GetOpt
)
Nothing
(
Prelude
)
NondetError
(
Prelude
)
NewCons
(
FlatCurry.Types
)
Normal
(
Text.PrettyImpl
)
NDet
(
Analysis.Deterministic
)
NDEffect
(
Analysis.Groundness
)
Nondet
(
Analysis.NondetOps
)
NoResiduateIf
(
Analysis.Residuation
)
NoResInfo
(
Analysis.Residuation
)
NotSensible
(
Analysis.SensibleTypes
)
NoInfo
(
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
X
Y
O
Options
(
CASS.Options
)
Option
(
System.Console.GetOpt
)
OptArg
(
System.Console.GetOpt
)
Op
(
FlatCurry.Types
)
Or
(
FlatCurry.Types
)
Off
(
Text.PrettyImpl
)
OpenGroup
(
Text.PrettyImpl
)
OpenNest
(
Text.PrettyImpl
)
OpenFormat
(
Text.PrettyImpl
)
Options
(
CPM.Query.Options
)
Operation
(
CPM.Query.Configuration
)
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
X
Y
P
Permute
(
System.Console.GetOpt
)
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
X
Y
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
X
Y
R
ReadMode
(
System.IO
)
RelativeSeek
(
System.IO
)
RequireOrder
(
System.Console.GetOpt
)
ReturnInOrder
(
System.Console.GetOpt
)
ReqArg
(
System.Console.GetOpt
)
Right
(
Prelude
)
Rule
(
FlatCurry.Types
)
Rigid
(
FlatCurry.Types
)
RunTime
(
Debug.Profile
)
RWParameters
(
RW.Base
)
RWType
(
RW.Base
)
Red
(
Text.PrettyImpl
)
Rapid
(
Text.PrettyImpl
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
S
SeekFromEnd
(
System.IO
)
Storage
(
Analysis.Logging
)
StandardEnc
(
XML
)
Stack
(
Debug.Profile
)
Slow
(
Text.PrettyImpl
)
SetForeground
(
Text.PrettyImpl
)
SetBackground
(
Text.PrettyImpl
)
SetIntensity
(
Text.PrettyImpl
)
SetBlinkMode
(
Text.PrettyImpl
)
SetItalicized
(
Text.PrettyImpl
)
SetUnderlined
(
Text.PrettyImpl
)
SetCrossedout
(
Text.PrettyImpl
)
SimpleFuncAnalysis
(
Analysis.Types
)
SimpleTypeAnalysis
(
Analysis.Types
)
SimpleConstructorAnalysis
(
Analysis.Types
)
SimpleModuleAnalysis
(
Analysis.Types
)
StopWorker
(
CASS.ServerFunctions
)
Sensible
(
Analysis.SensibleTypes
)
SAST
(
System.FrontendExec
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
T
Timing
(
Analysis.Logging
)
True
(
Prelude
)
Type
(
FlatCurry.Types
)
TypeSyn
(
FlatCurry.Types
)
TypeNew
(
FlatCurry.Types
)
TVar
(
FlatCurry.Types
)
TCons
(
FlatCurry.Types
)
Typed
(
FlatCurry.Types
)
Tip
(
Data.Map
)
Text
(
Text.PrettyImpl
)
Task
(
CASS.ServerFunctions
)
Top
(
Analysis.Demandedness
)
Terminating
(
Analysis.Termination
)
TFCY
(
System.FrontendExec
)
TOKS
(
System.FrontendExec
)
TAFCY
(
System.FrontendExec
)
Type
(
CPM.Query.Configuration
)
Test
(
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
X
Y
U
UserError
(
Prelude
)
UACY
(
System.FrontendExec
)
Unknown
(
CPM.Query.Configuration
)
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
X
Y
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
X
Y
W
WriteMode
(
System.IO
)
White
(
Text.PrettyImpl
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
X
XText
(
XML
)
XElem
(
XML
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Y
Yellow
(
Text.PrettyImpl
)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y