DeepDarkFantasy-0.2017.8.4: A DSL for creating neural network.

Index

$DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
&&&DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
*DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
***DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
+DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
++DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
-DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
.DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
/DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
:-DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
:=>DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
<DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
<=DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
==DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
>>=DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
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
absurdDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
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
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
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
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
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
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
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
app_openDDF.PE
ArgDDF.PE
asProxyTypeOfDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
ASTDDF.Show
Basis 
1 (Data Constructor)DDF.Meta.VectorTF
2 (Type/Class)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
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
BimapDDF.Bimap, DDF.Lang
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
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
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
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
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
BoolDDF.Bool, DDF.Double, DDF.Int, DDF.Lang
boolDDF.Bool, DDF.Double, DDF.Int, DDF.Lang
BottomDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
bottomDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
buildFreeVectorDDF.Lang
CharDDF.Char, DDF.IO, DDF.Lang
charDDF.Char, DDF.IO, DDF.Lang
ClassDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
clsDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
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
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
combDDF.Eval
Combine 
1 (Type/Class)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
combineLeftDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
combineRightDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
compDDF.Poly
compareDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
consDDF.List, DDF.IO, DDF.Lang
cons2DDF.List, DDF.IO, DDF.Lang
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
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
ConstraintDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
contractDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
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
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
curryDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
curry1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
datasetDDF.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
Dict 
1 (Data Constructor)DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
2 (Type/Class)DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
Diff 
1 (Type/Class)DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
diffOrdDDF.Map
DiffTypeDDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
DiffWrapper 
1 (Type/Class)DDF.Meta.DiffWrapper
2 (Data Constructor)DDF.Meta.DiffWrapper
3 (Type/Class)DDF.DiffWrapper, DDF.Lang
diffWrapperDDF.DiffWrapper, DDF.Lang
divideDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
divide1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
divide2DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
DoubleDDF.Double, DDF.Lang
doubleDDF.Double, DDF.Lang
double2FloatDDF.Lang
double2Float1DDF.Lang
doubleDivideDDF.Double, DDF.Lang
doubleDivide2DDF.Double, DDF.Lang
doubleEqDDF.Double, DDF.Lang
doubleEq2DDF.Double, DDF.Lang
doubleExpDDF.Double, DDF.Lang
doubleExp1DDF.Double, DDF.Lang
doubleMinusDDF.Double, DDF.Lang
doubleMinus2DDF.Double, DDF.Lang
doubleMultDDF.Double, DDF.Lang
doubleMult2DDF.Double, DDF.Lang
doubleOneDDF.Double, DDF.Lang
doublePlusDDF.Double, DDF.Lang
doublePlus1DDF.Double, DDF.Lang
doublePlus2DDF.Double, DDF.Lang
doubleWeightDDF.Xor
doubleZeroDDF.Double, DDF.Lang
Dual 
1 (Type/Class)DDF.Meta.Dual
2 (Data Constructor)DDF.Meta.Dual
3 (Type/Class)DDF.Dual, DDF.Lang
dualDDF.Dual, DDF.Lang
dual1DDF.Dual, DDF.Lang
dualDiff 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang
dualDiff1DDF.Dual, DDF.Lang
dualOrig 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang
dualOrig1DDF.Dual, DDF.Lang
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
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
DynDDF.PE
dynamicDDF.PE
empty 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang
EnvTDDF.PE
Eval 
1 (Type/Class)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
evalDDF.Xor
exfalsoDDF.Lang
FDiffTypeDDF.Meta.DiffWrapper
findXorDDF.Xor
FixDDF.Fix, DDF.Lang
fixDDF.Fix, DDF.Lang
fix1DDF.Fix, DDF.Lang
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
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
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
FloatDDF.Float, DDF.Lang
floatDDF.Float, DDF.Lang
float2DoubleDDF.Lang
float2Double1DDF.Lang
floatDivideDDF.Float, DDF.Lang
floatExpDDF.Float, DDF.Lang
floatExp1DDF.Lang
floatMinusDDF.Float, DDF.Lang
floatMultDDF.Float, DDF.Lang
floatOneDDF.Float, DDF.Lang
floatPlusDDF.Float, DDF.Lang
floatZeroDDF.Float, DDF.Lang
ForallDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
forallDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
Forall1DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
ForallFDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
ForallTDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
ForallVDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
FreeVector 
1 (Type/Class)DDF.Meta.FreeVector
2 (Data Constructor)DDF.Meta.FreeVector
3 (Type/Class)DDF.FreeVector, DDF.Lang
freeVectorDDF.FreeVector, DDF.Lang
freeVector1DDF.FreeVector, DDF.Lang
FreeVectorBuilderDDF.Lang
fstDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
fst1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
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
GDiff 
1 (Type/Class)DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
genRangeDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
getDDF.Lang
get1DDF.Lang
getStdGenDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
getStdRandomDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
getVarDDF.Lang
GroupDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
hiddenDDF.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
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
ImpW 
1 (Type/Class)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
insDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
insert 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang
insert2 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang
instDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
inst1DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
instFDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
instTDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
InstVDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
instVDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
IntDDF.Int, DDF.Lang
intDDF.Int, DDF.Lang
invertDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
invert1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
IODDF.IO, DDF.Lang
isSquareDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
isZeroDDF.Int, DDF.Lang
isZero1DDF.Int, DDF.Lang
iteDDF.Bool, DDF.Double, DDF.Int, DDF.Lang
ite1DDF.Bool, DDF.Double, DDF.Int, DDF.Lang
ite2DDF.Bool, DDF.Double, DDF.Int, DDF.Lang
ite3DDF.Bool, DDF.Double, DDF.Int, DDF.Lang
iterateDDF.Lang
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
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
justDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang
just1DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang
KProxy 
1 (Data Constructor)DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
2 (Type/Class)DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
l2 
1 (Function)DDF.Poly
2 (Function)DDF.Xor
l22DDF.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
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
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
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
lamASTDDF.Show
LangDDF.Lang
LeafDDF.Show
leftDDF.Sum, DDF.Lang
left1DDF.Sum, DDF.Lang
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
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
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
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
ListDDF.List, DDF.IO, DDF.Lang
listAppendDDF.List, DDF.IO, DDF.Lang
listMatchDDF.List, DDF.IO, DDF.Lang
listMatch2DDF.List, DDF.IO, DDF.Lang
lookupDDF.Map
lookup2DDF.Map
lookupLDDF.Bimap, DDF.Lang
lookupL2DDF.Bimap, DDF.Lang
lookupRDDF.Bimap, DDF.Lang
lossDDF.Xor
main 
1 (Function)DDF.Poly
2 (Function)DDF.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
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
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
mapDictDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
mapMapDDF.Map
mapMap1DDF.Map
mapMap2DDF.Map
MaybeDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
minusDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
minus1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
minus2DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
mkDual 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang
mkDual2DDF.Dual, DDF.Lang
mkProdDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
mkProd1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
mkProd2DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
mkStdGenDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
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
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
MultDDF.Meta.VectorTF
mult 
1 (Function)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Function)DDF.VectorTF
mult1 
1 (Function)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Function)DDF.VectorTF
mult2 
1 (Function)DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Function)DDF.VectorTF
nameDDF.Show
neuronDDF.Xor
neuron1DDF.Xor
newStdGenDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
NextDDF.PE
nextDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
nilDDF.List, DDF.IO, DDF.Lang
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
NoImpWDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
nothingDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang
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
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
oneDDF.Size
OpenDDF.PE
OptionDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang
optionMatchDDF.Option, DDF.Map, DDF.Bimap, DDF.Lang
optionMatch2DDF.Lang
optionMatch3DDF.Lang
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
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
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
2 (Function)DDF.VectorTF
polyDDF.Poly
predDDF.Int, DDF.Lang
pred1DDF.Int, DDF.Lang
printDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
ProdDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
ProdConDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
prodConDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
Proxy 
1 (Data Constructor)DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
2 (Type/Class)DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
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
putStrLnDDF.IO, DDF.Lang
RandomDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randomDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
RandomGenDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randomIODDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randomRDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randomRIODDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randomRsDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randomsDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
RandRangeDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
randRangeDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
recipDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
recip1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
reflDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
ReifyDDF.Lang
reifyDDF.Lang
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
return1DDF.Lang
rightDDF.Sum, DDF.Lang
right1DDF.Sum, DDF.Lang
runDiffDDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
runDiffWrapper 
1 (Function)DDF.Meta.DiffWrapper
2 (Function)DDF.DiffWrapper, DDF.Lang
runDual 
1 (Function)DDF.Meta.Dual
2 (Function)DDF.Dual, DDF.Lang
runEvalDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
runFixDDF.Fix, DDF.Lang
runFix1DDF.Fix, DDF.Lang
runFreeVector 
1 (Function)DDF.Meta.FreeVector
2 (Function)DDF.FreeVector, DDF.Lang
runFreeVector1DDF.FreeVector, DDF.Lang
runFreeVector2DDF.FreeVector, DDF.Lang
runGDiffDDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
RunImpW 
1 (Type/Class)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
runImpWDDF.ImpW
runImpW2RunImpWRDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
RunImpWRDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
runImpWR2RunImpWDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
runShowDDF.Show
runSizeDDF.Size
runStateDDF.Lang
runState1DDF.Lang
runState2DDF.Lang
runUnHOASDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
runUnLiftEnvDDF.UnLiftEnv
runWriterDDF.Lang
runWriter1DDF.Lang
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
scaleAddDDF.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
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
selfWithDiffDDF.WithDiff
setStdGenDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
Show 
1 (Type/Class)DDF.Show
2 (Data Constructor)DDF.Show
showDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
sigmoidDDF.Xor
sigmoid1DDF.Xor
singleton 
1 (Function)DDF.Map
2 (Function)DDF.Bimap, DDF.Lang
singleton2DDF.Map
Size 
1 (Type/Class)DDF.Size
2 (Data Constructor)DDF.Size
sizeDDF.Bimap, DDF.Lang
size1DDF.Bimap, DDF.Lang
solveDDF.Poly
splitDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
StaFunDDF.PE
StateDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
stateDDF.Lang
state1DDF.Lang
StaticDDF.PE
StdGenDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
strengthen1DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
strengthen2DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
StringDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
SubDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
SumDDF.Sum, DDF.Lang
sumMatchDDF.Sum, DDF.Lang
sumMatch2DDF.Sum, DDF.Lang
SVTFBuilderDDF.Lang
swapDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
toFreeVectorDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
toFreeVector1DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
toMapLDDF.Bimap, DDF.Lang
toMapRDDF.Bimap, DDF.Lang
topDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
toSVTFBuilderDDF.Lang
toSVTFBuilder1DDF.Lang
transDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
UInt 
1 (Type/Class)DDF.UInt
2 (Data Constructor)DDF.UInt
uncurryDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
uncurry1DDF.Lang
undefinedDDF.Y, DDF.List, DDF.IO, DDF.Lang
UnHOAS 
1 (Type/Class)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
2 (Data Constructor)DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
unionWithDDF.Map
unionWith1DDF.Map
UnitDDF.Unit, DDF.IO, DDF.Lang
unitDDF.Unit, DDF.IO, DDF.Lang
UnkDDF.PE
UnLiftEnv 
1 (Type/Class)DDF.UnLiftEnv
2 (Data Constructor)DDF.UnLiftEnv
unLiftEnvDDF.UnLiftEnv
unmapDictDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
updateDDF.Lang
update1DDF.Lang
updateLDDF.Bimap, DDF.Lang
updateRDDF.Bimap, DDF.Lang
updateWengertDDF.Lang
updateWengert1DDF.Lang
updateWengert2DDF.Lang
varsDDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
VectorDDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
VectorTF 
1 (Type/Class)DDF.Meta.VectorTF
2 (Type/Class)DDF.VectorTF
VoidDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
vtfCataDDF.Lang
vtfCata1DDF.Lang
vtfMatchDDF.VectorTF
vtfMatch4DDF.VectorTF
vtfMatch5DDF.VectorTF
WeakDDF.PE
weaken1DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
weaken2DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
WeightDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
weightConDDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang
withBiasDDF.Xor
withDictDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
WithDiffDDF.WithDiff
withDiffDDF.WithDiff
withDiff1DDF.WithDiff
WriterDDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang
writerDDF.Lang
writer1DDF.Lang
XORDDF.Xor
xorNetDDF.Xor
YDDF.Y, DDF.List, DDF.IO, DDF.Lang
yDDF.Y, DDF.List, DDF.IO, DDF.Lang
y1DDF.Y, DDF.List, DDF.IO, DDF.Lang
y2DDF.Y, DDF.List, DDF.IO, DDF.Lang
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
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
2 (Function)DDF.VectorTF
zroDDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
zro1DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang
\\DDF.ImportMeta, DDF.Meta.Interpreter, 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.Meta.Diff, DDF.Map, DDF.Meta.DiffWrapper, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang