git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Decidable/index.js
79 lines 2.1 kB history raw
1// Generated by purs version 0.15.16
2import * as Control_Category from "../Control.Category/index.js";
3import * as Data_Decide from "../Data.Decide/index.js";
4import * as Data_Divisible from "../Data.Divisible/index.js";
5import * as Data_Void from "../Data.Void/index.js";
6var identity = /* #__PURE__ */ Control_Category.identity(Control_Category.categoryFn);
7var lose = function (dict) {
8 return dict.lose;
9};
10var lost = function (dictDecidable) {
11 return lose(dictDecidable)(identity);
12};
13var decidablePredicate = {
14 lose: function (f) {
15 return function (a) {
16 return Data_Void.absurd(f(a));
17 };
18 },
19 Decide0: function () {
20 return Data_Decide.choosePredicate;
21 },
22 Divisible1: function () {
23 return Data_Divisible.divisiblePredicate;
24 }
25};
26var decidableOp = function (dictMonoid) {
27 var chooseOp = Data_Decide.chooseOp(dictMonoid.Semigroup0());
28 var divisibleOp = Data_Divisible.divisibleOp(dictMonoid);
29 return {
30 lose: function (f) {
31 return function (a) {
32 return Data_Void.absurd(f(a));
33 };
34 },
35 Decide0: function () {
36 return chooseOp;
37 },
38 Divisible1: function () {
39 return divisibleOp;
40 }
41 };
42};
43var decidableEquivalence = {
44 lose: function (f) {
45 return function (a) {
46 return Data_Void.absurd(f(a));
47 };
48 },
49 Decide0: function () {
50 return Data_Decide.chooseEquivalence;
51 },
52 Divisible1: function () {
53 return Data_Divisible.divisibleEquivalence;
54 }
55};
56var decidableComparison = {
57 lose: function (f) {
58 return function (a) {
59 return function (v) {
60 return Data_Void.absurd(f(a));
61 };
62 };
63 },
64 Decide0: function () {
65 return Data_Decide.chooseComparison;
66 },
67 Divisible1: function () {
68 return Data_Divisible.divisibleComparison;
69 }
70};
71export {
72 lose,
73 lost,
74 decidableComparison,
75 decidableEquivalence,
76 decidablePredicate,
77 decidableOp
78};
79//# sourceMappingURL=index.js.map