Index
| $ | 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 |
| &&& | 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 |
| * | 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 |
| *** | 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 |
| + | 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 |
| ++ | 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 |
| - | 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 |
| . | 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 |
| / | 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 |
| :- | 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 |
| :=> | 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 |
| < | 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 |
| <= | 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 |
| == | 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 |
| >>= | 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 |
| abs | 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 |
| absurd | 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 |
| alter | DDF.Map |
| ap | 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 |
| App | DDF.Show |
| app | 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 |
| app2 | 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 |
| app3 | 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 |
| appAST | DDF.Show |
| Applicative | 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 |
| asProxyTypeOf | 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 |
| AST | DDF.Show |
| BiFunctor | 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 |
| Bimap | DDF.Bimap, DDF.Lang, DDF.DLang |
| bimap | 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 |
| bimap2 | 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 |
| bimap3 | 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 |
| bind | 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 |
| bind2 | 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 |
| Bool | DDF.Bool, DDF.Lang, DDF.DLang |
| bool | DDF.Bool, DDF.Lang, DDF.DLang |
| Bottom | 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 |
| bottom | 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 |
| Char | DDF.Char, DDF.Lang, DDF.DLang |
| char | DDF.Char, DDF.Lang, DDF.DLang |
| Class | 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 |
| cls | 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 |
| com | 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 |
| com2 | 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 |
| comb | DDF.Eval |
| Combine | |
| 1 (Type/Class) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| combineLeft | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| combineRight | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| comp | DDF.Poly |
| compare | 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 |
| cons | DDF.Lang, DDF.DLang |
| cons2 | DDF.Lang, DDF.DLang |
| const | 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 |
| const1 | 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 |
| Constraint | 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 |
| contract | 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 |
| conv | 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 |
| convS | 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 |
| curry | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| curry1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| dataset | DDF.Xor |
| DBI | 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 |
| Dict | |
| 1 (Data Constructor) | 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 |
| 2 (Type/Class) | 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 |
| Diff | |
| 1 (Type/Class) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| diffInf | DDF.RTInfDiff |
| diffOrd | DDF.Map |
| DiffType | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| divide | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| divide1 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| divide2 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| DLang | DDF.DLang |
| Double | DDF.Double, DDF.Lang, DDF.DLang |
| double | DDF.Double, DDF.Lang, DDF.DLang |
| double2Float | DDF.Lang, DDF.DLang |
| doubleDivide | DDF.Double, DDF.Lang, DDF.DLang |
| doubleExp | DDF.Double, DDF.Lang, DDF.DLang |
| doubleExp1 | DDF.Lang, DDF.DLang |
| doubleMinus | DDF.Double, DDF.Lang, DDF.DLang |
| doubleMult | DDF.Double, DDF.Lang, DDF.DLang |
| doubleOne | DDF.Double, DDF.Lang, DDF.DLang |
| doublePlus | DDF.Double, DDF.Lang, DDF.DLang |
| doubleWeight | DDF.Xor |
| doubleZero | DDF.Double, DDF.Lang, DDF.DLang |
| Dual | |
| 1 (Type/Class) | DDF.Meta.Dual |
| 2 (Data Constructor) | DDF.Meta.Dual |
| 3 (Type/Class) | DDF.Dual, DDF.Lang, DDF.DLang |
| dual | DDF.Dual, DDF.Lang, DDF.DLang |
| dual1 | DDF.Dual, DDF.Lang, DDF.DLang |
| dualDiff | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.DLang |
| dualDiff1 | DDF.Dual, DDF.Lang, DDF.DLang |
| dualOrig | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.DLang |
| dualOrig1 | DDF.Dual, DDF.Lang, DDF.DLang |
| dup | 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 |
| Either | 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 |
| empty | DDF.Map |
| Eval | |
| 1 (Type/Class) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| eval | DDF.Xor |
| exfalso | DDF.Lang, DDF.DLang |
| 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 |
| GDiff | |
| 1 (Type/Class) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| genRange | 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 |
| getStdGen | 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 |
| getStdRandom | 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 |
| GInfDiff | |
| 1 (Type/Class) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| Group | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| hidden | DDF.Xor |
| hoas | 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 |
| id | 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 |
| ImpW | |
| 1 (Type/Class) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| InfDiff | |
| 1 (Type/Class) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| ins | 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 |
| inst | 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 |
| inst1 | 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 |
| instF | 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 |
| instT | 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 |
| InstV | 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 |
| instV | 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 |
| Int | 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 |
| invert | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| invert1 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| IO | 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 |
| ioBind | DDF.Lang, DDF.DLang |
| ioBind2 | DDF.Lang, DDF.DLang |
| ioMap | DDF.Lang, DDF.DLang |
| ioRet | DDF.Lang, DDF.DLang |
| isSquare | 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 |
| ite | DDF.Bool, DDF.Lang, DDF.DLang |
| join | 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 |
| join1 | 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 |
| just | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| KProxy | |
| 1 (Data Constructor) | 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 |
| 2 (Type/Class) | 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 |
| l2 | |
| 1 (Function) | DDF.Poly |
| 2 (Function) | DDF.Xor |
| l22 | DDF.Xor |
| Lam | DDF.Show |
| lam | 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 |
| lam2 | 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 |
| lam3 | 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 |
| lamAST | DDF.Show |
| Lang | DDF.Lang, DDF.DLang |
| Leaf | DDF.Show |
| left | DDF.Lang, DDF.DLang |
| let_ | 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 |
| let_2 | 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 |
| liftEnv | 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 |
| listAppend | DDF.Lang, DDF.DLang |
| listMatch | DDF.Lang, DDF.DLang |
| listMatch2 | DDF.Lang, DDF.DLang |
| lookup | DDF.Map |
| loss | DDF.Xor |
| 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 |
| name | DDF.Show |
| neuron | DDF.Xor |
| neuron1 | DDF.Xor |
| newStdGen | 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 |
| next | 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 |
| nil | DDF.Lang, DDF.DLang |
| noEnv | 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 |
| NoImpW | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| nothing | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| NT | 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 |
| NTS | 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 |
| one | DDF.Size |
| Option | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| optionMatch | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| optionMatch2 | DDF.Lang, DDF.DLang |
| optionMatch3 | DDF.Lang, DDF.DLang |
| Ord | DDF.Map |
| plus | 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 |
| plus2 | 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 |
| poly | DDF.Poly |
| 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 | |
| Prod | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| ProdCon | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| prodCon | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| Proxy | |
| 1 (Data Constructor) | 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 |
| 2 (Type/Class) | 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 |
| pure | 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 |
| putStrLn | DDF.Lang, DDF.DLang |
| Random | 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 |
| random | 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 |
| RandomGen | 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 |
| randomIO | 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 |
| randomR | 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 |
| randomRIO | 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 |
| randomRs | 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 |
| randoms | 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 |
| RandRange | 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 |
| randRange | 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 |
| recip | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| recip1 | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| refl | 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 |
| Reify | DDF.Lang, DDF.DLang |
| reify | DDF.Lang, DDF.DLang |
| return | 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 |
| right | DDF.Lang, DDF.DLang |
| RTInfDiff | |
| 1 (Type/Class) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runDiff | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runDual | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.DLang |
| runEval | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runGDiff | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runGInfDiff | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| RunImpW | |
| 1 (Type/Class) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runImpW | DDF.ImpW |
| runImpW2RunImpWR | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| RunImpWR | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runImpWR2RunImpW | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runInfDiff | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runRTInfDiff | DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runShow | DDF.Show |
| runSize | DDF.Size |
| runState | DDF.Lang, DDF.DLang |
| runState1 | DDF.Lang, DDF.DLang |
| runState2 | DDF.Lang, DDF.DLang |
| runUnHOAS | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| runUnLiftEnv | DDF.UnLiftEnv |
| runWriter | DDF.Lang, DDF.DLang |
| runWriter1 | DDF.Lang, DDF.DLang |
| s | 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 |
| scaleAdd | DDF.Xor |
| scomb | 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 |
| scomb2 | 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 |
| selfWithDiff | DDF.WithDiff |
| setStdGen | 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 |
| Show | |
| 1 (Type/Class) | DDF.Show |
| 2 (Data Constructor) | DDF.Show |
| show | 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 |
| sigmoid | DDF.Xor |
| sigmoid1 | DDF.Xor |
| singleton | DDF.Map |
| Size | |
| 1 (Type/Class) | DDF.Size |
| 2 (Data Constructor) | DDF.Size |
| solve | DDF.Poly |
| split | 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 |
| State | 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 |
| state | DDF.Lang, DDF.DLang |
| state1 | DDF.Lang, DDF.DLang |
| StdGen | 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 |
| strengthen1 | 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 |
| strengthen2 | 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 |
| String | 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 |
| Sub | 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 |
| sumMatch | DDF.Lang, DDF.DLang |
| sumMatch2 | DDF.Lang, DDF.DLang |
| swap | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| top | 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 |
| trans | 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 |
| UInt | |
| 1 (Type/Class) | DDF.UInt |
| 2 (Data Constructor) | DDF.UInt |
| uncurry | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| uncurry1 | DDF.Lang, DDF.DLang |
| undefined | DDF.Lang, DDF.DLang |
| UnHOAS | |
| 1 (Type/Class) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| 2 (Data Constructor) | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| Unit | DDF.Unit, DDF.Lang, DDF.DLang |
| unit | DDF.Unit, DDF.Lang, DDF.DLang |
| UnLiftEnv | |
| 1 (Type/Class) | DDF.UnLiftEnv |
| 2 (Data Constructor) | DDF.UnLiftEnv |
| unLiftEnv | DDF.UnLiftEnv |
| unmapDict | 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 |
| vars | 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 |
| Vector | DDF.Vector, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| Void | 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 |
| weaken1 | 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 |
| weaken2 | 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 |
| Weight | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| weightCon | DDF.Meta.Interpreter, DDF.Meta.Diff, DDF.Lang, DDF.DLang, DDF.GDiff |
| withBias | DDF.Xor |
| withDict | 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 |
| WithDiff | DDF.WithDiff |
| withDiff | DDF.WithDiff |
| withDiff1 | DDF.WithDiff |
| Writer | 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 |
| writer | DDF.Lang, DDF.DLang |
| writer1 | DDF.Lang, DDF.DLang |
| XOR | DDF.Xor |
| xorNet | DDF.Xor |
| z | 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 |
| zero | 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 |
| zro | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| zro1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.DLang |
| \\ | 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 |