decoders 2.0.0-beta8 → 2.0.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +67 -20
- package/Decoder.d.ts +94 -0
- package/Decoder.js +115 -0
- package/Decoder.js.flow +286 -0
- package/Decoder.mjs +108 -0
- package/README.md +122 -1345
- package/_utils.d.ts +0 -1
- package/_utils.js +51 -68
- package/_utils.js.flow +30 -20
- package/_utils.mjs +39 -54
- package/annotate.js +79 -72
- package/annotate.mjs +62 -58
- package/format.d.ts +4 -2
- package/format.js +64 -74
- package/format.js.flow +14 -12
- package/format.mjs +58 -68
- package/index.d.ts +38 -41
- package/index.js +66 -98
- package/index.js.flow +39 -58
- package/index.mjs +11 -37
- package/{core → lib}/_helpers.d.ts +0 -0
- package/lib/arrays.d.ts +59 -0
- package/lib/arrays.js +97 -0
- package/lib/arrays.js.flow +138 -0
- package/lib/arrays.mjs +84 -0
- package/lib/basics.d.ts +93 -0
- package/lib/basics.js +94 -0
- package/lib/basics.js.flow +124 -0
- package/lib/basics.mjs +75 -0
- package/lib/booleans.d.ts +16 -0
- package/lib/booleans.js +25 -0
- package/lib/booleans.js.flow +22 -0
- package/lib/booleans.mjs +15 -0
- package/lib/dates.d.ts +15 -0
- package/lib/dates.js +28 -0
- package/lib/dates.js.flow +40 -0
- package/lib/dates.mjs +19 -0
- package/lib/json.d.ts +35 -0
- package/lib/json.js +33 -0
- package/lib/json.js.flow +50 -0
- package/lib/json.mjs +18 -0
- package/lib/numbers.d.ts +31 -0
- package/lib/numbers.js +31 -0
- package/lib/numbers.js.flow +48 -0
- package/lib/numbers.mjs +21 -0
- package/lib/objects.d.ts +76 -0
- package/lib/objects.js +161 -0
- package/lib/objects.js.flow +238 -0
- package/lib/objects.mjs +147 -0
- package/lib/strings.d.ts +56 -0
- package/lib/strings.js +58 -0
- package/lib/strings.js.flow +90 -0
- package/lib/strings.mjs +40 -0
- package/lib/unions.d.ts +55 -0
- package/lib/unions.js +96 -0
- package/lib/unions.js.flow +155 -0
- package/lib/unions.mjs +83 -0
- package/lib/utilities.d.ts +40 -0
- package/lib/utilities.js +48 -0
- package/lib/utilities.js.flow +65 -0
- package/lib/utilities.mjs +37 -0
- package/package.json +64 -17
- package/result.d.ts +2 -25
- package/result.js +9 -90
- package/result.js.flow +4 -76
- package/result.mjs +5 -71
- package/_guard.d.ts +0 -7
- package/_guard.js +0 -22
- package/_guard.js.flow +0 -20
- package/_guard.mjs +0 -15
- package/_types.d.ts +0 -13
- package/_types.js +0 -1
- package/_types.js.flow +0 -20
- package/_types.mjs +0 -0
- package/core/array.d.ts +0 -5
- package/core/array.js +0 -104
- package/core/array.js.flow +0 -100
- package/core/array.mjs +0 -91
- package/core/boolean.d.ts +0 -5
- package/core/boolean.js +0 -40
- package/core/boolean.js.flow +0 -27
- package/core/boolean.mjs +0 -28
- package/core/composition.d.ts +0 -14
- package/core/composition.js +0 -54
- package/core/composition.js.flow +0 -48
- package/core/composition.mjs +0 -44
- package/core/constants.d.ts +0 -11
- package/core/constants.js +0 -65
- package/core/constants.js.flow +0 -44
- package/core/constants.mjs +0 -46
- package/core/date.d.ts +0 -4
- package/core/date.js +0 -42
- package/core/date.js.flow +0 -38
- package/core/date.mjs +0 -28
- package/core/describe.d.ts +0 -3
- package/core/describe.js +0 -22
- package/core/describe.js.flow +0 -17
- package/core/describe.mjs +0 -16
- package/core/dispatch.d.ts +0 -8
- package/core/dispatch.js +0 -58
- package/core/dispatch.js.flow +0 -58
- package/core/dispatch.mjs +0 -51
- package/core/either.d.ts +0 -61
- package/core/either.js +0 -113
- package/core/either.js.flow +0 -151
- package/core/either.mjs +0 -90
- package/core/fail.d.ts +0 -3
- package/core/fail.js +0 -17
- package/core/fail.js.flow +0 -12
- package/core/fail.mjs +0 -11
- package/core/instanceOf.d.ts +0 -3
- package/core/instanceOf.js +0 -15
- package/core/instanceOf.js.flow +0 -20
- package/core/instanceOf.mjs +0 -8
- package/core/json.d.ts +0 -11
- package/core/json.js +0 -31
- package/core/json.js.flow +0 -28
- package/core/json.mjs +0 -15
- package/core/lazy.d.ts +0 -3
- package/core/lazy.js +0 -16
- package/core/lazy.js.flow +0 -15
- package/core/lazy.mjs +0 -11
- package/core/mapping.d.ts +0 -6
- package/core/mapping.js +0 -67
- package/core/mapping.js.flow +0 -62
- package/core/mapping.mjs +0 -58
- package/core/number.d.ts +0 -6
- package/core/number.js +0 -36
- package/core/number.js.flow +0 -40
- package/core/number.mjs +0 -25
- package/core/object.d.ts +0 -33
- package/core/object.js +0 -190
- package/core/object.js.flow +0 -203
- package/core/object.mjs +0 -175
- package/core/optional.d.ts +0 -5
- package/core/optional.js +0 -50
- package/core/optional.js.flow +0 -41
- package/core/optional.mjs +0 -38
- package/core/string.d.ts +0 -10
- package/core/string.js +0 -68
- package/core/string.js.flow +0 -59
- package/core/string.mjs +0 -49
- package/core/tuple.d.ts +0 -30
- package/core/tuple.js +0 -177
- package/core/tuple.js.flow +0 -211
- package/core/tuple.mjs +0 -159
package/core/tuple.js
DELETED
|
@@ -1,177 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
|
|
3
|
-
exports.__esModule = true;
|
|
4
|
-
exports.tuple1 = tuple1;
|
|
5
|
-
exports.tuple2 = tuple2;
|
|
6
|
-
exports.tuple3 = tuple3;
|
|
7
|
-
exports.tuple4 = tuple4;
|
|
8
|
-
exports.tuple5 = tuple5;
|
|
9
|
-
exports.tuple6 = tuple6;
|
|
10
|
-
|
|
11
|
-
var _annotate = require("../annotate");
|
|
12
|
-
|
|
13
|
-
var _composition = require("./composition");
|
|
14
|
-
|
|
15
|
-
var _result = require("../result");
|
|
16
|
-
|
|
17
|
-
var _array = require("./array");
|
|
18
|
-
|
|
19
|
-
function okOrErr(result) {
|
|
20
|
-
return result.type === 'ok' ? result.value : result.error;
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
var ntuple = function ntuple(n) {
|
|
24
|
-
return (0, _composition.predicate)(_array.poja, function (arr) {
|
|
25
|
-
return arr.length === n;
|
|
26
|
-
}, "Must be a " + n + "-tuple");
|
|
27
|
-
};
|
|
28
|
-
/**
|
|
29
|
-
* Builds a Decoder that returns Ok for 1-tuple of [T], given a Decoder for T.
|
|
30
|
-
* Err otherwise.
|
|
31
|
-
*/
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
function tuple1(decoder1) {
|
|
35
|
-
return (0, _composition.compose)(ntuple(1), function (blobs) {
|
|
36
|
-
var blob1 = blobs[0];
|
|
37
|
-
var result1 = decoder1(blob1);
|
|
38
|
-
|
|
39
|
-
try {
|
|
40
|
-
return (0, _result.ok)([(0, _result.unwrap)(result1)]);
|
|
41
|
-
} catch (e) {
|
|
42
|
-
// If a decoder error has happened while unwrapping all the
|
|
43
|
-
// results, try to construct a good error message
|
|
44
|
-
return (0, _result.err)((0, _annotate.annotate)([okOrErr(result1)]));
|
|
45
|
-
}
|
|
46
|
-
});
|
|
47
|
-
}
|
|
48
|
-
/**
|
|
49
|
-
* Builds a Decoder that returns Ok for 2-tuples of [T1, T2], given Decoders
|
|
50
|
-
* for T1 and T2. Err otherwise.
|
|
51
|
-
*/
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
function tuple2(decoder1, decoder2) {
|
|
55
|
-
return (0, _composition.compose)(ntuple(2), function (blobs) {
|
|
56
|
-
var blob1 = blobs[0],
|
|
57
|
-
blob2 = blobs[1];
|
|
58
|
-
var result1 = decoder1(blob1);
|
|
59
|
-
var result2 = decoder2(blob2);
|
|
60
|
-
|
|
61
|
-
try {
|
|
62
|
-
return (0, _result.ok)([(0, _result.unwrap)(result1), (0, _result.unwrap)(result2)]);
|
|
63
|
-
} catch (e) {
|
|
64
|
-
// If a decoder error has happened while unwrapping all the
|
|
65
|
-
// results, try to construct a good error message
|
|
66
|
-
return (0, _result.err)((0, _annotate.annotate)([okOrErr(result1), okOrErr(result2)]));
|
|
67
|
-
}
|
|
68
|
-
});
|
|
69
|
-
}
|
|
70
|
-
/**
|
|
71
|
-
* Builds a Decoder that returns Ok for 3-tuples of [T1, T2, T3], given
|
|
72
|
-
* Decoders for T1, T2, and T3. Err otherwise.
|
|
73
|
-
*/
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
function tuple3(decoder1, decoder2, decoder3) {
|
|
77
|
-
return (0, _composition.compose)(ntuple(3), function (blobs) {
|
|
78
|
-
var blob1 = blobs[0],
|
|
79
|
-
blob2 = blobs[1],
|
|
80
|
-
blob3 = blobs[2];
|
|
81
|
-
var result1 = decoder1(blob1);
|
|
82
|
-
var result2 = decoder2(blob2);
|
|
83
|
-
var result3 = decoder3(blob3);
|
|
84
|
-
|
|
85
|
-
try {
|
|
86
|
-
return (0, _result.ok)([(0, _result.unwrap)(result1), (0, _result.unwrap)(result2), (0, _result.unwrap)(result3)]);
|
|
87
|
-
} catch (e) {
|
|
88
|
-
// If a decoder error has happened while unwrapping all the
|
|
89
|
-
// results, try to construct a good error message
|
|
90
|
-
return (0, _result.err)((0, _annotate.annotate)([okOrErr(result1), okOrErr(result2), okOrErr(result3)]));
|
|
91
|
-
}
|
|
92
|
-
});
|
|
93
|
-
}
|
|
94
|
-
/**
|
|
95
|
-
* Builds a Decoder that returns Ok for 4-tuples of [T1, T2, T3, T4], given
|
|
96
|
-
* Decoders for T1, T2, T3, and T4. Err otherwise.
|
|
97
|
-
*/
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
function tuple4(decoder1, decoder2, decoder3, decoder4) {
|
|
101
|
-
return (0, _composition.compose)(ntuple(4), function (blobs) {
|
|
102
|
-
var blob1 = blobs[0],
|
|
103
|
-
blob2 = blobs[1],
|
|
104
|
-
blob3 = blobs[2],
|
|
105
|
-
blob4 = blobs[3];
|
|
106
|
-
var result1 = decoder1(blob1);
|
|
107
|
-
var result2 = decoder2(blob2);
|
|
108
|
-
var result3 = decoder3(blob3);
|
|
109
|
-
var result4 = decoder4(blob4);
|
|
110
|
-
|
|
111
|
-
try {
|
|
112
|
-
return (0, _result.ok)([(0, _result.unwrap)(result1), (0, _result.unwrap)(result2), (0, _result.unwrap)(result3), (0, _result.unwrap)(result4)]);
|
|
113
|
-
} catch (e) {
|
|
114
|
-
// If a decoder error has happened while unwrapping all the
|
|
115
|
-
// results, try to construct a good error message
|
|
116
|
-
return (0, _result.err)((0, _annotate.annotate)([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4)]));
|
|
117
|
-
}
|
|
118
|
-
});
|
|
119
|
-
}
|
|
120
|
-
/**
|
|
121
|
-
* Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
|
|
122
|
-
* Decoders for T1, T2, T3, T4, and T5. Err otherwise.
|
|
123
|
-
*/
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
function tuple5(decoder1, decoder2, decoder3, decoder4, decoder5) {
|
|
127
|
-
return (0, _composition.compose)(ntuple(5), function (blobs) {
|
|
128
|
-
var blob1 = blobs[0],
|
|
129
|
-
blob2 = blobs[1],
|
|
130
|
-
blob3 = blobs[2],
|
|
131
|
-
blob4 = blobs[3],
|
|
132
|
-
blob5 = blobs[4];
|
|
133
|
-
var result1 = decoder1(blob1);
|
|
134
|
-
var result2 = decoder2(blob2);
|
|
135
|
-
var result3 = decoder3(blob3);
|
|
136
|
-
var result4 = decoder4(blob4);
|
|
137
|
-
var result5 = decoder5(blob5);
|
|
138
|
-
|
|
139
|
-
try {
|
|
140
|
-
return (0, _result.ok)([(0, _result.unwrap)(result1), (0, _result.unwrap)(result2), (0, _result.unwrap)(result3), (0, _result.unwrap)(result4), (0, _result.unwrap)(result5)]);
|
|
141
|
-
} catch (e) {
|
|
142
|
-
// If a decoder error has happened while unwrapping all the
|
|
143
|
-
// results, try to construct a good error message
|
|
144
|
-
return (0, _result.err)((0, _annotate.annotate)([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4), okOrErr(result5)]));
|
|
145
|
-
}
|
|
146
|
-
});
|
|
147
|
-
}
|
|
148
|
-
/**
|
|
149
|
-
* Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
|
|
150
|
-
* Decoders for T1, T2, T3, T4, T5, and T6. Err otherwise.
|
|
151
|
-
*/
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
function tuple6(decoder1, decoder2, decoder3, decoder4, decoder5, decoder6) {
|
|
155
|
-
return (0, _composition.compose)(ntuple(6), function (blobs) {
|
|
156
|
-
var blob1 = blobs[0],
|
|
157
|
-
blob2 = blobs[1],
|
|
158
|
-
blob3 = blobs[2],
|
|
159
|
-
blob4 = blobs[3],
|
|
160
|
-
blob5 = blobs[4],
|
|
161
|
-
blob6 = blobs[5];
|
|
162
|
-
var result1 = decoder1(blob1);
|
|
163
|
-
var result2 = decoder2(blob2);
|
|
164
|
-
var result3 = decoder3(blob3);
|
|
165
|
-
var result4 = decoder4(blob4);
|
|
166
|
-
var result5 = decoder5(blob5);
|
|
167
|
-
var result6 = decoder6(blob6);
|
|
168
|
-
|
|
169
|
-
try {
|
|
170
|
-
return (0, _result.ok)([(0, _result.unwrap)(result1), (0, _result.unwrap)(result2), (0, _result.unwrap)(result3), (0, _result.unwrap)(result4), (0, _result.unwrap)(result5), (0, _result.unwrap)(result6)]);
|
|
171
|
-
} catch (e) {
|
|
172
|
-
// If a decoder error has happened while unwrapping all the
|
|
173
|
-
// results, try to construct a good error message
|
|
174
|
-
return (0, _result.err)((0, _annotate.annotate)([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4), okOrErr(result5), okOrErr(result6)]));
|
|
175
|
-
}
|
|
176
|
-
});
|
|
177
|
-
}
|
package/core/tuple.js.flow
DELETED
|
@@ -1,211 +0,0 @@
|
|
|
1
|
-
// @flow strict
|
|
2
|
-
|
|
3
|
-
import { annotate } from '../annotate';
|
|
4
|
-
import { compose, predicate } from './composition';
|
|
5
|
-
import { err, ok, unwrap } from '../result';
|
|
6
|
-
import { poja } from './array';
|
|
7
|
-
import type { Decoder } from '../_types';
|
|
8
|
-
import type { Result } from '../result';
|
|
9
|
-
|
|
10
|
-
function okOrErr<T, E>(result: Result<T, E>): T | E {
|
|
11
|
-
return result.type === 'ok' ? result.value : result.error;
|
|
12
|
-
}
|
|
13
|
-
|
|
14
|
-
const ntuple = (n: number) =>
|
|
15
|
-
predicate(poja, (arr) => arr.length === n, `Must be a ${n}-tuple`);
|
|
16
|
-
|
|
17
|
-
/**
|
|
18
|
-
* Builds a Decoder that returns Ok for 1-tuple of [T], given a Decoder for T.
|
|
19
|
-
* Err otherwise.
|
|
20
|
-
*/
|
|
21
|
-
export function tuple1<T>(decoder1: Decoder<T>): Decoder<[T]> {
|
|
22
|
-
return compose(ntuple(1), (blobs: $ReadOnlyArray<mixed>) => {
|
|
23
|
-
const [blob1] = blobs;
|
|
24
|
-
|
|
25
|
-
const result1 = decoder1(blob1);
|
|
26
|
-
try {
|
|
27
|
-
return ok([unwrap(result1)]);
|
|
28
|
-
} catch (e) {
|
|
29
|
-
// If a decoder error has happened while unwrapping all the
|
|
30
|
-
// results, try to construct a good error message
|
|
31
|
-
return err(annotate([okOrErr(result1)]));
|
|
32
|
-
}
|
|
33
|
-
});
|
|
34
|
-
}
|
|
35
|
-
|
|
36
|
-
/**
|
|
37
|
-
* Builds a Decoder that returns Ok for 2-tuples of [T1, T2], given Decoders
|
|
38
|
-
* for T1 and T2. Err otherwise.
|
|
39
|
-
*/
|
|
40
|
-
export function tuple2<T1, T2>(
|
|
41
|
-
decoder1: Decoder<T1>,
|
|
42
|
-
decoder2: Decoder<T2>,
|
|
43
|
-
): Decoder<[T1, T2]> {
|
|
44
|
-
return compose(ntuple(2), (blobs: $ReadOnlyArray<mixed>) => {
|
|
45
|
-
const [blob1, blob2] = blobs;
|
|
46
|
-
|
|
47
|
-
const result1 = decoder1(blob1);
|
|
48
|
-
const result2 = decoder2(blob2);
|
|
49
|
-
try {
|
|
50
|
-
return ok([unwrap(result1), unwrap(result2)]);
|
|
51
|
-
} catch (e) {
|
|
52
|
-
// If a decoder error has happened while unwrapping all the
|
|
53
|
-
// results, try to construct a good error message
|
|
54
|
-
return err(annotate([okOrErr(result1), okOrErr(result2)]));
|
|
55
|
-
}
|
|
56
|
-
});
|
|
57
|
-
}
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
* Builds a Decoder that returns Ok for 3-tuples of [T1, T2, T3], given
|
|
61
|
-
* Decoders for T1, T2, and T3. Err otherwise.
|
|
62
|
-
*/
|
|
63
|
-
export function tuple3<T1, T2, T3>(
|
|
64
|
-
decoder1: Decoder<T1>,
|
|
65
|
-
decoder2: Decoder<T2>,
|
|
66
|
-
decoder3: Decoder<T3>,
|
|
67
|
-
): Decoder<[T1, T2, T3]> {
|
|
68
|
-
return compose(ntuple(3), (blobs: $ReadOnlyArray<mixed>) => {
|
|
69
|
-
const [blob1, blob2, blob3] = blobs;
|
|
70
|
-
|
|
71
|
-
const result1 = decoder1(blob1);
|
|
72
|
-
const result2 = decoder2(blob2);
|
|
73
|
-
const result3 = decoder3(blob3);
|
|
74
|
-
try {
|
|
75
|
-
return ok([unwrap(result1), unwrap(result2), unwrap(result3)]);
|
|
76
|
-
} catch (e) {
|
|
77
|
-
// If a decoder error has happened while unwrapping all the
|
|
78
|
-
// results, try to construct a good error message
|
|
79
|
-
return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3)]));
|
|
80
|
-
}
|
|
81
|
-
});
|
|
82
|
-
}
|
|
83
|
-
|
|
84
|
-
/**
|
|
85
|
-
* Builds a Decoder that returns Ok for 4-tuples of [T1, T2, T3, T4], given
|
|
86
|
-
* Decoders for T1, T2, T3, and T4. Err otherwise.
|
|
87
|
-
*/
|
|
88
|
-
export function tuple4<T1, T2, T3, T4>(
|
|
89
|
-
decoder1: Decoder<T1>,
|
|
90
|
-
decoder2: Decoder<T2>,
|
|
91
|
-
decoder3: Decoder<T3>,
|
|
92
|
-
decoder4: Decoder<T4>,
|
|
93
|
-
): Decoder<[T1, T2, T3, T4]> {
|
|
94
|
-
return compose(ntuple(4), (blobs: $ReadOnlyArray<mixed>) => {
|
|
95
|
-
const [blob1, blob2, blob3, blob4] = blobs;
|
|
96
|
-
|
|
97
|
-
const result1 = decoder1(blob1);
|
|
98
|
-
const result2 = decoder2(blob2);
|
|
99
|
-
const result3 = decoder3(blob3);
|
|
100
|
-
const result4 = decoder4(blob4);
|
|
101
|
-
try {
|
|
102
|
-
return ok([
|
|
103
|
-
unwrap(result1),
|
|
104
|
-
unwrap(result2),
|
|
105
|
-
unwrap(result3),
|
|
106
|
-
unwrap(result4),
|
|
107
|
-
]);
|
|
108
|
-
} catch (e) {
|
|
109
|
-
// If a decoder error has happened while unwrapping all the
|
|
110
|
-
// results, try to construct a good error message
|
|
111
|
-
return err(
|
|
112
|
-
annotate([
|
|
113
|
-
okOrErr(result1),
|
|
114
|
-
okOrErr(result2),
|
|
115
|
-
okOrErr(result3),
|
|
116
|
-
okOrErr(result4),
|
|
117
|
-
]),
|
|
118
|
-
);
|
|
119
|
-
}
|
|
120
|
-
});
|
|
121
|
-
}
|
|
122
|
-
|
|
123
|
-
/**
|
|
124
|
-
* Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
|
|
125
|
-
* Decoders for T1, T2, T3, T4, and T5. Err otherwise.
|
|
126
|
-
*/
|
|
127
|
-
export function tuple5<T1, T2, T3, T4, T5>(
|
|
128
|
-
decoder1: Decoder<T1>,
|
|
129
|
-
decoder2: Decoder<T2>,
|
|
130
|
-
decoder3: Decoder<T3>,
|
|
131
|
-
decoder4: Decoder<T4>,
|
|
132
|
-
decoder5: Decoder<T5>,
|
|
133
|
-
): Decoder<[T1, T2, T3, T4, T5]> {
|
|
134
|
-
return compose(ntuple(5), (blobs: $ReadOnlyArray<mixed>) => {
|
|
135
|
-
const [blob1, blob2, blob3, blob4, blob5] = blobs;
|
|
136
|
-
|
|
137
|
-
const result1 = decoder1(blob1);
|
|
138
|
-
const result2 = decoder2(blob2);
|
|
139
|
-
const result3 = decoder3(blob3);
|
|
140
|
-
const result4 = decoder4(blob4);
|
|
141
|
-
const result5 = decoder5(blob5);
|
|
142
|
-
try {
|
|
143
|
-
return ok([
|
|
144
|
-
unwrap(result1),
|
|
145
|
-
unwrap(result2),
|
|
146
|
-
unwrap(result3),
|
|
147
|
-
unwrap(result4),
|
|
148
|
-
unwrap(result5),
|
|
149
|
-
]);
|
|
150
|
-
} catch (e) {
|
|
151
|
-
// If a decoder error has happened while unwrapping all the
|
|
152
|
-
// results, try to construct a good error message
|
|
153
|
-
return err(
|
|
154
|
-
annotate([
|
|
155
|
-
okOrErr(result1),
|
|
156
|
-
okOrErr(result2),
|
|
157
|
-
okOrErr(result3),
|
|
158
|
-
okOrErr(result4),
|
|
159
|
-
okOrErr(result5),
|
|
160
|
-
]),
|
|
161
|
-
);
|
|
162
|
-
}
|
|
163
|
-
});
|
|
164
|
-
}
|
|
165
|
-
|
|
166
|
-
/**
|
|
167
|
-
* Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
|
|
168
|
-
* Decoders for T1, T2, T3, T4, T5, and T6. Err otherwise.
|
|
169
|
-
*/
|
|
170
|
-
export function tuple6<T1, T2, T3, T4, T5, T6>(
|
|
171
|
-
decoder1: Decoder<T1>,
|
|
172
|
-
decoder2: Decoder<T2>,
|
|
173
|
-
decoder3: Decoder<T3>,
|
|
174
|
-
decoder4: Decoder<T4>,
|
|
175
|
-
decoder5: Decoder<T5>,
|
|
176
|
-
decoder6: Decoder<T6>,
|
|
177
|
-
): Decoder<[T1, T2, T3, T4, T5, T6]> {
|
|
178
|
-
return compose(ntuple(6), (blobs: $ReadOnlyArray<mixed>) => {
|
|
179
|
-
const [blob1, blob2, blob3, blob4, blob5, blob6] = blobs;
|
|
180
|
-
|
|
181
|
-
const result1 = decoder1(blob1);
|
|
182
|
-
const result2 = decoder2(blob2);
|
|
183
|
-
const result3 = decoder3(blob3);
|
|
184
|
-
const result4 = decoder4(blob4);
|
|
185
|
-
const result5 = decoder5(blob5);
|
|
186
|
-
const result6 = decoder6(blob6);
|
|
187
|
-
try {
|
|
188
|
-
return ok([
|
|
189
|
-
unwrap(result1),
|
|
190
|
-
unwrap(result2),
|
|
191
|
-
unwrap(result3),
|
|
192
|
-
unwrap(result4),
|
|
193
|
-
unwrap(result5),
|
|
194
|
-
unwrap(result6),
|
|
195
|
-
]);
|
|
196
|
-
} catch (e) {
|
|
197
|
-
// If a decoder error has happened while unwrapping all the
|
|
198
|
-
// results, try to construct a good error message
|
|
199
|
-
return err(
|
|
200
|
-
annotate([
|
|
201
|
-
okOrErr(result1),
|
|
202
|
-
okOrErr(result2),
|
|
203
|
-
okOrErr(result3),
|
|
204
|
-
okOrErr(result4),
|
|
205
|
-
okOrErr(result5),
|
|
206
|
-
okOrErr(result6),
|
|
207
|
-
]),
|
|
208
|
-
);
|
|
209
|
-
}
|
|
210
|
-
});
|
|
211
|
-
}
|
package/core/tuple.mjs
DELETED
|
@@ -1,159 +0,0 @@
|
|
|
1
|
-
import { annotate } from '../annotate.mjs';
|
|
2
|
-
import { compose, predicate } from './composition.mjs';
|
|
3
|
-
import { err, ok, unwrap } from '../result.mjs';
|
|
4
|
-
import { poja } from './array.mjs';
|
|
5
|
-
|
|
6
|
-
function okOrErr(result) {
|
|
7
|
-
return result.type === 'ok' ? result.value : result.error;
|
|
8
|
-
}
|
|
9
|
-
|
|
10
|
-
var ntuple = function ntuple(n) {
|
|
11
|
-
return predicate(poja, function (arr) {
|
|
12
|
-
return arr.length === n;
|
|
13
|
-
}, "Must be a " + n + "-tuple");
|
|
14
|
-
};
|
|
15
|
-
/**
|
|
16
|
-
* Builds a Decoder that returns Ok for 1-tuple of [T], given a Decoder for T.
|
|
17
|
-
* Err otherwise.
|
|
18
|
-
*/
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
export function tuple1(decoder1) {
|
|
22
|
-
return compose(ntuple(1), function (blobs) {
|
|
23
|
-
var blob1 = blobs[0];
|
|
24
|
-
var result1 = decoder1(blob1);
|
|
25
|
-
|
|
26
|
-
try {
|
|
27
|
-
return ok([unwrap(result1)]);
|
|
28
|
-
} catch (e) {
|
|
29
|
-
// If a decoder error has happened while unwrapping all the
|
|
30
|
-
// results, try to construct a good error message
|
|
31
|
-
return err(annotate([okOrErr(result1)]));
|
|
32
|
-
}
|
|
33
|
-
});
|
|
34
|
-
}
|
|
35
|
-
/**
|
|
36
|
-
* Builds a Decoder that returns Ok for 2-tuples of [T1, T2], given Decoders
|
|
37
|
-
* for T1 and T2. Err otherwise.
|
|
38
|
-
*/
|
|
39
|
-
|
|
40
|
-
export function tuple2(decoder1, decoder2) {
|
|
41
|
-
return compose(ntuple(2), function (blobs) {
|
|
42
|
-
var blob1 = blobs[0],
|
|
43
|
-
blob2 = blobs[1];
|
|
44
|
-
var result1 = decoder1(blob1);
|
|
45
|
-
var result2 = decoder2(blob2);
|
|
46
|
-
|
|
47
|
-
try {
|
|
48
|
-
return ok([unwrap(result1), unwrap(result2)]);
|
|
49
|
-
} catch (e) {
|
|
50
|
-
// If a decoder error has happened while unwrapping all the
|
|
51
|
-
// results, try to construct a good error message
|
|
52
|
-
return err(annotate([okOrErr(result1), okOrErr(result2)]));
|
|
53
|
-
}
|
|
54
|
-
});
|
|
55
|
-
}
|
|
56
|
-
/**
|
|
57
|
-
* Builds a Decoder that returns Ok for 3-tuples of [T1, T2, T3], given
|
|
58
|
-
* Decoders for T1, T2, and T3. Err otherwise.
|
|
59
|
-
*/
|
|
60
|
-
|
|
61
|
-
export function tuple3(decoder1, decoder2, decoder3) {
|
|
62
|
-
return compose(ntuple(3), function (blobs) {
|
|
63
|
-
var blob1 = blobs[0],
|
|
64
|
-
blob2 = blobs[1],
|
|
65
|
-
blob3 = blobs[2];
|
|
66
|
-
var result1 = decoder1(blob1);
|
|
67
|
-
var result2 = decoder2(blob2);
|
|
68
|
-
var result3 = decoder3(blob3);
|
|
69
|
-
|
|
70
|
-
try {
|
|
71
|
-
return ok([unwrap(result1), unwrap(result2), unwrap(result3)]);
|
|
72
|
-
} catch (e) {
|
|
73
|
-
// If a decoder error has happened while unwrapping all the
|
|
74
|
-
// results, try to construct a good error message
|
|
75
|
-
return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3)]));
|
|
76
|
-
}
|
|
77
|
-
});
|
|
78
|
-
}
|
|
79
|
-
/**
|
|
80
|
-
* Builds a Decoder that returns Ok for 4-tuples of [T1, T2, T3, T4], given
|
|
81
|
-
* Decoders for T1, T2, T3, and T4. Err otherwise.
|
|
82
|
-
*/
|
|
83
|
-
|
|
84
|
-
export function tuple4(decoder1, decoder2, decoder3, decoder4) {
|
|
85
|
-
return compose(ntuple(4), function (blobs) {
|
|
86
|
-
var blob1 = blobs[0],
|
|
87
|
-
blob2 = blobs[1],
|
|
88
|
-
blob3 = blobs[2],
|
|
89
|
-
blob4 = blobs[3];
|
|
90
|
-
var result1 = decoder1(blob1);
|
|
91
|
-
var result2 = decoder2(blob2);
|
|
92
|
-
var result3 = decoder3(blob3);
|
|
93
|
-
var result4 = decoder4(blob4);
|
|
94
|
-
|
|
95
|
-
try {
|
|
96
|
-
return ok([unwrap(result1), unwrap(result2), unwrap(result3), unwrap(result4)]);
|
|
97
|
-
} catch (e) {
|
|
98
|
-
// If a decoder error has happened while unwrapping all the
|
|
99
|
-
// results, try to construct a good error message
|
|
100
|
-
return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4)]));
|
|
101
|
-
}
|
|
102
|
-
});
|
|
103
|
-
}
|
|
104
|
-
/**
|
|
105
|
-
* Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
|
|
106
|
-
* Decoders for T1, T2, T3, T4, and T5. Err otherwise.
|
|
107
|
-
*/
|
|
108
|
-
|
|
109
|
-
export function tuple5(decoder1, decoder2, decoder3, decoder4, decoder5) {
|
|
110
|
-
return compose(ntuple(5), function (blobs) {
|
|
111
|
-
var blob1 = blobs[0],
|
|
112
|
-
blob2 = blobs[1],
|
|
113
|
-
blob3 = blobs[2],
|
|
114
|
-
blob4 = blobs[3],
|
|
115
|
-
blob5 = blobs[4];
|
|
116
|
-
var result1 = decoder1(blob1);
|
|
117
|
-
var result2 = decoder2(blob2);
|
|
118
|
-
var result3 = decoder3(blob3);
|
|
119
|
-
var result4 = decoder4(blob4);
|
|
120
|
-
var result5 = decoder5(blob5);
|
|
121
|
-
|
|
122
|
-
try {
|
|
123
|
-
return ok([unwrap(result1), unwrap(result2), unwrap(result3), unwrap(result4), unwrap(result5)]);
|
|
124
|
-
} catch (e) {
|
|
125
|
-
// If a decoder error has happened while unwrapping all the
|
|
126
|
-
// results, try to construct a good error message
|
|
127
|
-
return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4), okOrErr(result5)]));
|
|
128
|
-
}
|
|
129
|
-
});
|
|
130
|
-
}
|
|
131
|
-
/**
|
|
132
|
-
* Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
|
|
133
|
-
* Decoders for T1, T2, T3, T4, T5, and T6. Err otherwise.
|
|
134
|
-
*/
|
|
135
|
-
|
|
136
|
-
export function tuple6(decoder1, decoder2, decoder3, decoder4, decoder5, decoder6) {
|
|
137
|
-
return compose(ntuple(6), function (blobs) {
|
|
138
|
-
var blob1 = blobs[0],
|
|
139
|
-
blob2 = blobs[1],
|
|
140
|
-
blob3 = blobs[2],
|
|
141
|
-
blob4 = blobs[3],
|
|
142
|
-
blob5 = blobs[4],
|
|
143
|
-
blob6 = blobs[5];
|
|
144
|
-
var result1 = decoder1(blob1);
|
|
145
|
-
var result2 = decoder2(blob2);
|
|
146
|
-
var result3 = decoder3(blob3);
|
|
147
|
-
var result4 = decoder4(blob4);
|
|
148
|
-
var result5 = decoder5(blob5);
|
|
149
|
-
var result6 = decoder6(blob6);
|
|
150
|
-
|
|
151
|
-
try {
|
|
152
|
-
return ok([unwrap(result1), unwrap(result2), unwrap(result3), unwrap(result4), unwrap(result5), unwrap(result6)]);
|
|
153
|
-
} catch (e) {
|
|
154
|
-
// If a decoder error has happened while unwrapping all the
|
|
155
|
-
// results, try to construct a good error message
|
|
156
|
-
return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4), okOrErr(result5), okOrErr(result6)]));
|
|
157
|
-
}
|
|
158
|
-
});
|
|
159
|
-
}
|