DeepDarkFantasy-0.2017.8.10: A DSL for creating neural network.

Index

$DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
&&&DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
*DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
***DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
+DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
++DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
-DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
.DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
/DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
:-DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
:=>DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
<DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
<=DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
==DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
>>=DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
absDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
absurdDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
addTailDDF.Sam.Hello
alterDDF.Map
alter2DDF.Map
apDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
AppDDF.Show
appDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app3DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app4DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app5DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
appASTDDF.Show
ApplicativeDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app_openDDF.PE
ArgDDF.PE
asProxyTypeOfDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ASTDDF.Show
Basis 
1 (Data Constructor)DDF.Meta.VectorTF
2 (Type/Class)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
basisDDF.VectorTF
BiFunctorDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
BimapDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bimapDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bimap2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bimap3DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bindDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bind2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
BoolDDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
boolDDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
BottomDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bottomDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
buildFreeVectorDDF.Lang, DDF.TermGen, DDF.Term
CharDDF.Char, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
charDDF.Char, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
ClassDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
clsDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
comDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
com2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
combDDF.Eval
compDDF.Sam.Poly
compareDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
consDDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
cons2DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
constDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
const1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ConstraintDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
contractDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
convDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
convSDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
curryDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
curry1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
datasetDDF.Sam.Xor
DBIDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Dict 
1 (Data Constructor)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Type/Class)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Diff 
1 (Type/Class)DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
2 (Data Constructor)DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
diffOrdDDF.Map
DiffTypeDDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
DiffWrapper 
1 (Type/Class)DDF.Meta.DiffWrapper
2 (Data Constructor)DDF.Meta.DiffWrapper
3 (Type/Class)DDF.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
diffWrapperDDF.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
divideDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
divide1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
divide2DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
DoubleDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
double2FloatDDF.Lang, DDF.TermGen, DDF.Term
double2Float1DDF.Lang, DDF.TermGen, DDF.Term
doubleDivideDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleDivide2DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleEqDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleEq2DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleExpDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleExp1DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleMinusDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleMinus2DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleMultDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleMult2DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleOneDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doublePlusDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doublePlus1DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doublePlus2DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleWeightDDF.Sam.Xor
doubleZeroDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
Dual 
1 (Type/Class)DDF.Meta.Dual
2 (Data Constructor)DDF.Meta.Dual
3 (Type/Class)DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dualDDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dual1DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dualDiff 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dualDiff1DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dualOrig 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dualOrig1DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
dupDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
dup1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
DynDDF.PE
dynamicDDF.PE
empty 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
EnvTDDF.PE
Eval 
1 (Type/Class)DDF.Eval
2 (Data Constructor)DDF.Eval
evalDDF.Sam.Xor
exfalsoDDF.Lang, DDF.TermGen, DDF.Term
FDiffTypeDDF.Meta.DiffWrapper
findXorDDF.Sam.Xor
FixDDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term
fixDDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term
fix1DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term
flipDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
flip1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
flip2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
FloatDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
float2DoubleDDF.Lang, DDF.TermGen, DDF.Term
float2Double1DDF.Lang, DDF.TermGen, DDF.Term
floatDivideDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatExpDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatExp1DDF.Lang, DDF.TermGen, DDF.Term
floatMinusDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMultDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatOneDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatPlusDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatZeroDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
ForallDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
forallDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Forall1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ForallFDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ForallTDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ForallVDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
FreeVector 
1 (Type/Class)DDF.Meta.FreeVector
2 (Data Constructor)DDF.Meta.FreeVector
3 (Type/Class)DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term
freeVectorDDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term
freeVector1DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term
FreeVectorBuilderDDF.Lang, DDF.TermGen, DDF.Term
fstDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
fst1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
FunctorDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
genInstanceDDF.TermGen, DDF.Term
genRangeDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
getDDF.Lang, DDF.TermGen, DDF.Term
get1DDF.Lang, DDF.TermGen, DDF.Term
getStdGenDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
getStdRandomDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
getVarDDF.Lang, DDF.TermGen, DDF.Term
GroupDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
helloDDF.Sam.Hello
hiddenDDF.Sam.Xor
hoasDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
idDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ImpW 
1 (Type/Class)DDF.ImpW
2 (Data Constructor)DDF.ImpW
insDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
insert 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
insert2 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
inst1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instFDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instTDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
InstVDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instVDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
IntDDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
intDDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
invertDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
invert1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
IODDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
isSquareDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isZeroDDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
isZero1DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
iteDDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
ite1DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
ite2DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
ite3DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
iterateDDF.Lang, DDF.TermGen, DDF.Term
joinDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
join1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
justDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
just1DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
KProxy 
1 (Data Constructor)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Type/Class)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
l2 
1 (Function)DDF.Sam.Poly
2 (Function)DDF.Sam.Xor
l22DDF.Sam.Xor
LamDDF.Show
lamDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lam2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lam3DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lam4DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lamASTDDF.Show
LangDDF.Lang, DDF.TermGen, DDF.Term
LeafDDF.Show
leftDDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
left1DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
let_DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
let_2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
LiftEnvDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
liftEnvDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ListDDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
listAppendDDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
listAppend2DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
listMatchDDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
listMatch2DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
lookupDDF.Map
lookup2DDF.Map
lookupLDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lookupL2DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lookupRDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lossDDF.Sam.Xor
main 
1 (Function)DDF.Sam.Hello
2 (Function)DDF.Sam.Poly
3 (Function)DDF.Sam.Xor
MapDDF.Map
mapDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
map1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
map2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mapDictDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mapMapDDF.Map
mapMap1DDF.Map
mapMap2DDF.Map
MaybeDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
minusDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
minus1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
minus2DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
mkDual 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
mkDual2DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
mkProdDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mkProd1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mkProd2DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mkStdGenDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mkTDDF.TermGen, DDF.Term
MonadDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
MonoidDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
MultDDF.Meta.VectorTF
mult 
1 (Function)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
mult1 
1 (Function)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
mult2 
1 (Function)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
nameDDF.Show
neuronDDF.Sam.Xor
neuron1DDF.Sam.Xor
newStdGenDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NextDDF.PE
nextDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
nilDDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
noEnvDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NoImpWDDF.ImpW
nothingDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NTDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NTSDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
oneDDF.Size
OpenDDF.PE
OptionDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
optionMatchDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
optionMatch2DDF.Lang, DDF.TermGen, DDF.Term
optionMatch3DDF.Lang, DDF.TermGen, DDF.Term
OrdDDF.Map
PDDF.PE
peDDF.PE
PlusDDF.Meta.VectorTF
plus 
1 (Function)DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
plus1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
plus2 
1 (Function)DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
polyDDF.Sam.Poly
predDDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
pred1DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
printDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ProdDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ProdConDDF.ImpW
prodConDDF.ImpW
Proxy 
1 (Data Constructor)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Type/Class)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
pureDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
putStrLnDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
putStrLn1DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
RandomDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randomDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
RandomGenDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randomIODDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randomRDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randomRIODDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randomRsDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randomsDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
RandRangeDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
randRangeDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
recipDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
recip1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
reflDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ReifyDDF.Lang, DDF.TermGen, DDF.Term
reifyDDF.Lang, DDF.TermGen, DDF.Term
returnDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
return1DDF.Lang, DDF.TermGen, DDF.Term
rightDDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
right1DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
runDiffDDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
runDiffWrapper 
1 (Function)DDF.Meta.DiffWrapper
2 (Function)DDF.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
runDual 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term
runEvalDDF.Eval
runFixDDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term
runFix1DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term
runFreeVector 
1 (Function)DDF.Meta.FreeVector
2 (Function)DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term
runFreeVector1DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term
runFreeVector2DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term
RunImpW 
1 (Type/Class)DDF.ImpW
2 (Data Constructor)DDF.ImpW
runImpWDDF.ImpW
runImpW2RunImpWRDDF.ImpW
RunImpWRDDF.ImpW
runImpWR2RunImpWDDF.ImpW
runShowDDF.Show
runSizeDDF.Size
runStateDDF.Lang, DDF.TermGen, DDF.Term
runState1DDF.Lang, DDF.TermGen, DDF.Term
runState2DDF.Lang, DDF.TermGen, DDF.Term
runTermDDF.TermGen, DDF.Term
runUnHOASDDF.UnHOAS
runUnLiftEnvDDF.UnLiftEnv
runWriterDDF.Lang, DDF.TermGen, DDF.Term
runWriter1DDF.Lang, DDF.TermGen, DDF.Term
sDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
scaleAddDDF.Sam.Xor
scombDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
scomb2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
selfWithDiffDDF.WithDiff
setStdGenDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Show 
1 (Type/Class)DDF.Show
2 (Data Constructor)DDF.Show
showDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
showASTDDF.Show
sigmoidDDF.Sam.Xor
sigmoid1DDF.Sam.Xor
singleton 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
singleton2DDF.Map
Size 
1 (Type/Class)DDF.Size
2 (Data Constructor)DDF.Size
sizeDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
size1DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
solveDDF.Sam.Poly
spaceDDF.Sam.Hello
splitDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
StaFunDDF.PE
StateDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
stateDDF.Lang, DDF.TermGen, DDF.Term
state1DDF.Lang, DDF.TermGen, DDF.Term
StaticDDF.PE
StdGenDDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
strDDF.Sam.Hello
strengthen1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
strengthen2DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
StringDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
stringDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
SubDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
subDDF.TermGen, DDF.Term
SubLDDF.TermGen, DDF.Term
SubLCDDF.TermGen, DDF.Term
SumDDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
sumMatchDDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
sumMatch2DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
SVTFBuilderDDF.Lang, DDF.TermGen, DDF.Term
swapDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Term 
1 (Type/Class)DDF.TermGen, DDF.Term
2 (Data Constructor)DDF.TermGen, DDF.Term
toFreeVectorDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
toFreeVector1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
toMapLDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
toMapRDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
topDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
toSVTFBuilderDDF.Lang, DDF.TermGen, DDF.Term
toSVTFBuilder1DDF.Lang, DDF.TermGen, DDF.Term
transDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
uncurryDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
uncurry1DDF.Lang, DDF.TermGen, DDF.Term
undefinedDDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
UnHOAS 
1 (Type/Class)DDF.UnHOAS
2 (Data Constructor)DDF.UnHOAS
unionWithDDF.Map
unionWith1DDF.Map
UnitDDF.Unit, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
unitDDF.Unit, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
UnkDDF.PE
UnLiftEnv 
1 (Type/Class)DDF.UnLiftEnv
2 (Data Constructor)DDF.UnLiftEnv
unLiftEnvDDF.UnLiftEnv
unmapDictDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
updateDDF.Lang, DDF.TermGen, DDF.Term
update1DDF.Lang, DDF.TermGen, DDF.Term
updateLDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
updateRDDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
updateWengertDDF.Lang, DDF.TermGen, DDF.Term
updateWengert1DDF.Lang, DDF.TermGen, DDF.Term
updateWengert2DDF.Lang, DDF.TermGen, DDF.Term
varsDDF.Show
VectorDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
VectorTF 
1 (Type/Class)DDF.Meta.VectorTF
2 (Type/Class)DDF.VectorTF
VoidDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
vtfCataDDF.Lang, DDF.TermGen, DDF.Term
vtfCata1DDF.Lang, DDF.TermGen, DDF.Term
vtfMatchDDF.VectorTF
vtfMatch4DDF.VectorTF
vtfMatch5DDF.VectorTF
WeakDDF.PE
weaken1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
weaken2DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
WeightDDF.ImpW
weightConDDF.ImpW
withBiasDDF.Sam.Xor
withDictDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
WithDiffDDF.WithDiff
withDiffDDF.WithDiff
withDiff1DDF.WithDiff
worldDDF.Sam.Hello
WriterDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
writerDDF.Lang, DDF.TermGen, DDF.Term
writer1DDF.Lang, DDF.TermGen, DDF.Term
XORDDF.Sam.Xor
xorNetDDF.Sam.Xor
YDDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
yDDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
y1DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
y2DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
zDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ZeroDDF.Meta.VectorTF
zero 
1 (Function)DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
zroDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
zro1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
\\DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term