main | |
1 (Function) | DDF.Poly |
2 (Function) | DDF.Xor |
Map | DDF.Map |
map | 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 |
map1 | 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 |
map2 | 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 |
mapDict | 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 |
mapMap | DDF.Map |
mapMap1 | DDF.Map |
mapMap2 | DDF.Map |
Maybe | 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 |
minus | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang |
minus1 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang |
minus2 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang |
mkDual | |
1 (Function) | DDF.Meta.Dual |
2 (Function) | DDF.Dual, DDF.Lang |
mkDual2 | DDF.Dual, DDF.Lang |
mkProd | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang |
mkProd1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang |
mkProd2 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang |
mkStdGen | DDF.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 |
Monad | 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 |
Monoid | 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 |
Mult | DDF.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 |