Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all constructors
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
B
Branch
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
C
Case
(
FlatCurry.Types
)
Charc
(
FlatCurry.Types
)
Comb
(
FlatCurry.Types
)
ConflictFR
(
FlatCurry.FlexRigid
)
Cons
(
FlatCurry.Types
)
ConsCall
(
FlatCurry.Types
)
ConsPartCall
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
E
Exports
(
FlatCurry.Compact
)
External
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
F
Flex
(
FlatCurry.Types
)
Floatc
(
FlatCurry.Types
)
ForallType
(
FlatCurry.Types
)
Free
(
FlatCurry.Types
)
Func
(
FlatCurry.Types
)
FuncCall
(
FlatCurry.Types
)
FuncPartCall
(
FlatCurry.Types
)
FuncType
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
I
Import
(
FlatCurry.Compact
)
InfixlOp
(
FlatCurry.Types
)
InfixOp
(
FlatCurry.Types
)
InfixrOp
(
FlatCurry.Types
)
InitFuncs
(
FlatCurry.Compact
)
Intc
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
K
KnownFlex
(
FlatCurry.FlexRigid
)
KnownRigid
(
FlatCurry.FlexRigid
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
L
Let
(
FlatCurry.Types
)
Lit
(
FlatCurry.Types
)
LPattern
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
M
Main
(
FlatCurry.Compact
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
O
Op
(
FlatCurry.Types
)
Options
(
FlatCurry.Pretty
)
Or
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
P
Pattern
(
FlatCurry.Types
)
Private
(
FlatCurry.Types
)
Prog
(
FlatCurry.Types
)
Public
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
Q
QualAll
(
FlatCurry.Pretty
)
QualImports
(
FlatCurry.Pretty
)
QualImportsButPrelude
(
FlatCurry.Pretty
)
QualNone
(
FlatCurry.Pretty
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
R
Required
(
FlatCurry.Compact
)
Rigid
(
FlatCurry.Types
)
Rule
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
T
TCons
(
FlatCurry.Types
)
TVar
(
FlatCurry.Types
)
Type
(
FlatCurry.Types
)
Typed
(
FlatCurry.Types
)
TypeSyn
(
FlatCurry.Types
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
U
UnknownFR
(
FlatCurry.FlexRigid
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V
V
Var
(
FlatCurry.Types
)
Verbose
(
FlatCurry.Compact
)
B
C
E
F
I
K
L
M
O
P
Q
R
T
U
V