Index
| $ | 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 |
| &&& | 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 |
| * | 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 |
| *** | 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 |
| + | 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 |
| ++ | 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 |
| - | 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 |
| . | 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 |
| / | 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 |
| :- | 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 |
| :=> | 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 |
| < | 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 |
| <= | 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 |
| == | 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 |
| >>= | 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 |
| abs | 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 |
| absurd | 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 |
| alter | DDF.Map |
| alter2 | DDF.Map |
| ap | 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 |
| App | DDF.Show |
| app | 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 |
| app2 | 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 |
| app3 | 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 |
| app4 | 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 |
| app5 | 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 |
| appAST | DDF.Show |
| Applicative | 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 |
| app_open | DDF.PE |
| Arg | DDF.PE |
| asProxyTypeOf | 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 |
| AST | DDF.Show |
| Basis | |
| 1 (Data Constructor) | DDF.Meta.VectorTF |
| 2 (Type/Class) | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| basis | DDF.VectorTF |
| BiFunctor | 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 |
| Bimap | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| bimap | 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 |
| bimap2 | 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 |
| bimap3 | 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 |
| bind | 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 |
| bind2 | 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 |
| Bool | DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| bool | DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| Bottom | 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 |
| bottom | 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 |
| buildFreeVector | DDF.Lang, DDF.TermGen, DDF.Term |
| Char | DDF.Char, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| char | DDF.Char, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| 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 |
| cls | 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 |
| com | 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 |
| com2 | 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 |
| comb | DDF.Eval |
| comp | DDF.Poly |
| compare | 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 |
| cons | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| cons2 | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| const | 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 |
| const1 | 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 |
| Constraint | 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 |
| contract | 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 |
| conv | 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 |
| convS | 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 |
| curry | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| curry1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| dataset | DDF.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.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 |
| empty | |
| 1 (Function) | DDF.Map |
| 2 (Function) | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| EnvT | DDF.PE |
| Eval | |
| 1 (Type/Class) | DDF.Eval |
| 2 (Data Constructor) | DDF.Eval |
| eval | DDF.Xor |
| exfalso | DDF.Lang, DDF.TermGen, DDF.Term |
| FDiffType | DDF.Meta.DiffWrapper |
| findXor | DDF.Xor |
| Fix | DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term |
| fix | DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term |
| fix1 | DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term |
| flip | 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 |
| flip1 | 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 |
| flip2 | 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 |
| Float | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| float | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| float2Double | DDF.Lang, DDF.TermGen, DDF.Term |
| float2Double1 | DDF.Lang, DDF.TermGen, DDF.Term |
| floatDivide | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| floatExp | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| floatExp1 | DDF.Lang, DDF.TermGen, DDF.Term |
| floatMinus | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| floatMult | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| floatOne | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| floatPlus | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| floatZero | DDF.Float, DDF.Lang, DDF.TermGen, DDF.Term |
| Forall | 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 |
| forall | 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 |
| Forall1 | 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 |
| ForallF | 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 |
| ForallT | 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 |
| ForallV | 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 |
| FreeVector | |
| 1 (Type/Class) | DDF.Meta.FreeVector |
| 2 (Data Constructor) | DDF.Meta.FreeVector |
| 3 (Type/Class) | DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term |
| freeVector | DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term |
| freeVector1 | DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term |
| FreeVectorBuilder | DDF.Lang, DDF.TermGen, DDF.Term |
| fst | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| fst1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| Functor | 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 |
| genInstance | DDF.TermGen, DDF.Term |
| genRange | DDF.Util, 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 |
| get | DDF.Lang, DDF.TermGen, DDF.Term |
| get1 | DDF.Lang, DDF.TermGen, DDF.Term |
| getStdGen | DDF.Util, 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 |
| getStdRandom | DDF.Util, 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 |
| getVar | DDF.Lang, DDF.TermGen, DDF.Term |
| Group | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| hidden | DDF.Xor |
| hoas | 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 |
| id | 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 |
| ImpW | |
| 1 (Type/Class) | DDF.ImpW |
| 2 (Data Constructor) | DDF.ImpW |
| ins | 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 |
| insert | |
| 1 (Function) | DDF.Map |
| 2 (Function) | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| insert2 | |
| 1 (Function) | DDF.Map |
| 2 (Function) | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| inst | 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 |
| inst1 | 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 |
| instF | 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 |
| instT | 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 |
| InstV | 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 |
| instV | 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 |
| Int | DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| int | DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| invert | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| invert1 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| IO | DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| isSquare | DDF.Util, 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 |
| isZero | DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| isZero1 | DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| ite | DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| ite1 | DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| ite2 | DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| ite3 | DDF.Bool, DDF.Double, DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| iterate | DDF.Lang, DDF.TermGen, DDF.Term |
| join | 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 |
| join1 | 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 |
| just | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| just1 | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| KProxy | |
| 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 |
| l2 | |
| 1 (Function) | DDF.Poly |
| 2 (Function) | DDF.Xor |
| l22 | DDF.Xor |
| Lam | DDF.Show |
| lam | 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 |
| lam2 | 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 |
| lam3 | 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 |
| lam4 | 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 |
| lamAST | DDF.Show |
| Lang | DDF.Lang, DDF.TermGen, DDF.Term |
| Leaf | DDF.Show |
| left | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| left1 | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| let_ | 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 |
| let_2 | 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 |
| LiftEnv | 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 |
| liftEnv | 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 |
| List | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| listAppend | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| listMatch | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| listMatch2 | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| lookup | DDF.Map |
| lookup2 | DDF.Map |
| lookupL | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| lookupL2 | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| lookupR | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| loss | DDF.Xor |
| 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, DDF.TermGen, DDF.Term |
| 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, DDF.TermGen, DDF.Term |
| 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, DDF.TermGen, DDF.Term |
| mapDict | 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 |
| mapMap | DDF.Map |
| mapMap1 | DDF.Map |
| mapMap2 | DDF.Map |
| Maybe | 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 |
| minus | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| minus1 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| minus2 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| mkDual | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| mkDual2 | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| mkProd | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| mkProd1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| mkProd2 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| mkStdGen | DDF.Util, 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 |
| mkT | DDF.TermGen, DDF.Term |
| 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, DDF.TermGen, DDF.Term |
| 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, DDF.TermGen, DDF.Term |
| Mult | DDF.Meta.VectorTF |
| mult | |
| 1 (Function) | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| 2 (Function) | DDF.VectorTF |
| mult1 | |
| 1 (Function) | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| 2 (Function) | DDF.VectorTF |
| mult2 | |
| 1 (Function) | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| 2 (Function) | DDF.VectorTF |
| name | DDF.Show |
| neuron | DDF.Xor |
| neuron1 | DDF.Xor |
| newStdGen | DDF.Util, 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 |
| Next | DDF.PE |
| next | DDF.Util, 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 |
| nil | DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| noEnv | 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 |
| NoImpW | DDF.ImpW |
| nothing | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| NT | 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 |
| NTS | 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 |
| one | DDF.Size |
| Open | DDF.PE |
| Option | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| optionMatch | DDF.Option, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| optionMatch2 | DDF.Lang, DDF.TermGen, DDF.Term |
| optionMatch3 | DDF.Lang, DDF.TermGen, DDF.Term |
| Ord | DDF.Map |
| P | DDF.PE |
| pe | DDF.PE |
| Plus | DDF.Meta.VectorTF |
| plus | |
| 1 (Function) | 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 (Function) | DDF.VectorTF |
| plus1 | 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 |
| plus2 | |
| 1 (Function) | 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 (Function) | DDF.VectorTF |
| poly | DDF.Poly |
| pred | DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| pred1 | DDF.Int, DDF.Lang, DDF.TermGen, DDF.Term |
| 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 | |
| Prod | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| ProdCon | DDF.ImpW |
| prodCon | DDF.ImpW |
| Proxy | |
| 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 |
| pure | 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 |
| putStrLn | DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| Random | DDF.Util, 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 |
| random | DDF.Util, 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 |
| RandomGen | DDF.Util, 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 |
| randomIO | DDF.Util, 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 |
| randomR | DDF.Util, 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 |
| randomRIO | DDF.Util, 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 |
| randomRs | DDF.Util, 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 |
| randoms | DDF.Util, 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 |
| RandRange | DDF.Util, 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 |
| randRange | DDF.Util, 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 |
| recip | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| recip1 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| refl | 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 |
| Reify | DDF.Lang, DDF.TermGen, DDF.Term |
| reify | DDF.Lang, DDF.TermGen, DDF.Term |
| return | 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 |
| return1 | DDF.Lang, DDF.TermGen, DDF.Term |
| right | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| right1 | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| runDiff | DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| runDiffWrapper | |
| 1 (Function) | DDF.Meta.DiffWrapper |
| 2 (Function) | DDF.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| runDual | |
| 1 (Function) | DDF.Meta.Dual |
| 2 (Function) | DDF.Dual, DDF.Lang, DDF.TermGen, DDF.Term |
| runEval | DDF.Eval |
| runFix | DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term |
| runFix1 | DDF.Fix, DDF.Lang, DDF.TermGen, DDF.Term |
| runFreeVector | |
| 1 (Function) | DDF.Meta.FreeVector |
| 2 (Function) | DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term |
| runFreeVector1 | DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term |
| runFreeVector2 | DDF.FreeVector, DDF.Lang, DDF.TermGen, DDF.Term |
| RunImpW | |
| 1 (Type/Class) | DDF.ImpW |
| 2 (Data Constructor) | DDF.ImpW |
| runImpW | DDF.ImpW |
| runImpW2RunImpWR | DDF.ImpW |
| RunImpWR | DDF.ImpW |
| runImpWR2RunImpW | DDF.ImpW |
| runShow | DDF.Show |
| runSize | DDF.Size |
| runState | DDF.Lang, DDF.TermGen, DDF.Term |
| runState1 | DDF.Lang, DDF.TermGen, DDF.Term |
| runState2 | DDF.Lang, DDF.TermGen, DDF.Term |
| runTerm | DDF.TermGen, DDF.Term |
| runUnHOAS | DDF.UnHOAS |
| runUnLiftEnv | DDF.UnLiftEnv |
| runWriter | DDF.Lang, DDF.TermGen, DDF.Term |
| runWriter1 | DDF.Lang, DDF.TermGen, DDF.Term |
| s | 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 |
| scaleAdd | DDF.Xor |
| scomb | 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 |
| scomb2 | 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 |
| selfWithDiff | DDF.WithDiff |
| setStdGen | DDF.Util, 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 |
| Show | |
| 1 (Type/Class) | DDF.Show |
| 2 (Data Constructor) | DDF.Show |
| show | 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 |
| sigmoid | DDF.Xor |
| sigmoid1 | DDF.Xor |
| singleton | |
| 1 (Function) | DDF.Map |
| 2 (Function) | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| singleton2 | DDF.Map |
| Size | |
| 1 (Type/Class) | DDF.Size |
| 2 (Data Constructor) | DDF.Size |
| size | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| size1 | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| solve | DDF.Poly |
| split | DDF.Util, 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 |
| StaFun | DDF.PE |
| State | 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 |
| state | DDF.Lang, DDF.TermGen, DDF.Term |
| state1 | DDF.Lang, DDF.TermGen, DDF.Term |
| Static | DDF.PE |
| StdGen | DDF.Util, 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 |
| strengthen1 | 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 |
| strengthen2 | 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 |
| String | 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 |
| Sub | 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 |
| sub | DDF.TermGen, DDF.Term |
| SubL | DDF.TermGen, DDF.Term |
| SubLC | DDF.TermGen, DDF.Term |
| Sum | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| sumMatch | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| sumMatch2 | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
| SVTFBuilder | DDF.Lang, DDF.TermGen, DDF.Term |
| swap | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| Term | |
| 1 (Type/Class) | DDF.TermGen, DDF.Term |
| 2 (Data Constructor) | DDF.TermGen, DDF.Term |
| toFreeVector | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| toFreeVector1 | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| toMapL | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| toMapR | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| top | 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 |
| toSVTFBuilder | DDF.Lang, DDF.TermGen, DDF.Term |
| toSVTFBuilder1 | DDF.Lang, DDF.TermGen, DDF.Term |
| trans | 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 |
| UInt | |
| 1 (Type/Class) | DDF.UInt |
| 2 (Data Constructor) | DDF.UInt |
| uncurry | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| uncurry1 | DDF.Lang, DDF.TermGen, DDF.Term |
| undefined | DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| UnHOAS | |
| 1 (Type/Class) | DDF.UnHOAS |
| 2 (Data Constructor) | DDF.UnHOAS |
| unionWith | DDF.Map |
| unionWith1 | DDF.Map |
| Unit | DDF.Unit, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| unit | DDF.Unit, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| Unk | DDF.PE |
| UnLiftEnv | |
| 1 (Type/Class) | DDF.UnLiftEnv |
| 2 (Data Constructor) | DDF.UnLiftEnv |
| unLiftEnv | DDF.UnLiftEnv |
| unmapDict | 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 |
| update | DDF.Lang, DDF.TermGen, DDF.Term |
| update1 | DDF.Lang, DDF.TermGen, DDF.Term |
| updateL | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| updateR | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| updateWengert | DDF.Lang, DDF.TermGen, DDF.Term |
| updateWengert1 | DDF.Lang, DDF.TermGen, DDF.Term |
| updateWengert2 | DDF.Lang, DDF.TermGen, DDF.Term |
| vars | DDF.Util, 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 |
| Vector | DDF.Vector, DDF.Meta.Diff, DDF.Meta.DiffWrapper, DDF.Lang, DDF.TermGen, DDF.Term |
| VectorTF | |
| 1 (Type/Class) | DDF.Meta.VectorTF |
| 2 (Type/Class) | DDF.VectorTF |
| Void | 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 |
| vtfCata | DDF.Lang, DDF.TermGen, DDF.Term |
| vtfCata1 | DDF.Lang, DDF.TermGen, DDF.Term |
| vtfMatch | DDF.VectorTF |
| vtfMatch4 | DDF.VectorTF |
| vtfMatch5 | DDF.VectorTF |
| Weak | DDF.PE |
| weaken1 | 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 |
| weaken2 | 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 |
| Weight | DDF.ImpW |
| weightCon | DDF.ImpW |
| withBias | DDF.Xor |
| withDict | 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 |
| WithDiff | DDF.WithDiff |
| withDiff | DDF.WithDiff |
| withDiff1 | DDF.WithDiff |
| Writer | 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 |
| writer | DDF.Lang, DDF.TermGen, DDF.Term |
| writer1 | DDF.Lang, DDF.TermGen, DDF.Term |
| XOR | DDF.Xor |
| xorNet | DDF.Xor |
| Y | DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| y | DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| y1 | DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| y2 | DDF.Y, DDF.List, DDF.IO, DDF.Lang, DDF.TermGen, DDF.Term |
| z | 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 |
| Zero | DDF.Meta.VectorTF |
| zero | |
| 1 (Function) | 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 (Function) | DDF.VectorTF |
| zro | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| zro1 | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
| \\ | 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 |