findXor | DDF.Xor |
fix | DDF.Lang, DDF.DLang |
fix1 | DDF.Lang, DDF.DLang |
fix2 | DDF.Lang, DDF.DLang |
flip | 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 |
flip1 | 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 |
flip2 | 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 |
Float | DDF.Float, DDF.Lang, DDF.DLang |
float | DDF.Float, DDF.Lang, DDF.DLang |
float2Double | DDF.Lang, DDF.DLang |
float2Double1 | DDF.Lang, DDF.DLang |
floatDivide | DDF.Float, DDF.Lang, DDF.DLang |
floatExp | DDF.Float, DDF.Lang, DDF.DLang |
floatExp1 | DDF.Lang, DDF.DLang |
floatMinus | DDF.Float, DDF.Lang, DDF.DLang |
floatMult | DDF.Float, DDF.Lang, DDF.DLang |
floatOne | DDF.Float, DDF.Lang, DDF.DLang |
floatPlus | DDF.Float, DDF.Lang, DDF.DLang |
floatZero | DDF.Float, DDF.Lang, DDF.DLang |
Forall | 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 |
forall | 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 |
Forall1 | 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 |
ForallF | 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 |
ForallT | 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 |
ForallV | 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 |
fst | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
fst1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
Functor | 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 |