git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Monoid/index.js
153 lines 5.0 kB history raw
1// Generated by purs version 0.15.16
2import * as Data_Boolean from "../Data.Boolean/index.js";
3import * as Data_EuclideanRing from "../Data.EuclideanRing/index.js";
4import * as Data_Ordering from "../Data.Ordering/index.js";
5import * as Data_Semigroup from "../Data.Semigroup/index.js";
6import * as Data_Symbol from "../Data.Symbol/index.js";
7import * as Data_Unit from "../Data.Unit/index.js";
8import * as Record_Unsafe from "../Record.Unsafe/index.js";
9import * as Type_Proxy from "../Type.Proxy/index.js";
10var semigroupRecord = /* #__PURE__ */ Data_Semigroup.semigroupRecord();
11var mod = /* #__PURE__ */ Data_EuclideanRing.mod(Data_EuclideanRing.euclideanRingInt);
12var div = /* #__PURE__ */ Data_EuclideanRing.div(Data_EuclideanRing.euclideanRingInt);
13var monoidUnit = {
14 mempty: Data_Unit.unit,
15 Semigroup0: function () {
16 return Data_Semigroup.semigroupUnit;
17 }
18};
19var monoidString = {
20 mempty: "",
21 Semigroup0: function () {
22 return Data_Semigroup.semigroupString;
23 }
24};
25var monoidRecordNil = {
26 memptyRecord: function (v) {
27 return {};
28 },
29 SemigroupRecord0: function () {
30 return Data_Semigroup.semigroupRecordNil;
31 }
32};
33var monoidOrdering = /* #__PURE__ */ (function () {
34 return {
35 mempty: Data_Ordering.EQ.value,
36 Semigroup0: function () {
37 return Data_Ordering.semigroupOrdering;
38 }
39 };
40})();
41var monoidArray = {
42 mempty: [ ],
43 Semigroup0: function () {
44 return Data_Semigroup.semigroupArray;
45 }
46};
47var memptyRecord = function (dict) {
48 return dict.memptyRecord;
49};
50var monoidRecord = function () {
51 return function (dictMonoidRecord) {
52 var semigroupRecord1 = semigroupRecord(dictMonoidRecord.SemigroupRecord0());
53 return {
54 mempty: memptyRecord(dictMonoidRecord)(Type_Proxy["Proxy"].value),
55 Semigroup0: function () {
56 return semigroupRecord1;
57 }
58 };
59 };
60};
61var mempty = function (dict) {
62 return dict.mempty;
63};
64var monoidFn = function (dictMonoid) {
65 var mempty1 = mempty(dictMonoid);
66 var semigroupFn = Data_Semigroup.semigroupFn(dictMonoid.Semigroup0());
67 return {
68 mempty: function (v) {
69 return mempty1;
70 },
71 Semigroup0: function () {
72 return semigroupFn;
73 }
74 };
75};
76var monoidRecordCons = function (dictIsSymbol) {
77 var reflectSymbol = Data_Symbol.reflectSymbol(dictIsSymbol);
78 var semigroupRecordCons = Data_Semigroup.semigroupRecordCons(dictIsSymbol)();
79 return function (dictMonoid) {
80 var mempty1 = mempty(dictMonoid);
81 var Semigroup0 = dictMonoid.Semigroup0();
82 return function () {
83 return function (dictMonoidRecord) {
84 var memptyRecord1 = memptyRecord(dictMonoidRecord);
85 var semigroupRecordCons1 = semigroupRecordCons(dictMonoidRecord.SemigroupRecord0())(Semigroup0);
86 return {
87 memptyRecord: function (v) {
88 var tail = memptyRecord1(Type_Proxy["Proxy"].value);
89 var key = reflectSymbol(Type_Proxy["Proxy"].value);
90 var insert = Record_Unsafe.unsafeSet(key);
91 return insert(mempty1)(tail);
92 },
93 SemigroupRecord0: function () {
94 return semigroupRecordCons1;
95 }
96 };
97 };
98 };
99 };
100};
101var power = function (dictMonoid) {
102 var mempty1 = mempty(dictMonoid);
103 var append = Data_Semigroup.append(dictMonoid.Semigroup0());
104 return function (x) {
105 var go = function (p) {
106 if (p <= 0) {
107 return mempty1;
108 };
109 if (p === 1) {
110 return x;
111 };
112 if (mod(p)(2) === 0) {
113 var x$prime = go(div(p)(2));
114 return append(x$prime)(x$prime);
115 };
116 if (Data_Boolean.otherwise) {
117 var x$prime = go(div(p)(2));
118 return append(x$prime)(append(x$prime)(x));
119 };
120 throw new Error("Failed pattern match at Data.Monoid (line 88, column 3 - line 88, column 17): " + [ p.constructor.name ]);
121 };
122 return go;
123 };
124};
125var guard = function (dictMonoid) {
126 var mempty1 = mempty(dictMonoid);
127 return function (v) {
128 return function (v1) {
129 if (v) {
130 return v1;
131 };
132 if (!v) {
133 return mempty1;
134 };
135 throw new Error("Failed pattern match at Data.Monoid (line 96, column 1 - line 96, column 49): " + [ v.constructor.name, v1.constructor.name ]);
136 };
137 };
138};
139export {
140 mempty,
141 power,
142 guard,
143 memptyRecord,
144 monoidUnit,
145 monoidOrdering,
146 monoidFn,
147 monoidString,
148 monoidArray,
149 monoidRecord,
150 monoidRecordNil,
151 monoidRecordCons
152};
153//# sourceMappingURL=index.js.map