git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Monoid.Endo/index.js
53 lines 1.3 kB history raw
1// Generated by purs version 0.15.16
2import * as Control_Category from "../Control.Category/index.js";
3import * as Control_Semigroupoid from "../Control.Semigroupoid/index.js";
4import * as Data_Show from "../Data.Show/index.js";
5var Endo = function (x) {
6 return x;
7};
8var showEndo = function (dictShow) {
9 var show = Data_Show.show(dictShow);
10 return {
11 show: function (v) {
12 return "(Endo " + (show(v) + ")");
13 }
14 };
15};
16var semigroupEndo = function (dictSemigroupoid) {
17 var compose = Control_Semigroupoid.compose(dictSemigroupoid);
18 return {
19 append: function (v) {
20 return function (v1) {
21 return compose(v)(v1);
22 };
23 }
24 };
25};
26var ordEndo = function (dictOrd) {
27 return dictOrd;
28};
29var monoidEndo = function (dictCategory) {
30 var semigroupEndo1 = semigroupEndo(dictCategory.Semigroupoid0());
31 return {
32 mempty: Control_Category.identity(dictCategory),
33 Semigroup0: function () {
34 return semigroupEndo1;
35 }
36 };
37};
38var eqEndo = function (dictEq) {
39 return dictEq;
40};
41var boundedEndo = function (dictBounded) {
42 return dictBounded;
43};
44export {
45 Endo,
46 eqEndo,
47 ordEndo,
48 boundedEndo,
49 showEndo,
50 semigroupEndo,
51 monoidEndo
52};
53//# sourceMappingURL=index.js.map