Package curry-source
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
K
L
M
N
O
P
Q
R
S
T
U
V
W
A
ApplyType
(
Curry.Types
)
ArrowType
(
Curry.Types
)
ApLhs
(
Curry.Types
)
AsPattern
(
Curry.Types
)
Apply
(
Curry.Types
)
Alt
(
Curry.Types
)
AnonFreeVars
(
Curry.Types
)
ACY
(
System.FrontendExec
)
AST
(
System.FrontendExec
)
AppendMode
(
System.IO
)
AbsoluteSeek
(
System.IO
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
B
Branch
(
FlatCurry.Types
)
BigComment
(
Language.Curry.StringClassifier
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
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
)
Cons
(
FlatCurry.Types
)
ConsCall
(
FlatCurry.Types
)
ConsPartCall
(
FlatCurry.Types
)
Comb
(
FlatCurry.Types
)
Case
(
FlatCurry.Types
)
Charc
(
FlatCurry.Types
)
Code
(
Language.Curry.StringClassifier
)
ClassDecl
(
Curry.Types
)
ConstrDecl
(
Curry.Types
)
ConOpDecl
(
Curry.Types
)
ConstructorType
(
Curry.Types
)
Constraint
(
Curry.Types
)
CondExpr
(
Curry.Types
)
Char
(
Curry.Types
)
ConstructorPattern
(
Curry.Types
)
Constructor
(
Curry.Types
)
Case
(
Curry.Types
)
CPP
(
Curry.Types
)
CYMAKE
(
Curry.Types
)
CY
(
System.FrontendExec
)
COMMS
(
System.FrontendExec
)
CalendarTime
(
Data.Time
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
D
DataDecl
(
Curry.Types
)
DefaultDecl
(
Curry.Types
)
Do
(
Curry.Types
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
E
External
(
FlatCurry.Types
)
Exporting
(
Curry.Types
)
Export
(
Curry.Types
)
ExportTypeWith
(
Curry.Types
)
ExportTypeAll
(
Curry.Types
)
ExportModule
(
Curry.Types
)
ExternalDataDecl
(
Curry.Types
)
ExternalDecl
(
Curry.Types
)
Equation
(
Curry.Types
)
EnumFrom
(
Curry.Types
)
EnumFromThen
(
Curry.Types
)
EnumFromTo
(
Curry.Types
)
EnumFromThenTo
(
Curry.Types
)
ExplicitLayout
(
Curry.SpanInfo
)
A
B
C
D
E
F
G
H
I
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
)
FunctionDecl
(
Curry.Types
)
FreeDecl
(
Curry.Types
)
FieldDecl
(
Curry.Types
)
ForallType
(
Curry.Types
)
FunDep
(
Curry.Types
)
FunLhs
(
Curry.Types
)
Float
(
Curry.Types
)
FunctionPattern
(
Curry.Types
)
Flex
(
Curry.Types
)
Field
(
Curry.Types
)
FlexibleContexts
(
Curry.Types
)
FlexibleInstances
(
Curry.Types
)
FunctionalDependencies
(
Curry.Types
)
FunctionalPatterns
(
Curry.Types
)
FRONTEND
(
Curry.Types
)
FCY
(
System.FrontendExec
)
FINT
(
System.FrontendExec
)
FrontendParams
(
System.FrontendExec
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
G
GuardedRhs
(
Curry.Types
)
Goal
(
Curry.Types
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
H
Hiding
(
Curry.Types
)
HTML
(
System.FrontendExec
)
A
B
C
D
E
F
G
H
I
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
)
ImportDecl
(
Curry.Types
)
Importing
(
Curry.Types
)
Import
(
Curry.Types
)
ImportTypeWith
(
Curry.Types
)
ImportTypeAll
(
Curry.Types
)
InfixDecl
(
Curry.Types
)
InstanceDecl
(
Curry.Types
)
InfixL
(
Curry.Types
)
InfixR
(
Curry.Types
)
Infix
(
Curry.Types
)
Int
(
Curry.Types
)
InfixPattern
(
Curry.Types
)
InfixFuncPattern
(
Curry.Types
)
InfixApply
(
Curry.Types
)
IfThenElse
(
Curry.Types
)
InfixOp
(
Curry.Types
)
InfixConstr
(
Curry.Types
)
Ident
(
Curry.Ident
)
InternalTrie
(
Data.Trie.Internal
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
K
KStar
(
FlatCurry.Types
)
KArrow
(
FlatCurry.Types
)
KnownExtension
(
Curry.Types
)
KICS2
(
Curry.Types
)
KnownTool
(
Curry.Types
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
L
Lit
(
FlatCurry.Types
)
Let
(
FlatCurry.Types
)
LPattern
(
FlatCurry.Types
)
Letter
(
Language.Curry.StringClassifier
)
LineComment
(
Curry.Comment
)
LanguagePragma
(
Curry.Types
)
ListType
(
Curry.Types
)
LiteralPattern
(
Curry.Types
)
ListPattern
(
Curry.Types
)
LazyPattern
(
Curry.Types
)
Literal
(
Curry.Types
)
List
(
Curry.Types
)
ListCompr
(
Curry.Types
)
LeftSection
(
Curry.Types
)
Lambda
(
Curry.Types
)
Let
(
Curry.Types
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
M
ModuleHead
(
Language.Curry.StringClassifier
)
Meta
(
Language.Curry.StringClassifier
)
Module
(
Curry.Types
)
MultiParamTypeClasses
(
Curry.Types
)
ModuleIdent
(
Curry.Ident
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
N
NewCons
(
FlatCurry.Types
)
NestedComment
(
Curry.Comment
)
NewtypeDecl
(
Curry.Types
)
NewConstrDecl
(
Curry.Types
)
NewRecordDecl
(
Curry.Types
)
NegativePattern
(
Curry.Types
)
NegativeLiterals
(
Curry.Types
)
NoAnonFreeVars
(
Curry.Types
)
NoFunctionalPatterns
(
Curry.Types
)
NoImplicitPrelude
(
Curry.Types
)
NoDataDeriving
(
Curry.Types
)
NoSpanInfo
(
Curry.SpanInfo
)
NoSpan
(
Curry.Span
)
NoPos
(
Curry.Position
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
O
Op
(
FlatCurry.Types
)
Or
(
FlatCurry.Types
)
OptionsPragma
(
Curry.Types
)
OpLhs
(
Curry.Types
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
P
Public
(
AbstractCurry.Types
)
Private
(
AbstractCurry.Types
)
Prog
(
FlatCurry.Types
)
Public
(
FlatCurry.Types
)
Private
(
FlatCurry.Types
)
Pattern
(
FlatCurry.Types
)
PatternDecl
(
Curry.Types
)
ParenType
(
Curry.Types
)
ParenPattern
(
Curry.Types
)
Paren
(
Curry.Types
)
PAKCS
(
Curry.Types
)
Position
(
Curry.Position
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Q
QualTypeExpr
(
Curry.Types
)
QualIdent
(
Curry.Ident
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
R
Rule
(
FlatCurry.Types
)
Rigid
(
FlatCurry.Types
)
RecordDecl
(
Curry.Types
)
RecordPattern
(
Curry.Types
)
Record
(
Curry.Types
)
RecordUpdate
(
Curry.Types
)
RightSection
(
Curry.Types
)
Rigid
(
Curry.Types
)
ReadMode
(
System.IO
)
RelativeSeek
(
System.IO
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
S
SmallComment
(
Language.Curry.StringClassifier
)
SimpleRhs
(
Curry.Types
)
String
(
Curry.Types
)
StmtExpr
(
Curry.Types
)
StmtDecl
(
Curry.Types
)
StmtBind
(
Curry.Types
)
SpanInfo
(
Curry.SpanInfo
)
Span
(
Curry.Span
)
SAST
(
System.FrontendExec
)
SeekFromEnd
(
System.IO
)
A
B
C
D
E
F
G
H
I
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
)
Text
(
Language.Curry.StringClassifier
)
TypeDecl
(
Curry.Types
)
TypeSig
(
Curry.Types
)
TupleType
(
Curry.Types
)
TuplePattern
(
Curry.Types
)
Typed
(
Curry.Types
)
Tuple
(
Curry.Types
)
TFCY
(
System.FrontendExec
)
TOKS
(
System.FrontendExec
)
TAFCY
(
System.FrontendExec
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
U
UnaryMinus
(
Curry.Types
)
UnknownExtension
(
Curry.Types
)
UnknownTool
(
Curry.Types
)
UACY
(
System.FrontendExec
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
V
Var
(
FlatCurry.Types
)
VariableType
(
Curry.Types
)
VariablePattern
(
Curry.Types
)
Variable
(
Curry.Types
)
Var
(
Curry.Types
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
W
WhitespaceLayout
(
Curry.SpanInfo
)
WriteMode
(
System.IO
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W