Package verify
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
)
ACY
(
System.FrontendExec
)
AST
(
System.FrontendExec
)
AllData
(
Analysis.Logging
)
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
)
Ambigious
(
Test.Prop.Types
)
Align
(
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
B
Bin
(
Data.Map
)
Branch
(
FlatCurry.Types
)
Bot
(
Analysis.Demandedness
)
Black
(
Text.PrettyImpl
)
Blue
(
Text.PrettyImpl
)
Bold
(
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
C
CurryProg
(
AbstractCurry.Types
)
CDefaultDecl
(
AbstractCurry.Types
)
CClass
(
AbstractCurry.Types
)
CInstance
(
AbstractCurry.Types
)
CType
(
AbstractCurry.Types
)
CTypeSyn
(
AbstractCurry.Types
)
CNewType
(
AbstractCurry.Types
)
CCons
(
AbstractCurry.Types
)
CRecord
(
AbstractCurry.Types
)
CField
(
AbstractCurry.Types
)
CContext
(
AbstractCurry.Types
)
CTVar
(
AbstractCurry.Types
)
CFuncType
(
AbstractCurry.Types
)
CTCons
(
AbstractCurry.Types
)
CTApply
(
AbstractCurry.Types
)
CQualType
(
AbstractCurry.Types
)
COp
(
AbstractCurry.Types
)
CInfixOp
(
AbstractCurry.Types
)
CInfixlOp
(
AbstractCurry.Types
)
CInfixrOp
(
AbstractCurry.Types
)
CFunc
(
AbstractCurry.Types
)
CmtFunc
(
AbstractCurry.Types
)
CRule
(
AbstractCurry.Types
)
CSimpleRhs
(
AbstractCurry.Types
)
CGuardedRhs
(
AbstractCurry.Types
)
CLocalFunc
(
AbstractCurry.Types
)
CLocalPat
(
AbstractCurry.Types
)
CLocalVars
(
AbstractCurry.Types
)
CPVar
(
AbstractCurry.Types
)
CPLit
(
AbstractCurry.Types
)
CPComb
(
AbstractCurry.Types
)
CPAs
(
AbstractCurry.Types
)
CPFuncComb
(
AbstractCurry.Types
)
CPLazy
(
AbstractCurry.Types
)
CPRecord
(
AbstractCurry.Types
)
CVar
(
AbstractCurry.Types
)
CLit
(
AbstractCurry.Types
)
CSymbol
(
AbstractCurry.Types
)
CApply
(
AbstractCurry.Types
)
CLambda
(
AbstractCurry.Types
)
CLetDecl
(
AbstractCurry.Types
)
CDoExpr
(
AbstractCurry.Types
)
CListComp
(
AbstractCurry.Types
)
CCase
(
AbstractCurry.Types
)
CTyped
(
AbstractCurry.Types
)
CRecConstr
(
AbstractCurry.Types
)
CRecUpdate
(
AbstractCurry.Types
)
CIntc
(
AbstractCurry.Types
)
CFloatc
(
AbstractCurry.Types
)
CCharc
(
AbstractCurry.Types
)
CStringc
(
AbstractCurry.Types
)
CSExpr
(
AbstractCurry.Types
)
CSPat
(
AbstractCurry.Types
)
CSLet
(
AbstractCurry.Types
)
CRigid
(
AbstractCurry.Types
)
CFlex
(
AbstractCurry.Types
)
Complete
(
Analysis.TotallyDefined
)
CY
(
System.FrontendExec
)
COMMS
(
System.FrontendExec
)
Code
(
Debug.Profile
)
Choices
(
Debug.Profile
)
CalendarTime
(
Data.Time
)
Cons
(
FlatCurry.Types
)
ConsCall
(
FlatCurry.Types
)
ConsPartCall
(
FlatCurry.Types
)
Comb
(
FlatCurry.Types
)
Case
(
FlatCurry.Types
)
Charc
(
FlatCurry.Types
)
Communicate
(
Analysis.Logging
)
CombinedSimpleFuncAnalysis
(
Analysis.Types
)
CombinedSimpleTypeAnalysis
(
Analysis.Types
)
CombinedDependencyFuncAnalysis
(
Analysis.Types
)
CombinedDependencyTypeAnalysis
(
Analysis.Types
)
CConfig
(
CASS.Configuration
)
CASSStats
(
CASS.Configuration
)
ChangePath
(
CASS.ServerFunctions
)
Cons
(
Analysis.RequiredValue
)
Cons
(
Analysis.RequiredValues
)
Clash
(
Rewriting.UnificationSpec
)
Class
(
CPM.Query.Configuration
)
Cyan
(
Text.PrettyImpl
)
CloseGroup
(
Text.PrettyImpl
)
CloseNest
(
Text.PrettyImpl
)
CloseFormat
(
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
D
Det
(
Analysis.Deterministic
)
DependencyFuncAnalysis
(
Analysis.Types
)
DependencyTypeAnalysis
(
Analysis.Types
)
DependencyModuleAnalysis
(
Analysis.Types
)
DtdUrl
(
XML
)
Det
(
Analysis.NondetOps
)
DCalls
(
Analysis.Termination
)
Doc
(
Text.PrettyImpl
)
Default
(
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
E
EQ
(
Prelude
)
ElapsedTime
(
Debug.Profile
)
External
(
FlatCurry.Types
)
Enc
(
XML
)
Empty
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValue
)
EmptyFunc
(
Analysis.RequiredValues
)
EOD
(
Text.PrettyImpl
)
Empty
(
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
F
False
(
Prelude
)
FailError
(
Prelude
)
FCY
(
System.FrontendExec
)
FINT
(
System.FrontendExec
)
FrontendParams
(
System.FrontendExec
)
FuncType
(
FlatCurry.Types
)
ForallType
(
FlatCurry.Types
)
Func
(
FlatCurry.Types
)
Flex
(
FlatCurry.Types
)
FuncCall
(
FlatCurry.Types
)
FuncPartCall
(
FlatCurry.Types
)
Free
(
FlatCurry.Types
)
Floatc
(
FlatCurry.Types
)
FormatText
(
CASS.ServerFormats
)
FormatShort
(
CASS.ServerFormats
)
FormatTerm
(
CASS.ServerFormats
)
FormatJSON
(
CASS.ServerFormats
)
FormatJSONTerm
(
CASS.ServerFormats
)
FormatXML
(
CASS.ServerFormats
)
FO
(
Analysis.HigherOrder
)
FunD
(
Analysis.NondetOps
)
Falsified
(
Test.Prop.Types
)
Faint
(
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
G
GT
(
Prelude
)
GarbageCollections
(
Debug.Profile
)
G
(
Analysis.Groundness
)
Green
(
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
H
HTML
(
System.FrontendExec
)
Heap
(
Debug.Profile
)
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
X
Y
I
InComplete
(
Analysis.TotallyDefined
)
InCompleteOr
(
Analysis.TotallyDefined
)
IOError
(
Prelude
)
InfixOp
(
FlatCurry.Types
)
InfixlOp
(
FlatCurry.Types
)
InfixrOp
(
FlatCurry.Types
)
Intc
(
FlatCurry.Types
)
Iso88591Enc
(
XML
)
InternalTrie
(
Data.Trie.Internal
)
Inc
(
Text.PrettyImpl
)
InverseColoring
(
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
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
)
Looping
(
Analysis.Termination
)
LineBreak
(
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
M
Memory
(
Debug.Profile
)
MayResiduate
(
Analysis.Residuation
)
Magenta
(
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
N
NoArg
(
System.Console.GetOpt
)
NDet
(
Analysis.Deterministic
)
Nothing
(
Prelude
)
NondetError
(
Prelude
)
NewCons
(
FlatCurry.Types
)
NDEffect
(
Analysis.Groundness
)
Nondet
(
Analysis.NondetOps
)
NoResiduateIf
(
Analysis.Residuation
)
NoResInfo
(
Analysis.Residuation
)
NotSensible
(
Analysis.SensibleTypes
)
NoInfo
(
Analysis.Termination
)
Normal
(
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
O
Option
(
System.Console.GetOpt
)
OptArg
(
System.Console.GetOpt
)
Options
(
VerifyOptions
)
Op
(
FlatCurry.Types
)
Or
(
FlatCurry.Types
)
Options
(
CASS.Options
)
Options
(
CPM.Query.Options
)
OccurCheck
(
Rewriting.UnificationSpec
)
Operation
(
CPM.Query.Configuration
)
Ok
(
Test.Prop.Types
)
Off
(
Text.PrettyImpl
)
OpenGroup
(
Text.PrettyImpl
)
OpenNest
(
Text.PrettyImpl
)
OpenFormat
(
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
P
Permute
(
System.Console.GetOpt
)
Public
(
AbstractCurry.Types
)
Private
(
AbstractCurry.Types
)
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
RequireOrder
(
System.Console.GetOpt
)
ReturnInOrder
(
System.Console.GetOpt
)
ReqArg
(
System.Console.GetOpt
)
Right
(
Prelude
)
ReadMode
(
System.IO
)
RelativeSeek
(
System.IO
)
RunTime
(
Debug.Profile
)
Rule
(
FlatCurry.Types
)
Rigid
(
FlatCurry.Types
)
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
)
SAST
(
System.FrontendExec
)
Stack
(
Debug.Profile
)
Storage
(
Analysis.Logging
)
SimpleFuncAnalysis
(
Analysis.Types
)
SimpleTypeAnalysis
(
Analysis.Types
)
SimpleConstructorAnalysis
(
Analysis.Types
)
SimpleModuleAnalysis
(
Analysis.Types
)
StopWorker
(
CASS.ServerFunctions
)
StandardEnc
(
XML
)
Sensible
(
Analysis.SensibleTypes
)
Slow
(
Text.PrettyImpl
)
SetForeground
(
Text.PrettyImpl
)
SetBackground
(
Text.PrettyImpl
)
SetIntensity
(
Text.PrettyImpl
)
SetBlinkMode
(
Text.PrettyImpl
)
SetItalicized
(
Text.PrettyImpl
)
SetUnderlined
(
Text.PrettyImpl
)
SetCrossedout
(
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
T
True
(
Prelude
)
TFCY
(
System.FrontendExec
)
TOKS
(
System.FrontendExec
)
TAFCY
(
System.FrontendExec
)
Tip
(
Data.Map
)
TermVar
(
Rewriting.Term
)
TermCons
(
Rewriting.Term
)
Type
(
FlatCurry.Types
)
TypeSyn
(
FlatCurry.Types
)
TypeNew
(
FlatCurry.Types
)
TVar
(
FlatCurry.Types
)
TCons
(
FlatCurry.Types
)
Typed
(
FlatCurry.Types
)
Timing
(
Analysis.Logging
)
Task
(
CASS.ServerFunctions
)
Top
(
Analysis.Demandedness
)
Terminating
(
Analysis.Termination
)
Type
(
CPM.Query.Configuration
)
Test
(
Test.Prop.Types
)
Text
(
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
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