DeepDarkFantasy-0.2017.8.19: A DSL for creating neural network.

Index

$DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
absDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
absurdDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ap1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ap2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
appDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app3DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app4DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
app5DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
appASTDDF.Show
ApplicativeDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
appsDDF.Show
app_openDDF.PE
ArgDDF.PE
asProxyTypeOfDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bimap2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bimap3DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bindDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bind2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
BoolDDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
boolDDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
BottomDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
bottomDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
buildFreeVectorDDF.Lang, DDF.TermGen, DDF.Term
chainOrd 
1 (Function)DDF.Meta.Util
2 (Function)DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
chainOrd1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
chainOrd2DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
clsDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
CmpDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
cmpDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
cmp1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
cmp2DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
cnameDDF.Show
comDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
com2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
const1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ConstraintDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
contractDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
convDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
convSDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Type/Class)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
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
doubleCmpDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleDivideDDF.Double, DDF.Lang, DDF.TermGen, DDF.Term
doubleDivide2DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
dup1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
DynDDF.PE
dynamicDDF.PE
EitherDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
empty 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
EmptyMapDDF.PE
EnvTDDF.PE
eqDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
eq1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
eq2DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
eqOrdDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Eval 
1 (Type/Class)DDF.Eval
2 (Data Constructor)DDF.Eval
evalDDF.Sam.Xor
exfalsoDDF.Lang, DDF.TermGen, DDF.Term
falseDDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
flip1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
flip2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
floatDivide1DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatDivide2DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatExpDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatExp1DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMinusDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMinus1DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMinus2DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMultDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMult1DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatMult2DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatOneDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatPlusDDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatPlus1DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term
floatPlus2DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
forallDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
Forall1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ForallFDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ForallTDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ForallVDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
Fun 
1 (Type/Class)DDF.PE
2 (Data Constructor)DDF.PE
FunctorDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
genInstanceDDF.TermGen, DDF.Term
genRangeDDF.Meta.Util
getDDF.Lang, DDF.TermGen, DDF.Term
get1DDF.Lang, DDF.TermGen, DDF.Term
getStdGenDDF.Meta.Util
getStdRandomDDF.Meta.Util
getVarDDF.Lang, DDF.TermGen, DDF.Term
GroupDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term
gtOrdDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
helloDDF.Sam.Hello
hiddenDDF.Sam.Xor
hoasDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
idDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ImpW 
1 (Type/Class)DDF.ImpW
2 (Data Constructor)DDF.ImpW
inameDDF.Show
InfixDDF.Show
insDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
inst1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instFDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instTDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
InstVDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
instVDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
IntDDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
intDDF.Int, DDF.Lang, DDF.TermGen, DDF.Term
intCmpDDF.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
ioAPDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
ioBindDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
ioJoinDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
ioMapDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
ioPureDDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
isEQDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isEQ1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isGTDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isGT1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isLTDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isLT1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
isOpenDDF.PE
isSquareDDF.Meta.Util
iteDDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ite1DDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ite2DDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ite3DDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
iterateDDF.Lang, DDF.TermGen, DDF.Term
joinDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
join1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
JustDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
KDDF.PE
knowDDF.PE
KnownDDF.PE
KProxy 
1 (Data Constructor)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Type/Class)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
l2 
1 (Function)DDF.Sam.Poly
2 (Function)DDF.Sam.Xor
l22DDF.Sam.Xor
lamDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lam2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lam3DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lam4DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
lamASTDDF.Show
LangDDF.Lang, DDF.TermGen, DDF.Term
leafDDF.Show
LeftDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
let_2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
LiftEnvDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
liftEnvDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
listMatch3DDF.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
ltOrdDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
map1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
map2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mapDictDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
mapMapDDF.Map
mapMap1DDF.Map
mapMap2DDF.Map
MapPEDDF.PE
MaybeDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
MetaOrdDDF.Meta.Diff, DDF.Meta.DiffWrapper, 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
mkFunDDF.PE
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.Meta.Util
mkTDDF.TermGen, DDF.Term
MonadDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
MonoidDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
nameDDF.Show
neuronDDF.Sam.Xor
neuron1DDF.Sam.Xor
newStdGenDDF.Meta.Util
NextDDF.PE
nextDDF.Meta.Util
nilDDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term
NodeDDF.Show
noEnvDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NoImpWDDF.ImpW
NothingDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
nothingDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NTDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
NTSDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ObjOrdDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
OrderingDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
orderingDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
PDDF.PE
parenDDF.Show
peDDF.PE
PlusDDF.Meta.VectorTF
plus 
1 (Function)DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Function)DDF.VectorTF
plus1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
plus2 
1 (Function)DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
PrefixDDF.Show
printDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
ProdDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
prodCmpDDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
2 (Type/Class)DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
pureDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
pure1DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Meta.Util
randomDDF.Meta.Util
RandomGenDDF.Meta.Util
randomIODDF.Meta.Util
randomRDDF.Meta.Util
randomRIODDF.Meta.Util
randomRsDDF.Meta.Util
randomsDDF.Meta.Util
RandRangeDDF.Meta.Util
randRangeDDF.Meta.Util
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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
return1DDF.Lang, DDF.TermGen, DDF.Term
RightDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.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
runDual1DDF.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
runFunDDF.PE
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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
scaleAddDDF.Sam.Xor
scombDDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
scomb2DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
selDDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
sel1DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
sel2DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
sel3DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
sel4DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
selfWithDiffDDF.WithDiff
setStdGenDDF.Meta.Util
Show 
1 (Type/Class)DDF.Show
2 (Data Constructor)DDF.Show
showDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
SingletonMapDDF.PE
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.Meta.Util
StateDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
stateDDF.Lang, DDF.TermGen, DDF.Term
state1DDF.Lang, DDF.TermGen, DDF.Term
staticDDF.PE
StdGenDDF.Meta.Util
strDDF.Sam.Hello
strengthen1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
strengthen2DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
StringDDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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
sumMatch1DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
sumMatch2DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term
sumMatch3DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
trueDDF.Bool, DDF.Ordering, DDF.Double, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
uncurryDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
uncurry1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
vtfCataDDF.Lang, DDF.TermGen, DDF.Term
vtfCata1DDF.Lang, DDF.TermGen, DDF.Term
vtfCmpDDF.VectorTF
vtfMatchDDF.VectorTF
vtfMatch4DDF.VectorTF
vtfMatch5DDF.VectorTF
WeakDDF.PE
weaken1DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term
weaken2DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, 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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.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.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Ordering, DDF.Double, DDF.DiffWrapper, DDF.Int, DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term