$ | 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 |
print | 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 |