git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Maybe/index.js
378 lines 12 kB history raw
1// Generated by purs version 0.15.16
2import * as Control_Alt from "../Control.Alt/index.js";
3import * as Control_Applicative from "../Control.Applicative/index.js";
4import * as Control_Apply from "../Control.Apply/index.js";
5import * as Control_Category from "../Control.Category/index.js";
6import * as Data_Bounded from "../Data.Bounded/index.js";
7import * as Data_Eq from "../Data.Eq/index.js";
8import * as Data_Function from "../Data.Function/index.js";
9import * as Data_Functor from "../Data.Functor/index.js";
10import * as Data_Functor_Invariant from "../Data.Functor.Invariant/index.js";
11import * as Data_Generic_Rep from "../Data.Generic.Rep/index.js";
12import * as Data_Ord from "../Data.Ord/index.js";
13import * as Data_Ordering from "../Data.Ordering/index.js";
14import * as Data_Semigroup from "../Data.Semigroup/index.js";
15import * as Data_Semiring from "../Data.Semiring/index.js";
16import * as Data_Show from "../Data.Show/index.js";
17import * as Data_Unit from "../Data.Unit/index.js";
18var identity = /* #__PURE__ */ Control_Category.identity(Control_Category.categoryFn);
19var Nothing = /* #__PURE__ */ (function () {
20 function Nothing() {
22 };
23 Nothing.value = new Nothing();
24 return Nothing;
25})();
26var Just = /* #__PURE__ */ (function () {
27 function Just(value0) {
28 this.value0 = value0;
29 };
30 Just.create = function (value0) {
31 return new Just(value0);
32 };
33 return Just;
34})();
35var showMaybe = function (dictShow) {
36 var show = Data_Show.show(dictShow);
37 return {
38 show: function (v) {
39 if (v instanceof Just) {
40 return "(Just " + (show(v.value0) + ")");
41 };
42 if (v instanceof Nothing) {
43 return "Nothing";
44 };
45 throw new Error("Failed pattern match at Data.Maybe (line 223, column 1 - line 225, column 28): " + [ v.constructor.name ]);
46 }
47 };
48};
49var semigroupMaybe = function (dictSemigroup) {
50 var append1 = Data_Semigroup.append(dictSemigroup);
51 return {
52 append: function (v) {
53 return function (v1) {
54 if (v instanceof Nothing) {
55 return v1;
56 };
57 if (v1 instanceof Nothing) {
58 return v;
59 };
60 if (v instanceof Just && v1 instanceof Just) {
61 return new Just(append1(v.value0)(v1.value0));
62 };
63 throw new Error("Failed pattern match at Data.Maybe (line 182, column 1 - line 185, column 43): " + [ v.constructor.name, v1.constructor.name ]);
64 };
65 }
66 };
67};
68var optional = function (dictAlt) {
69 var alt = Control_Alt.alt(dictAlt);
70 var map1 = Data_Functor.map(dictAlt.Functor0());
71 return function (dictApplicative) {
72 var pure = Control_Applicative.pure(dictApplicative);
73 return function (a) {
74 return alt(map1(Just.create)(a))(pure(Nothing.value));
75 };
76 };
77};
78var monoidMaybe = function (dictSemigroup) {
79 var semigroupMaybe1 = semigroupMaybe(dictSemigroup);
80 return {
81 mempty: Nothing.value,
82 Semigroup0: function () {
83 return semigroupMaybe1;
84 }
85 };
86};
87var maybe$prime = function (v) {
88 return function (v1) {
89 return function (v2) {
90 if (v2 instanceof Nothing) {
91 return v(Data_Unit.unit);
92 };
93 if (v2 instanceof Just) {
94 return v1(v2.value0);
95 };
96 throw new Error("Failed pattern match at Data.Maybe (line 250, column 1 - line 250, column 62): " + [ v.constructor.name, v1.constructor.name, v2.constructor.name ]);
97 };
98 };
99};
100var maybe = function (v) {
101 return function (v1) {
102 return function (v2) {
103 if (v2 instanceof Nothing) {
104 return v;
105 };
106 if (v2 instanceof Just) {
107 return v1(v2.value0);
108 };
109 throw new Error("Failed pattern match at Data.Maybe (line 237, column 1 - line 237, column 51): " + [ v.constructor.name, v1.constructor.name, v2.constructor.name ]);
110 };
111 };
112};
113var isNothing = /* #__PURE__ */ maybe(true)(/* #__PURE__ */ Data_Function["const"](false));
114var isJust = /* #__PURE__ */ maybe(false)(/* #__PURE__ */ Data_Function["const"](true));
115var genericMaybe = {
116 to: function (x) {
117 if (x instanceof Data_Generic_Rep.Inl) {
118 return Nothing.value;
119 };
120 if (x instanceof Data_Generic_Rep.Inr) {
121 return new Just(x.value0);
122 };
123 throw new Error("Failed pattern match at Data.Maybe (line 227, column 1 - line 227, column 52): " + [ x.constructor.name ]);
124 },
125 from: function (x) {
126 if (x instanceof Nothing) {
127 return new Data_Generic_Rep.Inl(Data_Generic_Rep.NoArguments.value);
128 };
129 if (x instanceof Just) {
130 return new Data_Generic_Rep.Inr(x.value0);
131 };
132 throw new Error("Failed pattern match at Data.Maybe (line 227, column 1 - line 227, column 52): " + [ x.constructor.name ]);
133 }
134};
135var functorMaybe = {
136 map: function (v) {
137 return function (v1) {
138 if (v1 instanceof Just) {
139 return new Just(v(v1.value0));
140 };
141 return Nothing.value;
142 };
143 }
144};
145var map = /* #__PURE__ */ Data_Functor.map(functorMaybe);
146var invariantMaybe = {
147 imap: /* #__PURE__ */ Data_Functor_Invariant.imapF(functorMaybe)
148};
149var fromMaybe$prime = function (a) {
150 return maybe$prime(a)(identity);
151};
152var fromMaybe = function (a) {
153 return maybe(a)(identity);
154};
155var fromJust = function () {
156 return function (v) {
157 if (v instanceof Just) {
158 return v.value0;
159 };
160 throw new Error("Failed pattern match at Data.Maybe (line 288, column 1 - line 288, column 46): " + [ v.constructor.name ]);
161 };
162};
163var extendMaybe = {
164 extend: function (v) {
165 return function (v1) {
166 if (v1 instanceof Nothing) {
167 return Nothing.value;
168 };
169 return new Just(v(v1));
170 };
171 },
172 Functor0: function () {
173 return functorMaybe;
174 }
175};
176var eqMaybe = function (dictEq) {
177 var eq = Data_Eq.eq(dictEq);
178 return {
179 eq: function (x) {
180 return function (y) {
181 if (x instanceof Nothing && y instanceof Nothing) {
182 return true;
183 };
184 if (x instanceof Just && y instanceof Just) {
185 return eq(x.value0)(y.value0);
186 };
187 return false;
188 };
189 }
190 };
191};
192var ordMaybe = function (dictOrd) {
193 var compare = Data_Ord.compare(dictOrd);
194 var eqMaybe1 = eqMaybe(dictOrd.Eq0());
195 return {
196 compare: function (x) {
197 return function (y) {
198 if (x instanceof Nothing && y instanceof Nothing) {
199 return Data_Ordering.EQ.value;
200 };
201 if (x instanceof Nothing) {
202 return Data_Ordering.LT.value;
203 };
204 if (y instanceof Nothing) {
205 return Data_Ordering.GT.value;
206 };
207 if (x instanceof Just && y instanceof Just) {
208 return compare(x.value0)(y.value0);
209 };
210 throw new Error("Failed pattern match at Data.Maybe (line 0, column 0 - line 0, column 0): " + [ x.constructor.name, y.constructor.name ]);
211 };
212 },
213 Eq0: function () {
214 return eqMaybe1;
215 }
216 };
217};
218var eq1Maybe = {
219 eq1: function (dictEq) {
220 return Data_Eq.eq(eqMaybe(dictEq));
221 }
222};
223var ord1Maybe = {
224 compare1: function (dictOrd) {
225 return Data_Ord.compare(ordMaybe(dictOrd));
226 },
227 Eq10: function () {
228 return eq1Maybe;
229 }
230};
231var boundedMaybe = function (dictBounded) {
232 var ordMaybe1 = ordMaybe(dictBounded.Ord0());
233 return {
234 top: new Just(Data_Bounded.top(dictBounded)),
235 bottom: Nothing.value,
236 Ord0: function () {
237 return ordMaybe1;
238 }
239 };
240};
241var applyMaybe = {
242 apply: function (v) {
243 return function (v1) {
244 if (v instanceof Just) {
245 return map(v.value0)(v1);
246 };
247 if (v instanceof Nothing) {
248 return Nothing.value;
249 };
250 throw new Error("Failed pattern match at Data.Maybe (line 67, column 1 - line 69, column 30): " + [ v.constructor.name, v1.constructor.name ]);
251 };
252 },
253 Functor0: function () {
254 return functorMaybe;
255 }
256};
257var apply = /* #__PURE__ */ Control_Apply.apply(applyMaybe);
258var bindMaybe = {
259 bind: function (v) {
260 return function (v1) {
261 if (v instanceof Just) {
262 return v1(v.value0);
263 };
264 if (v instanceof Nothing) {
265 return Nothing.value;
266 };
267 throw new Error("Failed pattern match at Data.Maybe (line 125, column 1 - line 127, column 28): " + [ v.constructor.name, v1.constructor.name ]);
268 };
269 },
270 Apply0: function () {
271 return applyMaybe;
272 }
273};
274var semiringMaybe = function (dictSemiring) {
275 var add = Data_Semiring.add(dictSemiring);
276 var mul = Data_Semiring.mul(dictSemiring);
277 return {
278 zero: Nothing.value,
279 one: new Just(Data_Semiring.one(dictSemiring)),
280 add: function (v) {
281 return function (v1) {
282 if (v instanceof Nothing) {
283 return v1;
284 };
285 if (v1 instanceof Nothing) {
286 return v;
287 };
288 if (v instanceof Just && v1 instanceof Just) {
289 return new Just(add(v.value0)(v1.value0));
290 };
291 throw new Error("Failed pattern match at Data.Maybe (line 190, column 1 - line 198, column 28): " + [ v.constructor.name, v1.constructor.name ]);
292 };
293 },
294 mul: function (x) {
295 return function (y) {
296 return apply(map(mul)(x))(y);
297 };
298 }
299 };
300};
301var applicativeMaybe = /* #__PURE__ */ (function () {
302 return {
303 pure: Just.create,
304 Apply0: function () {
305 return applyMaybe;
306 }
307 };
308})();
309var monadMaybe = {
310 Applicative0: function () {
311 return applicativeMaybe;
312 },
313 Bind1: function () {
314 return bindMaybe;
315 }
316};
317var altMaybe = {
318 alt: function (v) {
319 return function (v1) {
320 if (v instanceof Nothing) {
321 return v1;
322 };
323 return v;
324 };
325 },
326 Functor0: function () {
327 return functorMaybe;
328 }
329};
330var plusMaybe = /* #__PURE__ */ (function () {
331 return {
332 empty: Nothing.value,
333 Alt0: function () {
334 return altMaybe;
335 }
336 };
337})();
338var alternativeMaybe = {
339 Applicative0: function () {
340 return applicativeMaybe;
341 },
342 Plus1: function () {
343 return plusMaybe;
344 }
345};
346export {
347 Nothing,
348 Just,
349 maybe,
350 maybe$prime,
351 fromMaybe,
352 fromMaybe$prime,
353 isJust,
354 isNothing,
355 fromJust,
356 optional,
357 functorMaybe,
358 applyMaybe,
359 applicativeMaybe,
360 altMaybe,
361 plusMaybe,
362 alternativeMaybe,
363 bindMaybe,
364 monadMaybe,
365 extendMaybe,
366 invariantMaybe,
367 semigroupMaybe,
368 monoidMaybe,
369 semiringMaybe,
370 eqMaybe,
371 eq1Maybe,
372 ordMaybe,
373 ord1Maybe,
374 boundedMaybe,
375 showMaybe,
376 genericMaybe
377};
378//# sourceMappingURL=index.js.map