main | |
1 (Function) | DDF.Poly |
2 (Function) | DDF.Xor |
Map | DDF.Map |
map | DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang |
map1 | DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang |
map2 | DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang |
mapDict | DDF.ImportMeta, DDF.Meta.Interpreter, DDF.DBI, DDF.Double, DDF.Meta.Diff, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang, DDF.GDiff |
mapMap | DDF.Map |
Maybe | DDF.ImportMeta, DDF.Meta.Interpreter, DDF.DBI, DDF.Double, DDF.Meta.Diff, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang, DDF.GDiff |
minus | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
minus1 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
minus2 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
mkDual | |
1 (Function) | DDF.Meta.Dual |
2 (Function) | DDF.Dual, DDF.Lang, DDF.DLang |
mkDual2 | DDF.Dual, DDF.Lang, DDF.DLang |
mkProd | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
mkProd1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
mkProd2 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
mkStdGen | DDF.Util, DDF.ImportMeta, DDF.Meta.Interpreter, DDF.DBI, DDF.Double, DDF.Meta.Diff, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang, DDF.GDiff |
Monad | DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang |
Monoid | DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Unit, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang, DDF.DLang |
mult | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
mult1 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
mult2 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |