Index - D
| dataset | DDF.Sam.Xor |
| DBI | DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| Dict | |
| 1 (Data Constructor) | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| 2 (Type/Class) | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| Diff | |
| 1 (Type/Class) | DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| 2 (Data Constructor) | DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| diffOrd | DDF.Map |
| DiffType | DDF.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 |
| diffWrapper | DDF.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| divide | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| divide1 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| divide2 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| Double | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| double | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| double2Float | DDF.Lang, DDF.TermGen, DDF.Term |
| double2Float1 | DDF.Lang, DDF.TermGen, DDF.Term |
| doubleDivide | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleDivide2 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleEq | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleEq2 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleExp | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleExp1 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleMinus | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleMinus2 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleMult | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleMult2 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleOne | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doublePlus | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doublePlus1 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doublePlus2 | DDF.Double, DDF.Lang, DDF.TermGen, DDF.Term |
| doubleWeight | DDF.Sam.Xor |
| doubleZero | DDF.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 |
| dual | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| dual1 | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| dualDiff | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| dualDiff1 | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| dualOrig | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| dualOrig1 | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| dup | DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| dup1 | DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| Dyn | DDF.PE |
| dynamic | DDF.PE |