git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Ord.Max/index.js
66 lines 1.5 kB history raw
1// Generated by purs version 0.15.16
2import * as Data_Bounded from "../Data.Bounded/index.js";
3import * as Data_Ord from "../Data.Ord/index.js";
4import * as Data_Show from "../Data.Show/index.js";
5var Max = function (x) {
6 return x;
7};
8var showMax = function (dictShow) {
9 var show = Data_Show.show(dictShow);
10 return {
11 show: function (v) {
12 return "(Max " + (show(v) + ")");
13 }
14 };
15};
16var semigroupMax = function (dictOrd) {
17 var max = Data_Ord.max(dictOrd);
18 return {
19 append: function (v) {
20 return function (v1) {
21 return max(v)(v1);
22 };
23 }
24 };
25};
26var newtypeMax = {
27 Coercible0: function () {
28 return undefined;
29 }
30};
31var monoidMax = function (dictBounded) {
32 var semigroupMax1 = semigroupMax(dictBounded.Ord0());
33 return {
34 mempty: Data_Bounded.bottom(dictBounded),
35 Semigroup0: function () {
36 return semigroupMax1;
37 }
38 };
39};
40var eqMax = function (dictEq) {
41 return dictEq;
42};
43var ordMax = function (dictOrd) {
44 var compare = Data_Ord.compare(dictOrd);
45 var eqMax1 = eqMax(dictOrd.Eq0());
46 return {
47 compare: function (v) {
48 return function (v1) {
49 return compare(v)(v1);
50 };
51 },
52 Eq0: function () {
53 return eqMax1;
54 }
55 };
56};
57export {
58 Max,
59 newtypeMax,
60 eqMax,
61 ordMax,
62 semigroupMax,
63 monoidMax,
64 showMax
65};
66//# sourceMappingURL=index.js.map