Package flatcurry-elim-newtype
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all constructors
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
A
AProg
(
FlatCurry.AddTypes
)
AFunc
(
FlatCurry.AddTypes
)
ARule
(
FlatCurry.AddTypes
)
AExternal
(
FlatCurry.AddTypes
)
AVar
(
FlatCurry.AddTypes
)
ALit
(
FlatCurry.AddTypes
)
AComb
(
FlatCurry.AddTypes
)
ALet
(
FlatCurry.AddTypes
)
AFree
(
FlatCurry.AddTypes
)
AOr
(
FlatCurry.AddTypes
)
ACase
(
FlatCurry.AddTypes
)
ATyped
(
FlatCurry.AddTypes
)
ABranch
(
FlatCurry.AddTypes
)
ACY
(
System.FrontendExec
)
AST
(
System.FrontendExec
)
AppendMode
(
System.IO
)
AbsoluteSeek
(
System.IO
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
B
Branch
(
FlatCurry.Types
)
Bin
(
Data.Map
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
C
Cons
(
FlatCurry.Types
)
ConsCall
(
FlatCurry.Types
)
ConsPartCall
(
FlatCurry.Types
)
Comb
(
FlatCurry.Types
)
Case
(
FlatCurry.Types
)
Charc
(
FlatCurry.Types
)
CY
(
System.FrontendExec
)
COMMS
(
System.FrontendExec
)
CalendarTime
(
Data.Time
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
E
External
(
FlatCurry.Types
)
EQ
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
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
)
FCY
(
System.FrontendExec
)
FINT
(
System.FrontendExec
)
FrontendParams
(
System.FrontendExec
)
False
(
Prelude
)
FailError
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
G
GT
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
H
HTML
(
System.FrontendExec
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
I
InfixOp
(
FlatCurry.Types
)
InfixlOp
(
FlatCurry.Types
)
InfixrOp
(
FlatCurry.Types
)
Intc
(
FlatCurry.Types
)
Identity
(
Data.Functor.Identity
)
IOError
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
J
Just
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
K
KStar
(
FlatCurry.Types
)
KArrow
(
FlatCurry.Types
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
L
Lit
(
FlatCurry.Types
)
Let
(
FlatCurry.Types
)
LPattern
(
FlatCurry.Types
)
LT
(
Prelude
)
Left
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
N
NewCons
(
FlatCurry.Types
)
Nothing
(
Prelude
)
NondetError
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
O
Op
(
FlatCurry.Types
)
Or
(
FlatCurry.Types
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
P
Prog
(
FlatCurry.Types
)
Public
(
FlatCurry.Types
)
Private
(
FlatCurry.Types
)
Pattern
(
FlatCurry.Types
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
R
Rule
(
FlatCurry.Types
)
Rigid
(
FlatCurry.Types
)
Right
(
Prelude
)
ReadMode
(
System.IO
)
RelativeSeek
(
System.IO
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
S
StateT
(
Control.Monad.Trans.State
)
SAST
(
System.FrontendExec
)
SeekFromEnd
(
System.IO
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
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
)
Tip
(
Data.Map
)
TFCY
(
System.FrontendExec
)
TOKS
(
System.FrontendExec
)
TAFCY
(
System.FrontendExec
)
True
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
U
UACY
(
System.FrontendExec
)
UserError
(
Prelude
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
V
Var
(
FlatCurry.Types
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W
W
WriteMode
(
System.IO
)
A
B
C
E
F
G
H
I
J
K
L
N
O
P
R
S
T
U
V
W