1 | "use strict";
|
2 |
|
3 | Object.defineProperty(exports, "__esModule", {
|
4 | value: true
|
5 | });
|
6 | exports["default"] = exports.Pair = exports.Product = exports.Sum = exports.Min = exports.Max = exports.All = exports.Any = void 0;
|
7 |
|
8 | var Any = function Any(x) {
|
9 | return {
|
10 | x: x,
|
11 | concat: function concat(_ref) {
|
12 | var y = _ref.x;
|
13 | return Any(x || y);
|
14 | }
|
15 | };
|
16 | };
|
17 |
|
18 | exports.Any = Any;
|
19 |
|
20 | Any.empty = function () {
|
21 | return Any(false);
|
22 | };
|
23 |
|
24 | var All = function All(x) {
|
25 | return {
|
26 | x: x,
|
27 | concat: function concat(_ref2) {
|
28 | var y = _ref2.x;
|
29 | return Any(x && y);
|
30 | }
|
31 | };
|
32 | };
|
33 |
|
34 | exports.All = All;
|
35 |
|
36 | All.empty = function () {
|
37 | return All(true);
|
38 | };
|
39 |
|
40 | var Max = function Max(x) {
|
41 | return {
|
42 | x: x,
|
43 | concat: function concat(_ref3) {
|
44 | var y = _ref3.x;
|
45 | return Max(x > y ? x : y);
|
46 | }
|
47 | };
|
48 | };
|
49 |
|
50 | exports.Max = Max;
|
51 |
|
52 | Max.empty = function () {
|
53 | return Max(-Infinity);
|
54 | };
|
55 |
|
56 | var Min = function Min(x) {
|
57 | return {
|
58 | x: x,
|
59 | concat: function concat(_ref4) {
|
60 | var y = _ref4.x;
|
61 | return Min(x < y ? x : y);
|
62 | }
|
63 | };
|
64 | };
|
65 |
|
66 | exports.Min = Min;
|
67 |
|
68 | Min.empty = function () {
|
69 | return Min(Infinity);
|
70 | };
|
71 |
|
72 | var Sum = function Sum(x) {
|
73 | return {
|
74 | x: x,
|
75 | concat: function concat(_ref5) {
|
76 | var y = _ref5.x;
|
77 | return Sum(x + y);
|
78 | }
|
79 | };
|
80 | };
|
81 |
|
82 | exports.Sum = Sum;
|
83 |
|
84 | Sum.empty = function () {
|
85 | return Sum(0);
|
86 | };
|
87 |
|
88 | var Product = function Product(x) {
|
89 | return {
|
90 | x: x,
|
91 | concat: function concat(_ref6) {
|
92 | var y = _ref6.x;
|
93 | return Sum(x * y);
|
94 | }
|
95 | };
|
96 | };
|
97 |
|
98 | exports.Product = Product;
|
99 |
|
100 | Product.empty = function () {
|
101 | return Product(1);
|
102 | };
|
103 |
|
104 |
|
105 |
|
106 |
|
107 |
|
108 |
|
109 |
|
110 |
|
111 |
|
112 |
|
113 |
|
114 |
|
115 |
|
116 |
|
117 |
|
118 | var Pair = function Pair(x, y) {
|
119 | return {
|
120 | x: x,
|
121 | y: y,
|
122 | concat: function concat(_ref7) {
|
123 | var x1 = _ref7.x,
|
124 | y1 = _ref7.y;
|
125 | return Pair(x.concat(x1), y.concat(y1));
|
126 | }
|
127 | };
|
128 | };
|
129 |
|
130 |
|
131 |
|
132 |
|
133 |
|
134 |
|
135 |
|
136 | exports.Pair = Pair;
|
137 | var _default = {};
|
138 | exports["default"] = _default; |
\ | No newline at end of file |