git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Ord.Min/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 Min = function (x) {
6 return x;
7};
8var showMin = function (dictShow) {
9 var show = Data_Show.show(dictShow);
10 return {
11 show: function (v) {
12 return "(Min " + (show(v) + ")");
13 }
14 };
15};
16var semigroupMin = function (dictOrd) {
17 var min = Data_Ord.min(dictOrd);
18 return {
19 append: function (v) {
20 return function (v1) {
21 return min(v)(v1);
22 };
23 }
24 };
25};
26var newtypeMin = {
27 Coercible0: function () {
28 return undefined;
29 }
30};
31var monoidMin = function (dictBounded) {
32 var semigroupMin1 = semigroupMin(dictBounded.Ord0());
33 return {
34 mempty: Data_Bounded.top(dictBounded),
35 Semigroup0: function () {
36 return semigroupMin1;
37 }
38 };
39};
40var eqMin = function (dictEq) {
41 return dictEq;
42};
43var ordMin = function (dictOrd) {
44 var compare = Data_Ord.compare(dictOrd);
45 var eqMin1 = eqMin(dictOrd.Eq0());
46 return {
47 compare: function (v) {
48 return function (v1) {
49 return compare(v)(v1);
50 };
51 },
52 Eq0: function () {
53 return eqMin1;
54 }
55 };
56};
57export {
58 Min,
59 newtypeMin,
60 eqMin,
61 ordMin,
62 semigroupMin,
63 monoidMin,
64 showMin
65};
66//# sourceMappingURL=index.js.map