ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker. (Index - X)

ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker.

A
B
C
D
E
F
G
H
I
K
L
M
N
P
Q
R
S
T
U
V
W
X
Z
$
<
All

Index - X

XAnnot	DDC.Core.Exp.Simple
XApp
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
xApps
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
XCase
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
XCast
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
XCon
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
XLAM
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
XLam
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
xLAMs
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
xLams
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
XLet
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
xLets
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
xLetsAnnot	DDC.Core.Compounds.Annot, DDC.Core.Compounds
XType
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
xUnit
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
XVar
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp
XWitness
1 (Data Constructor)	DDC.Core.Exp.Simple
2 (Data Constructor)	DDC.Core.Exp.Annot, DDC.Core.Exp