Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all constructors
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
A
Apply
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
B
Branch
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
C
Case
(
AbstractHaskell.Types
)
Charc
(
AbstractHaskell.Types
)
Cons
(
AbstractHaskell.Types
)
Context
(
AbstractHaskell.Types
)
CType
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
D
DoExpr
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
E
External
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
F
Floatc
(
AbstractHaskell.Types
)
ForallType
(
AbstractHaskell.Types
)
Func
(
AbstractHaskell.Types
)
FuncType
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
G
GuardedRhs
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
I
IfThenElse
(
AbstractHaskell.Types
)
InfixApply
(
AbstractHaskell.Types
)
InfixlOp
(
AbstractHaskell.Types
)
InfixOp
(
AbstractHaskell.Types
)
InfixrOp
(
AbstractHaskell.Types
)
Instance
(
AbstractHaskell.Types
)
Intc
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
L
Lambda
(
AbstractHaskell.Types
)
Let
(
AbstractHaskell.Types
)
List
(
AbstractHaskell.Types
)
ListComp
(
AbstractHaskell.Types
)
Lit
(
AbstractHaskell.Types
)
LocalFunc
(
AbstractHaskell.Types
)
LocalPat
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
O
Op
(
AbstractHaskell.Types
)
Options
(
AbstractHaskell.Printer
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
P
PAs
(
AbstractHaskell.Types
)
PComb
(
AbstractHaskell.Types
)
PList
(
AbstractHaskell.Types
)
PLit
(
AbstractHaskell.Types
)
Private
(
AbstractHaskell.Types
)
Prog
(
AbstractHaskell.Types
)
PTuple
(
AbstractHaskell.Types
)
Public
(
AbstractHaskell.Types
)
PVar
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
R
Rule
(
AbstractHaskell.Types
)
Rules
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
S
SExpr
(
AbstractHaskell.Types
)
SimpleRhs
(
AbstractHaskell.Types
)
SLet
(
AbstractHaskell.Types
)
SPat
(
AbstractHaskell.Types
)
Stringc
(
AbstractHaskell.Types
)
Symbol
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
T
TCons
(
AbstractHaskell.Types
)
Tuple
(
AbstractHaskell.Types
)
TVar
(
AbstractHaskell.Types
)
Type
(
AbstractHaskell.Types
)
Typed
(
AbstractHaskell.Types
)
TypeSyn
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
U
Untyped
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V
V
Var
(
AbstractHaskell.Types
)
A
B
C
D
E
F
G
I
L
O
P
R
S
T
U
V