Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all constructors
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
A
Alt
(
Curry.Types
)
AnonFreeVars
(
Curry.Types
)
ApLhs
(
Curry.Types
)
Apply
(
Curry.Types
)
ApplyType
(
Curry.Types
)
ArrowType
(
Curry.Types
)
AsPattern
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
C
Case
(
Curry.Types
)
Char
(
Curry.Types
)
ClassDecl
(
Curry.Types
)
CondExpr
(
Curry.Types
)
ConOpDecl
(
Curry.Types
)
Constraint
(
Curry.Types
)
ConstrDecl
(
Curry.Types
)
Constructor
(
Curry.Types
)
ConstructorPattern
(
Curry.Types
)
ConstructorType
(
Curry.Types
)
CPP
(
Curry.Types
)
CYMAKE
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
D
DataDecl
(
Curry.Types
)
DefaultDecl
(
Curry.Types
)
Do
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
E
EnumFrom
(
Curry.Types
)
EnumFromThen
(
Curry.Types
)
EnumFromThenTo
(
Curry.Types
)
EnumFromTo
(
Curry.Types
)
Equation
(
Curry.Types
)
ExistentialQuantification
(
Curry.Types
)
Export
(
Curry.Types
)
Exporting
(
Curry.Types
)
ExportModule
(
Curry.Types
)
ExportTypeAll
(
Curry.Types
)
ExportTypeWith
(
Curry.Types
)
ExternalDataDecl
(
Curry.Types
)
ExternalDecl
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
F
Field
(
Curry.Types
)
FieldDecl
(
Curry.Types
)
Flex
(
Curry.Types
)
Float
(
Curry.Types
)
ForallType
(
Curry.Types
)
FreeDecl
(
Curry.Types
)
FRONTEND
(
Curry.Types
)
FunctionalPatterns
(
Curry.Types
)
FunctionDecl
(
Curry.Types
)
FunctionPattern
(
Curry.Types
)
FunLhs
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
G
GuardedRhs
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
H
Hiding
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
I
Ident
(
Curry.Ident
)
IfThenElse
(
Curry.Types
)
Import
(
Curry.Types
)
ImportDecl
(
Curry.Types
)
Importing
(
Curry.Types
)
ImportTypeAll
(
Curry.Types
)
ImportTypeWith
(
Curry.Types
)
Infix
(
Curry.Types
)
InfixApply
(
Curry.Types
)
InfixConstr
(
Curry.Types
)
InfixDecl
(
Curry.Types
)
InfixFuncPattern
(
Curry.Types
)
InfixL
(
Curry.Types
)
InfixOp
(
Curry.Types
)
InfixPattern
(
Curry.Types
)
InfixR
(
Curry.Types
)
InstanceDecl
(
Curry.Types
)
Int
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
K
KICS2
(
Curry.Types
)
KnownExtension
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
L
Lambda
(
Curry.Types
)
LanguagePragma
(
Curry.Types
)
LazyPattern
(
Curry.Types
)
LeftSection
(
Curry.Types
)
Let
(
Curry.Types
)
List
(
Curry.Types
)
ListCompr
(
Curry.Types
)
ListPattern
(
Curry.Types
)
ListType
(
Curry.Types
)
Literal
(
Curry.Types
)
LiteralPattern
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
M
Module
(
Curry.Types
)
ModuleIdent
(
Curry.Ident
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
N
NegativeLiterals
(
Curry.Types
)
NegativePattern
(
Curry.Types
)
NewConstrDecl
(
Curry.Types
)
NewRecordDecl
(
Curry.Types
)
NewtypeDecl
(
Curry.Types
)
NoImplicitPrelude
(
Curry.Types
)
NoPos
(
Curry.Position
)
NoSpan
(
Curry.Span
)
NoSpanInfo
(
Curry.SpanInfo
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
O
OpLhs
(
Curry.Types
)
OptionsPragma
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
P
Paren
(
Curry.Types
)
ParenPattern
(
Curry.Types
)
ParenType
(
Curry.Types
)
PatternDecl
(
Curry.Types
)
PAKCS
(
Curry.Types
)
Position
(
Curry.Position
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
Q
QualIdent
(
Curry.Ident
)
QualTypeExpr
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
R
Record
(
Curry.Types
)
RecordDecl
(
Curry.Types
)
RecordPattern
(
Curry.Types
)
RecordUpdate
(
Curry.Types
)
RightSection
(
Curry.Types
)
Rigid
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
S
SimpleRhs
(
Curry.Types
)
Span
(
Curry.Span
)
SpanInfo
(
Curry.SpanInfo
)
StmtBind
(
Curry.Types
)
StmtDecl
(
Curry.Types
)
StmtExpr
(
Curry.Types
)
String
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
T
Tuple
(
Curry.Types
)
TuplePattern
(
Curry.Types
)
TupleType
(
Curry.Types
)
TypeDecl
(
Curry.Types
)
Typed
(
Curry.Types
)
TypeSig
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
U
UnaryMinus
(
Curry.Types
)
UnknownExtension
(
Curry.Types
)
UnknownTool
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
V
Var
(
Curry.Types
)
Variable
(
Curry.Types
)
VariablePattern
(
Curry.Types
)
VariableType
(
Curry.Types
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_
_
_Dict#HasSpanInfo
(
Curry.SpanInfo
)
A
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
_