decoders 2.0.0-beta1 → 2.0.0-beta10
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 +30 -0
- package/Decoder.d.ts +27 -0
- package/Decoder.js +199 -0
- package/Decoder.js.flow +224 -0
- package/Decoder.mjs +192 -0
- package/NotSupportedTSVersion.d.ts +1 -0
- package/README.md +105 -961
- package/_utils.d.ts +9 -0
- package/{cjs/_utils.js → _utils.js} +12 -18
- package/{cjs/_utils.js.flow → _utils.js.flow} +15 -19
- package/{es/_utils.js → _utils.mjs} +11 -15
- package/{ts/annotate.d.ts → annotate.d.ts} +25 -21
- package/{cjs/annotate.js → annotate.js} +0 -0
- package/{cjs/annotate.js.flow → annotate.js.flow} +0 -0
- package/{es/annotate.js → annotate.mjs} +0 -0
- package/format.d.ts +4 -0
- package/{cjs/format/inline.js → format.js} +7 -2
- package/{cjs/format/inline.js.flow → format.js.flow} +7 -3
- package/{es/format/inline.js → format.mjs} +5 -2
- package/index.d.ts +40 -0
- package/index.js +90 -0
- package/index.js.flow +44 -0
- package/index.mjs +11 -0
- package/{ts → lib}/_helpers.d.ts +0 -0
- package/lib/arrays.d.ts +37 -0
- package/lib/arrays.js +138 -0
- package/lib/arrays.js.flow +138 -0
- package/lib/arrays.mjs +123 -0
- package/lib/basics.d.ts +14 -0
- package/lib/basics.js +109 -0
- package/lib/basics.js.flow +85 -0
- package/lib/basics.mjs +85 -0
- package/{ts/boolean.d.ts → lib/booleans.d.ts} +1 -1
- package/lib/booleans.js +35 -0
- package/lib/booleans.js.flow +22 -0
- package/lib/booleans.mjs +25 -0
- package/{ts/date.d.ts → lib/dates.d.ts} +1 -1
- package/lib/dates.js +44 -0
- package/lib/dates.js.flow +40 -0
- package/lib/dates.mjs +34 -0
- package/{ts → lib}/json.d.ts +1 -1
- package/lib/json.js +55 -0
- package/lib/json.js.flow +50 -0
- package/lib/json.mjs +40 -0
- package/{ts/number.d.ts → lib/numbers.d.ts} +2 -1
- package/lib/numbers.js +52 -0
- package/lib/numbers.js.flow +49 -0
- package/lib/numbers.mjs +42 -0
- package/{ts/object.d.ts → lib/objects.d.ts} +9 -4
- package/lib/objects.js +240 -0
- package/lib/objects.js.flow +246 -0
- package/lib/objects.mjs +223 -0
- package/lib/strings.d.ts +13 -0
- package/lib/strings.js +101 -0
- package/lib/strings.js.flow +90 -0
- package/lib/strings.mjs +82 -0
- package/lib/unions.d.ts +78 -0
- package/lib/unions.js +161 -0
- package/lib/unions.js.flow +158 -0
- package/lib/unions.mjs +145 -0
- package/lib/utilities.d.ts +10 -0
- package/lib/utilities.js +94 -0
- package/lib/utilities.js.flow +84 -0
- package/lib/utilities.mjs +79 -0
- package/package.json +79 -29
- package/result.d.ts +16 -0
- package/result.js +34 -0
- package/result.js.flow +26 -0
- package/result.mjs +27 -0
- package/cjs/_guard.js +0 -26
- package/cjs/_guard.js.flow +0 -20
- package/cjs/_types.js +0 -1
- package/cjs/_types.js.flow +0 -20
- package/cjs/format/index.js +0 -12
- package/cjs/format/index.js.flow +0 -4
- package/cjs/format/short.js +0 -10
- package/cjs/format/short.js.flow +0 -8
- package/cjs/index.js +0 -120
- package/cjs/index.js.flow +0 -63
- package/cjs/result.js +0 -172
- package/cjs/result.js.flow +0 -166
- package/cjs/stdlib/array.js +0 -108
- package/cjs/stdlib/array.js.flow +0 -103
- package/cjs/stdlib/boolean.js +0 -44
- package/cjs/stdlib/boolean.js.flow +0 -29
- package/cjs/stdlib/composition.js +0 -56
- package/cjs/stdlib/composition.js.flow +0 -43
- package/cjs/stdlib/constants.js +0 -69
- package/cjs/stdlib/constants.js.flow +0 -46
- package/cjs/stdlib/date.js +0 -46
- package/cjs/stdlib/date.js.flow +0 -40
- package/cjs/stdlib/describe.js +0 -26
- package/cjs/stdlib/describe.js.flow +0 -17
- package/cjs/stdlib/dispatch.js +0 -62
- package/cjs/stdlib/dispatch.js.flow +0 -58
- package/cjs/stdlib/either.js +0 -117
- package/cjs/stdlib/either.js.flow +0 -151
- package/cjs/stdlib/fail.js +0 -21
- package/cjs/stdlib/fail.js.flow +0 -12
- package/cjs/stdlib/instanceOf.js +0 -19
- package/cjs/stdlib/instanceOf.js.flow +0 -20
- package/cjs/stdlib/json.js +0 -31
- package/cjs/stdlib/json.js.flow +0 -28
- package/cjs/stdlib/lazy.js +0 -16
- package/cjs/stdlib/lazy.js.flow +0 -15
- package/cjs/stdlib/mapping.js +0 -67
- package/cjs/stdlib/mapping.js.flow +0 -54
- package/cjs/stdlib/number.js +0 -40
- package/cjs/stdlib/number.js.flow +0 -34
- package/cjs/stdlib/object.js +0 -194
- package/cjs/stdlib/object.js.flow +0 -203
- package/cjs/stdlib/optional.js +0 -54
- package/cjs/stdlib/optional.js.flow +0 -41
- package/cjs/stdlib/string.js +0 -98
- package/cjs/stdlib/string.js.flow +0 -82
- package/cjs/stdlib/tuple.js +0 -173
- package/cjs/stdlib/tuple.js.flow +0 -220
- package/es/_guard.js +0 -15
- package/es/_types.js +0 -0
- package/es/format/index.js +0 -2
- package/es/format/short.js +0 -4
- package/es/index.js +0 -37
- package/es/result.js +0 -139
- package/es/stdlib/array.js +0 -91
- package/es/stdlib/boolean.js +0 -28
- package/es/stdlib/composition.js +0 -42
- package/es/stdlib/constants.js +0 -46
- package/es/stdlib/date.js +0 -28
- package/es/stdlib/describe.js +0 -16
- package/es/stdlib/dispatch.js +0 -51
- package/es/stdlib/either.js +0 -90
- package/es/stdlib/fail.js +0 -11
- package/es/stdlib/instanceOf.js +0 -8
- package/es/stdlib/json.js +0 -15
- package/es/stdlib/lazy.js +0 -11
- package/es/stdlib/mapping.js +0 -54
- package/es/stdlib/number.js +0 -25
- package/es/stdlib/object.js +0 -175
- package/es/stdlib/optional.js +0 -38
- package/es/stdlib/string.js +0 -76
- package/es/stdlib/tuple.js +0 -155
- package/ts/_guard.d.ts +0 -7
- package/ts/_types.d.ts +0 -16
- package/ts/_utils.d.ts +0 -13
- package/ts/array.d.ts +0 -5
- package/ts/constants.d.ts +0 -11
- package/ts/describe.d.ts +0 -3
- package/ts/dispatch.d.ts +0 -8
- package/ts/either.d.ts +0 -61
- package/ts/fail.d.ts +0 -3
- package/ts/index.d.ts +0 -42
- package/ts/inline.d.ts +0 -3
- package/ts/instanceOf.d.ts +0 -3
- package/ts/lazy.d.ts +0 -3
- package/ts/mapping.d.ts +0 -4
- package/ts/optional.d.ts +0 -5
- package/ts/result.d.ts +0 -39
- package/ts/short.d.ts +0 -3
- package/ts/string.d.ts +0 -7
- package/ts/tuple.d.ts +0 -30
package/lib/objects.js
ADDED
|
@@ -0,0 +1,240 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
|
|
3
|
+
exports.__esModule = true;
|
|
4
|
+
exports.dict = dict;
|
|
5
|
+
exports.exact = exact;
|
|
6
|
+
exports.inexact = inexact;
|
|
7
|
+
exports.mapping = mapping;
|
|
8
|
+
exports.object = object;
|
|
9
|
+
exports.pojo = void 0;
|
|
10
|
+
|
|
11
|
+
var _annotate = require("../annotate");
|
|
12
|
+
|
|
13
|
+
var _Decoder = require("../Decoder");
|
|
14
|
+
|
|
15
|
+
function _extends() { _extends = Object.assign || function (target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i]; for (var key in source) { if (Object.prototype.hasOwnProperty.call(source, key)) { target[key] = source[key]; } } } return target; }; return _extends.apply(this, arguments); }
|
|
16
|
+
|
|
17
|
+
function subtract(xs, ys) {
|
|
18
|
+
var result = new Set();
|
|
19
|
+
xs.forEach(function (x) {
|
|
20
|
+
if (!ys.has(x)) {
|
|
21
|
+
result.add(x);
|
|
22
|
+
}
|
|
23
|
+
});
|
|
24
|
+
return result;
|
|
25
|
+
}
|
|
26
|
+
/**
|
|
27
|
+
* Accepts any "plain old JavaScript object", but doesn't validate its keys or
|
|
28
|
+
* values further.
|
|
29
|
+
*/
|
|
30
|
+
|
|
31
|
+
|
|
32
|
+
var pojo = (0, _Decoder.define)(function (blob, ok, err) {
|
|
33
|
+
return blob !== null && blob !== undefined && typeof blob === 'object' && // This still seems to be the only reliable way to determine whether
|
|
34
|
+
// something is a pojo... ¯\_(ツ)_/¯
|
|
35
|
+
// $FlowFixMe[method-unbinding]
|
|
36
|
+
Object.prototype.toString.call(blob) === '[object Object]' ? ok( // NOTE:
|
|
37
|
+
// Since Flow 0.98, typeof o === 'object' refines to
|
|
38
|
+
// {| +[string]: mixed |}
|
|
39
|
+
// instead of
|
|
40
|
+
// {| [string]: mixed |}
|
|
41
|
+
//
|
|
42
|
+
// For rationale, see https://github.com/facebook/flow/issues/7685.
|
|
43
|
+
// In this case, we don't want to output a read-only version of
|
|
44
|
+
// the object because it's up to the user of decoders to
|
|
45
|
+
// determine what they want to do with the decoded output. If they
|
|
46
|
+
// want to write items into the array, that's fine! The fastest
|
|
47
|
+
// way to turn a read-only Object to a writeable one in ES6 seems
|
|
48
|
+
// to be to use object-spread. (Going off this benchmark:
|
|
49
|
+
// https://thecodebarbarian.com/object-assign-vs-object-spread.html)
|
|
50
|
+
_extends({}, blob)) : err('Must be an object');
|
|
51
|
+
});
|
|
52
|
+
/**
|
|
53
|
+
* Accepts objects with fields matching the given decoders. Extra fields that
|
|
54
|
+
* exist on the input object are ignored and will not be returned.
|
|
55
|
+
*/
|
|
56
|
+
|
|
57
|
+
exports.pojo = pojo;
|
|
58
|
+
|
|
59
|
+
function object(decodersByKey) {
|
|
60
|
+
// Compute this set at decoder definition time
|
|
61
|
+
var knownKeys = new Set(Object.keys(decodersByKey));
|
|
62
|
+
return pojo.then(function (plainObj, ok, err) {
|
|
63
|
+
var actualKeys = new Set(Object.keys(plainObj)); // At this point, "missingKeys" will also include all fields that may
|
|
64
|
+
// validly be optional. We'll let the underlying decoder decide and
|
|
65
|
+
// remove the key from this missing set if the decoder accepts the
|
|
66
|
+
// value.
|
|
67
|
+
|
|
68
|
+
var missingKeys = subtract(knownKeys, actualKeys);
|
|
69
|
+
var record = {};
|
|
70
|
+
var errors = null;
|
|
71
|
+
Object.keys(decodersByKey).forEach(function (key) {
|
|
72
|
+
var decoder = decodersByKey[key];
|
|
73
|
+
var rawValue = plainObj[key];
|
|
74
|
+
var result = decoder.decode(rawValue);
|
|
75
|
+
|
|
76
|
+
if (result.ok) {
|
|
77
|
+
var value = result.value;
|
|
78
|
+
|
|
79
|
+
if (value !== undefined) {
|
|
80
|
+
record[key] = value;
|
|
81
|
+
} // If this succeeded, remove the key from the missing keys
|
|
82
|
+
// tracker
|
|
83
|
+
|
|
84
|
+
|
|
85
|
+
missingKeys["delete"](key);
|
|
86
|
+
} else {
|
|
87
|
+
var ann = result.error; // Keep track of the annotation, but don't return just yet. We
|
|
88
|
+
// want to collect more error information.
|
|
89
|
+
|
|
90
|
+
if (rawValue === undefined) {
|
|
91
|
+
// Explicitly add it to the missing set if the value is
|
|
92
|
+
// undefined. This covers explicit undefineds to be
|
|
93
|
+
// treated the same as implicit undefineds (aka missing
|
|
94
|
+
// keys).
|
|
95
|
+
missingKeys.add(key);
|
|
96
|
+
} else {
|
|
97
|
+
if (errors === null) {
|
|
98
|
+
errors = {};
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
errors[key] = ann;
|
|
102
|
+
}
|
|
103
|
+
}
|
|
104
|
+
}); // Deal with errors now. There are two classes of errors we want to
|
|
105
|
+
// report. First of all, we want to report any inline errors in this
|
|
106
|
+
// object. Lastly, any fields that are missing should be annotated on
|
|
107
|
+
// the outer object itself.
|
|
108
|
+
|
|
109
|
+
if (errors || missingKeys.size > 0) {
|
|
110
|
+
var objAnn = (0, _annotate.annotateObject)(plainObj);
|
|
111
|
+
|
|
112
|
+
if (errors) {
|
|
113
|
+
objAnn = (0, _annotate.merge)(objAnn, errors);
|
|
114
|
+
}
|
|
115
|
+
|
|
116
|
+
if (missingKeys.size > 0) {
|
|
117
|
+
var errMsg = Array.from(missingKeys).map(function (key) {
|
|
118
|
+
return "\"" + key + "\"";
|
|
119
|
+
}).join(', ');
|
|
120
|
+
var pluralized = missingKeys.size > 1 ? 'keys' : 'key';
|
|
121
|
+
objAnn = (0, _annotate.updateText)(objAnn, "Missing " + pluralized + ": " + errMsg);
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
return err(objAnn);
|
|
125
|
+
}
|
|
126
|
+
|
|
127
|
+
return ok(record);
|
|
128
|
+
});
|
|
129
|
+
}
|
|
130
|
+
/**
|
|
131
|
+
* Like `object()`, but will reject inputs that contain extra fields that are
|
|
132
|
+
* not specified explicitly.
|
|
133
|
+
*/
|
|
134
|
+
|
|
135
|
+
|
|
136
|
+
function exact(decodersByKey) {
|
|
137
|
+
// Compute this set at decoder definition time
|
|
138
|
+
var allowedKeys = new Set(Object.keys(decodersByKey)); // Check the inputted object for any unexpected extra keys
|
|
139
|
+
|
|
140
|
+
var checked = pojo.reject(function (plainObj) {
|
|
141
|
+
var actualKeys = new Set(Object.keys(plainObj));
|
|
142
|
+
var extraKeys = subtract(actualKeys, allowedKeys);
|
|
143
|
+
return extraKeys.size > 0 ? "Unexpected extra keys: " + Array.from(extraKeys).join(', ') : // Don't reject
|
|
144
|
+
null;
|
|
145
|
+
}); // Defer to the "object" decoder for doing the real decoding work. Since
|
|
146
|
+
// we made sure there are no superfluous keys in this structure, it's now
|
|
147
|
+
// safe to force-cast it to an $Exact<> type.
|
|
148
|
+
|
|
149
|
+
return checked.then(object(decodersByKey).decode);
|
|
150
|
+
}
|
|
151
|
+
/**
|
|
152
|
+
* Like `object()`, but will pass through any extra fields on the input object
|
|
153
|
+
* unvalidated that will thus be of `unknown` type statically.
|
|
154
|
+
*/
|
|
155
|
+
|
|
156
|
+
|
|
157
|
+
function inexact(decodersByKey) {
|
|
158
|
+
return pojo.then(function (plainObj) {
|
|
159
|
+
var allkeys = new Set(Object.keys(plainObj));
|
|
160
|
+
var decoder = object(decodersByKey).transform(function (safepart) {
|
|
161
|
+
var safekeys = new Set(Object.keys(decodersByKey)); // To account for hard-coded keys that aren't part of the input
|
|
162
|
+
|
|
163
|
+
safekeys.forEach(function (k) {
|
|
164
|
+
return allkeys.add(k);
|
|
165
|
+
});
|
|
166
|
+
var rv = {};
|
|
167
|
+
allkeys.forEach(function (k) {
|
|
168
|
+
if (safekeys.has(k)) {
|
|
169
|
+
var value = safepart[k];
|
|
170
|
+
|
|
171
|
+
if (value !== undefined) {
|
|
172
|
+
rv[k] = value;
|
|
173
|
+
}
|
|
174
|
+
} else {
|
|
175
|
+
rv[k] = plainObj[k];
|
|
176
|
+
}
|
|
177
|
+
});
|
|
178
|
+
return rv;
|
|
179
|
+
});
|
|
180
|
+
return decoder.decode(plainObj);
|
|
181
|
+
});
|
|
182
|
+
}
|
|
183
|
+
/**
|
|
184
|
+
* Accepts objects where all values match the given decoder, and returns the
|
|
185
|
+
* result as a `{ [string]: T }`.
|
|
186
|
+
*
|
|
187
|
+
* The main difference between `object()` and `dict()` is that you'd typically
|
|
188
|
+
* use `object()` if this is a record-like object, where all field names are
|
|
189
|
+
* known and the values are heterogeneous. Whereas with `dict()` the keys are
|
|
190
|
+
* typically dynamic and the values homogeneous, like in a dictionary,
|
|
191
|
+
* a lookup table, or a cache.
|
|
192
|
+
*/
|
|
193
|
+
|
|
194
|
+
|
|
195
|
+
function dict(decoder) {
|
|
196
|
+
return pojo.then(function (plainObj, ok, err) {
|
|
197
|
+
var rv = {};
|
|
198
|
+
var errors = null;
|
|
199
|
+
Object.keys(plainObj).forEach(function (key) {
|
|
200
|
+
var value = plainObj[key];
|
|
201
|
+
var result = decoder.decode(value);
|
|
202
|
+
|
|
203
|
+
if (result.ok) {
|
|
204
|
+
if (errors === null) {
|
|
205
|
+
rv[key] = result.value;
|
|
206
|
+
}
|
|
207
|
+
} else {
|
|
208
|
+
rv = {}; // Clear the success value so it can get garbage collected early
|
|
209
|
+
|
|
210
|
+
if (errors === null) {
|
|
211
|
+
errors = {};
|
|
212
|
+
}
|
|
213
|
+
|
|
214
|
+
errors[key] = result.error;
|
|
215
|
+
}
|
|
216
|
+
});
|
|
217
|
+
|
|
218
|
+
if (errors !== null) {
|
|
219
|
+
return err((0, _annotate.merge)((0, _annotate.annotateObject)(plainObj), errors));
|
|
220
|
+
} else {
|
|
221
|
+
return ok(rv);
|
|
222
|
+
}
|
|
223
|
+
});
|
|
224
|
+
}
|
|
225
|
+
/**
|
|
226
|
+
* Similar to `dict()`, but returns the result as a `Map<string, T>` (an [ES6
|
|
227
|
+
* Map](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Map))
|
|
228
|
+
* instead.
|
|
229
|
+
*/
|
|
230
|
+
|
|
231
|
+
|
|
232
|
+
function mapping(decoder) {
|
|
233
|
+
return dict(decoder).transform(function (obj) {
|
|
234
|
+
return new Map( // This is effectively Object.entries(obj), but in a way that Flow
|
|
235
|
+
// will know the types are okay
|
|
236
|
+
Object.keys(obj).map(function (key) {
|
|
237
|
+
return [key, obj[key]];
|
|
238
|
+
}));
|
|
239
|
+
});
|
|
240
|
+
}
|
|
@@ -0,0 +1,246 @@
|
|
|
1
|
+
// @flow strict
|
|
2
|
+
|
|
3
|
+
import { annotateObject, merge, updateText } from '../annotate';
|
|
4
|
+
import { define } from '../Decoder';
|
|
5
|
+
import type { _Any } from '../_utils';
|
|
6
|
+
import type { Annotation } from '../annotate';
|
|
7
|
+
import type { Decoder, DecodeResult } from '../Decoder';
|
|
8
|
+
|
|
9
|
+
function subtract(xs: Set<string>, ys: Set<string>): Set<string> {
|
|
10
|
+
const result = new Set();
|
|
11
|
+
xs.forEach((x) => {
|
|
12
|
+
if (!ys.has(x)) {
|
|
13
|
+
result.add(x);
|
|
14
|
+
}
|
|
15
|
+
});
|
|
16
|
+
return result;
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
/**
|
|
20
|
+
* Accepts any "plain old JavaScript object", but doesn't validate its keys or
|
|
21
|
+
* values further.
|
|
22
|
+
*/
|
|
23
|
+
export const pojo: Decoder<{| [string]: mixed |}> = define((blob, ok, err) =>
|
|
24
|
+
blob !== null &&
|
|
25
|
+
blob !== undefined &&
|
|
26
|
+
typeof blob === 'object' &&
|
|
27
|
+
// This still seems to be the only reliable way to determine whether
|
|
28
|
+
// something is a pojo... ¯\_(ツ)_/¯
|
|
29
|
+
// $FlowFixMe[method-unbinding]
|
|
30
|
+
Object.prototype.toString.call(blob) === '[object Object]'
|
|
31
|
+
? ok(
|
|
32
|
+
// NOTE:
|
|
33
|
+
// Since Flow 0.98, typeof o === 'object' refines to
|
|
34
|
+
// {| +[string]: mixed |}
|
|
35
|
+
// instead of
|
|
36
|
+
// {| [string]: mixed |}
|
|
37
|
+
//
|
|
38
|
+
// For rationale, see https://github.com/facebook/flow/issues/7685.
|
|
39
|
+
// In this case, we don't want to output a read-only version of
|
|
40
|
+
// the object because it's up to the user of decoders to
|
|
41
|
+
// determine what they want to do with the decoded output. If they
|
|
42
|
+
// want to write items into the array, that's fine! The fastest
|
|
43
|
+
// way to turn a read-only Object to a writeable one in ES6 seems
|
|
44
|
+
// to be to use object-spread. (Going off this benchmark:
|
|
45
|
+
// https://thecodebarbarian.com/object-assign-vs-object-spread.html)
|
|
46
|
+
{ ...blob },
|
|
47
|
+
)
|
|
48
|
+
: err('Must be an object'),
|
|
49
|
+
);
|
|
50
|
+
|
|
51
|
+
/**
|
|
52
|
+
* Accepts objects with fields matching the given decoders. Extra fields that
|
|
53
|
+
* exist on the input object are ignored and will not be returned.
|
|
54
|
+
*/
|
|
55
|
+
export function object<O: { +[field: string]: Decoder<_Any>, ... }>(
|
|
56
|
+
decodersByKey: O,
|
|
57
|
+
): Decoder<$ObjMap<O, <T>(Decoder<T>) => T>> {
|
|
58
|
+
// Compute this set at decoder definition time
|
|
59
|
+
const knownKeys = new Set(Object.keys(decodersByKey));
|
|
60
|
+
|
|
61
|
+
return pojo.then((plainObj, ok, err) => {
|
|
62
|
+
const actualKeys = new Set(Object.keys(plainObj));
|
|
63
|
+
|
|
64
|
+
// At this point, "missingKeys" will also include all fields that may
|
|
65
|
+
// validly be optional. We'll let the underlying decoder decide and
|
|
66
|
+
// remove the key from this missing set if the decoder accepts the
|
|
67
|
+
// value.
|
|
68
|
+
const missingKeys = subtract(knownKeys, actualKeys);
|
|
69
|
+
|
|
70
|
+
let record = {};
|
|
71
|
+
let errors: { [key: string]: Annotation } | null = null;
|
|
72
|
+
|
|
73
|
+
Object.keys(decodersByKey).forEach((key) => {
|
|
74
|
+
const decoder = decodersByKey[key];
|
|
75
|
+
const rawValue = plainObj[key];
|
|
76
|
+
const result: DecodeResult<mixed> = decoder.decode(rawValue);
|
|
77
|
+
|
|
78
|
+
if (result.ok) {
|
|
79
|
+
const value = result.value;
|
|
80
|
+
if (value !== undefined) {
|
|
81
|
+
record[key] = value;
|
|
82
|
+
}
|
|
83
|
+
|
|
84
|
+
// If this succeeded, remove the key from the missing keys
|
|
85
|
+
// tracker
|
|
86
|
+
missingKeys.delete(key);
|
|
87
|
+
} else {
|
|
88
|
+
const ann = result.error;
|
|
89
|
+
|
|
90
|
+
// Keep track of the annotation, but don't return just yet. We
|
|
91
|
+
// want to collect more error information.
|
|
92
|
+
if (rawValue === undefined) {
|
|
93
|
+
// Explicitly add it to the missing set if the value is
|
|
94
|
+
// undefined. This covers explicit undefineds to be
|
|
95
|
+
// treated the same as implicit undefineds (aka missing
|
|
96
|
+
// keys).
|
|
97
|
+
missingKeys.add(key);
|
|
98
|
+
} else {
|
|
99
|
+
if (errors === null) {
|
|
100
|
+
errors = {};
|
|
101
|
+
}
|
|
102
|
+
errors[key] = ann;
|
|
103
|
+
}
|
|
104
|
+
}
|
|
105
|
+
});
|
|
106
|
+
|
|
107
|
+
// Deal with errors now. There are two classes of errors we want to
|
|
108
|
+
// report. First of all, we want to report any inline errors in this
|
|
109
|
+
// object. Lastly, any fields that are missing should be annotated on
|
|
110
|
+
// the outer object itself.
|
|
111
|
+
if (errors || missingKeys.size > 0) {
|
|
112
|
+
let objAnn = annotateObject(plainObj);
|
|
113
|
+
|
|
114
|
+
if (errors) {
|
|
115
|
+
objAnn = merge(objAnn, errors);
|
|
116
|
+
}
|
|
117
|
+
|
|
118
|
+
if (missingKeys.size > 0) {
|
|
119
|
+
const errMsg = Array.from(missingKeys)
|
|
120
|
+
.map((key) => `"${key}"`)
|
|
121
|
+
.join(', ');
|
|
122
|
+
const pluralized = missingKeys.size > 1 ? 'keys' : 'key';
|
|
123
|
+
objAnn = updateText(objAnn, `Missing ${pluralized}: ${errMsg}`);
|
|
124
|
+
}
|
|
125
|
+
|
|
126
|
+
return err(objAnn);
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
return ok(record);
|
|
130
|
+
});
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
/**
|
|
134
|
+
* Like `object()`, but will reject inputs that contain extra fields that are
|
|
135
|
+
* not specified explicitly.
|
|
136
|
+
*/
|
|
137
|
+
export function exact<O: { +[field: string]: Decoder<_Any>, ... }>(
|
|
138
|
+
decodersByKey: O,
|
|
139
|
+
): Decoder<$ObjMap<$Exact<O>, <T>(Decoder<T>) => T>> {
|
|
140
|
+
// Compute this set at decoder definition time
|
|
141
|
+
const allowedKeys = new Set(Object.keys(decodersByKey));
|
|
142
|
+
|
|
143
|
+
// Check the inputted object for any unexpected extra keys
|
|
144
|
+
const checked = pojo.reject((plainObj) => {
|
|
145
|
+
const actualKeys = new Set(Object.keys(plainObj));
|
|
146
|
+
const extraKeys = subtract(actualKeys, allowedKeys);
|
|
147
|
+
return extraKeys.size > 0
|
|
148
|
+
? `Unexpected extra keys: ${Array.from(extraKeys).join(', ')}`
|
|
149
|
+
: // Don't reject
|
|
150
|
+
null;
|
|
151
|
+
});
|
|
152
|
+
|
|
153
|
+
// Defer to the "object" decoder for doing the real decoding work. Since
|
|
154
|
+
// we made sure there are no superfluous keys in this structure, it's now
|
|
155
|
+
// safe to force-cast it to an $Exact<> type.
|
|
156
|
+
return checked.then(object(decodersByKey).decode);
|
|
157
|
+
}
|
|
158
|
+
|
|
159
|
+
/**
|
|
160
|
+
* Like `object()`, but will pass through any extra fields on the input object
|
|
161
|
+
* unvalidated that will thus be of `unknown` type statically.
|
|
162
|
+
*/
|
|
163
|
+
export function inexact<O: { +[field: string]: Decoder<_Any> }>(
|
|
164
|
+
decodersByKey: O,
|
|
165
|
+
): Decoder<$ObjMap<O, <T>(Decoder<T>) => T> & { +[string]: mixed }> {
|
|
166
|
+
return pojo.then((plainObj) => {
|
|
167
|
+
const allkeys = new Set(Object.keys(plainObj));
|
|
168
|
+
const decoder = object(decodersByKey).transform(
|
|
169
|
+
(safepart: $ObjMap<O, <T>(Decoder<T>) => T>) => {
|
|
170
|
+
const safekeys = new Set(Object.keys(decodersByKey));
|
|
171
|
+
|
|
172
|
+
// To account for hard-coded keys that aren't part of the input
|
|
173
|
+
safekeys.forEach((k) => allkeys.add(k));
|
|
174
|
+
|
|
175
|
+
const rv = {};
|
|
176
|
+
allkeys.forEach((k) => {
|
|
177
|
+
if (safekeys.has(k)) {
|
|
178
|
+
const value = safepart[k];
|
|
179
|
+
if (value !== undefined) {
|
|
180
|
+
rv[k] = value;
|
|
181
|
+
}
|
|
182
|
+
} else {
|
|
183
|
+
rv[k] = plainObj[k];
|
|
184
|
+
}
|
|
185
|
+
});
|
|
186
|
+
return rv;
|
|
187
|
+
},
|
|
188
|
+
);
|
|
189
|
+
return decoder.decode(plainObj);
|
|
190
|
+
});
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
/**
|
|
194
|
+
* Accepts objects where all values match the given decoder, and returns the
|
|
195
|
+
* result as a `{ [string]: T }`.
|
|
196
|
+
*
|
|
197
|
+
* The main difference between `object()` and `dict()` is that you'd typically
|
|
198
|
+
* use `object()` if this is a record-like object, where all field names are
|
|
199
|
+
* known and the values are heterogeneous. Whereas with `dict()` the keys are
|
|
200
|
+
* typically dynamic and the values homogeneous, like in a dictionary,
|
|
201
|
+
* a lookup table, or a cache.
|
|
202
|
+
*/
|
|
203
|
+
export function dict<T>(decoder: Decoder<T>): Decoder<{ [string]: T }> {
|
|
204
|
+
return pojo.then((plainObj, ok, err) => {
|
|
205
|
+
let rv: { [key: string]: T } = {};
|
|
206
|
+
let errors: { [key: string]: Annotation } | null = null;
|
|
207
|
+
|
|
208
|
+
Object.keys(plainObj).forEach((key: string) => {
|
|
209
|
+
const value = plainObj[key];
|
|
210
|
+
const result = decoder.decode(value);
|
|
211
|
+
if (result.ok) {
|
|
212
|
+
if (errors === null) {
|
|
213
|
+
rv[key] = result.value;
|
|
214
|
+
}
|
|
215
|
+
} else {
|
|
216
|
+
rv = {}; // Clear the success value so it can get garbage collected early
|
|
217
|
+
if (errors === null) {
|
|
218
|
+
errors = {};
|
|
219
|
+
}
|
|
220
|
+
errors[key] = result.error;
|
|
221
|
+
}
|
|
222
|
+
});
|
|
223
|
+
|
|
224
|
+
if (errors !== null) {
|
|
225
|
+
return err(merge(annotateObject(plainObj), errors));
|
|
226
|
+
} else {
|
|
227
|
+
return ok(rv);
|
|
228
|
+
}
|
|
229
|
+
});
|
|
230
|
+
}
|
|
231
|
+
|
|
232
|
+
/**
|
|
233
|
+
* Similar to `dict()`, but returns the result as a `Map<string, T>` (an [ES6
|
|
234
|
+
* Map](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Map))
|
|
235
|
+
* instead.
|
|
236
|
+
*/
|
|
237
|
+
export function mapping<T>(decoder: Decoder<T>): Decoder<Map<string, T>> {
|
|
238
|
+
return dict(decoder).transform(
|
|
239
|
+
(obj) =>
|
|
240
|
+
new Map(
|
|
241
|
+
// This is effectively Object.entries(obj), but in a way that Flow
|
|
242
|
+
// will know the types are okay
|
|
243
|
+
Object.keys(obj).map((key) => [key, obj[key]]),
|
|
244
|
+
),
|
|
245
|
+
);
|
|
246
|
+
}
|