git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Semiring.Generic/index.js
142 lines 5.0 kB history raw
1// Generated by purs version 0.15.16
2import * as Data_Generic_Rep from "../Data.Generic.Rep/index.js";
3import * as Data_Semiring from "../Data.Semiring/index.js";
4var genericZero$prime = function (dict) {
5 return dict["genericZero'"];
6};
7var genericZero = function (dictGeneric) {
8 var to = Data_Generic_Rep.to(dictGeneric);
9 return function (dictGenericSemiring) {
10 return to(genericZero$prime(dictGenericSemiring));
11 };
12};
13var genericSemiringNoArguments = /* #__PURE__ */ (function () {
14 return {
15 "genericAdd'": function (v) {
16 return function (v1) {
17 return Data_Generic_Rep.NoArguments.value;
18 };
19 },
20 "genericZero'": Data_Generic_Rep.NoArguments.value,
21 "genericMul'": function (v) {
22 return function (v1) {
23 return Data_Generic_Rep.NoArguments.value;
24 };
25 },
26 "genericOne'": Data_Generic_Rep.NoArguments.value
27 };
28})();
29var genericSemiringArgument = function (dictSemiring) {
30 var add = Data_Semiring.add(dictSemiring);
31 var mul = Data_Semiring.mul(dictSemiring);
32 return {
33 "genericAdd'": function (v) {
34 return function (v1) {
35 return add(v)(v1);
36 };
37 },
38 "genericZero'": Data_Semiring.zero(dictSemiring),
39 "genericMul'": function (v) {
40 return function (v1) {
41 return mul(v)(v1);
42 };
43 },
44 "genericOne'": Data_Semiring.one(dictSemiring)
45 };
46};
47var genericOne$prime = function (dict) {
48 return dict["genericOne'"];
49};
50var genericOne = function (dictGeneric) {
51 var to = Data_Generic_Rep.to(dictGeneric);
52 return function (dictGenericSemiring) {
53 return to(genericOne$prime(dictGenericSemiring));
54 };
55};
56var genericMul$prime = function (dict) {
57 return dict["genericMul'"];
58};
59var genericMul = function (dictGeneric) {
60 var to = Data_Generic_Rep.to(dictGeneric);
61 var from = Data_Generic_Rep.from(dictGeneric);
62 return function (dictGenericSemiring) {
63 var genericMul$prime1 = genericMul$prime(dictGenericSemiring);
64 return function (x) {
65 return function (y) {
66 return to(genericMul$prime1(from(x))(from(y)));
67 };
68 };
69 };
70};
71var genericAdd$prime = function (dict) {
72 return dict["genericAdd'"];
73};
74var genericSemiringConstructor = function (dictGenericSemiring) {
75 var genericAdd$prime1 = genericAdd$prime(dictGenericSemiring);
76 var genericMul$prime1 = genericMul$prime(dictGenericSemiring);
77 return {
78 "genericAdd'": function (v) {
79 return function (v1) {
80 return genericAdd$prime1(v)(v1);
81 };
82 },
83 "genericZero'": genericZero$prime(dictGenericSemiring),
84 "genericMul'": function (v) {
85 return function (v1) {
86 return genericMul$prime1(v)(v1);
87 };
88 },
89 "genericOne'": genericOne$prime(dictGenericSemiring)
90 };
91};
92var genericSemiringProduct = function (dictGenericSemiring) {
93 var genericAdd$prime1 = genericAdd$prime(dictGenericSemiring);
94 var genericZero$prime1 = genericZero$prime(dictGenericSemiring);
95 var genericMul$prime1 = genericMul$prime(dictGenericSemiring);
96 var genericOne$prime1 = genericOne$prime(dictGenericSemiring);
97 return function (dictGenericSemiring1) {
98 var genericAdd$prime2 = genericAdd$prime(dictGenericSemiring1);
99 var genericMul$prime2 = genericMul$prime(dictGenericSemiring1);
100 return {
101 "genericAdd'": function (v) {
102 return function (v1) {
103 return new Data_Generic_Rep.Product(genericAdd$prime1(v.value0)(v1.value0), genericAdd$prime2(v.value1)(v1.value1));
104 };
105 },
106 "genericZero'": new Data_Generic_Rep.Product(genericZero$prime1, genericZero$prime(dictGenericSemiring1)),
107 "genericMul'": function (v) {
108 return function (v1) {
109 return new Data_Generic_Rep.Product(genericMul$prime1(v.value0)(v1.value0), genericMul$prime2(v.value1)(v1.value1));
110 };
111 },
112 "genericOne'": new Data_Generic_Rep.Product(genericOne$prime1, genericOne$prime(dictGenericSemiring1))
113 };
114 };
115};
116var genericAdd = function (dictGeneric) {
117 var to = Data_Generic_Rep.to(dictGeneric);
118 var from = Data_Generic_Rep.from(dictGeneric);
119 return function (dictGenericSemiring) {
120 var genericAdd$prime1 = genericAdd$prime(dictGenericSemiring);
121 return function (x) {
122 return function (y) {
123 return to(genericAdd$prime1(from(x))(from(y)));
124 };
125 };
126 };
127};
128export {
129 genericAdd$prime,
130 genericMul$prime,
131 genericOne$prime,
132 genericZero$prime,
133 genericZero,
134 genericOne,
135 genericAdd,
136 genericMul,
137 genericSemiringNoArguments,
138 genericSemiringArgument,
139 genericSemiringProduct,
140 genericSemiringConstructor
141};
142//# sourceMappingURL=index.js.map