git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Ring/index.js
142 lines 4.1 kB history raw
1// Generated by purs version 0.15.16
2import * as $foreign from "./foreign.js";
3import * as Data_Semiring from "../Data.Semiring/index.js";
4import * as Data_Symbol from "../Data.Symbol/index.js";
5import * as Data_Unit from "../Data.Unit/index.js";
6import * as Record_Unsafe from "../Record.Unsafe/index.js";
7import * as Type_Proxy from "../Type.Proxy/index.js";
8var semiringRecord = /* #__PURE__ */ Data_Semiring.semiringRecord();
9var subRecord = function (dict) {
10 return dict.subRecord;
11};
12var sub = function (dict) {
13 return dict.sub;
14};
15var ringUnit = {
16 sub: function (v) {
17 return function (v1) {
18 return Data_Unit.unit;
19 };
20 },
21 Semiring0: function () {
22 return Data_Semiring.semiringUnit;
23 }
24};
25var ringRecordNil = {
26 subRecord: function (v) {
27 return function (v1) {
28 return function (v2) {
29 return {};
30 };
31 };
32 },
33 SemiringRecord0: function () {
34 return Data_Semiring.semiringRecordNil;
35 }
36};
37var ringRecordCons = function (dictIsSymbol) {
38 var reflectSymbol = Data_Symbol.reflectSymbol(dictIsSymbol);
39 var semiringRecordCons = Data_Semiring.semiringRecordCons(dictIsSymbol)();
40 return function () {
41 return function (dictRingRecord) {
42 var subRecord1 = subRecord(dictRingRecord);
43 var semiringRecordCons1 = semiringRecordCons(dictRingRecord.SemiringRecord0());
44 return function (dictRing) {
45 var sub1 = sub(dictRing);
46 var semiringRecordCons2 = semiringRecordCons1(dictRing.Semiring0());
47 return {
48 subRecord: function (v) {
49 return function (ra) {
50 return function (rb) {
51 var tail = subRecord1(Type_Proxy["Proxy"].value)(ra)(rb);
52 var key = reflectSymbol(Type_Proxy["Proxy"].value);
53 var insert = Record_Unsafe.unsafeSet(key);
54 var get = Record_Unsafe.unsafeGet(key);
55 return insert(sub1(get(ra))(get(rb)))(tail);
56 };
57 };
58 },
59 SemiringRecord0: function () {
60 return semiringRecordCons2;
61 }
62 };
63 };
64 };
65 };
66};
67var ringRecord = function () {
68 return function (dictRingRecord) {
69 var semiringRecord1 = semiringRecord(dictRingRecord.SemiringRecord0());
70 return {
71 sub: subRecord(dictRingRecord)(Type_Proxy["Proxy"].value),
72 Semiring0: function () {
73 return semiringRecord1;
74 }
75 };
76 };
77};
78var ringProxy = {
79 sub: function (v) {
80 return function (v1) {
81 return Type_Proxy["Proxy"].value;
82 };
83 },
84 Semiring0: function () {
85 return Data_Semiring.semiringProxy;
86 }
87};
88var ringNumber = {
89 sub: $foreign.numSub,
90 Semiring0: function () {
91 return Data_Semiring.semiringNumber;
92 }
93};
94var ringInt = {
95 sub: $foreign.intSub,
96 Semiring0: function () {
97 return Data_Semiring.semiringInt;
98 }
99};
100var ringFn = function (dictRing) {
101 var sub1 = sub(dictRing);
102 var semiringFn = Data_Semiring.semiringFn(dictRing.Semiring0());
103 return {
104 sub: function (f) {
105 return function (g) {
106 return function (x) {
107 return sub1(f(x))(g(x));
108 };
109 };
110 },
111 Semiring0: function () {
112 return semiringFn;
113 }
114 };
115};
116var negate = function (dictRing) {
117 var sub1 = sub(dictRing);
118 var zero = Data_Semiring.zero(dictRing.Semiring0());
119 return function (a) {
120 return sub1(zero)(a);
121 };
122};
123export {
124 sub,
125 negate,
126 subRecord,
127 ringInt,
128 ringNumber,
129 ringUnit,
130 ringFn,
131 ringProxy,
132 ringRecord,
133 ringRecordNil,
134 ringRecordCons
135};
136export {
137 add,
138 mul,
139 one,
140 zero
141} from "../Data.Semiring/index.js";
142//# sourceMappingURL=index.js.map