decoders 1.25.5 → 2.0.0-beta2

package/core/composition.js

@@ -0,0 +1,56 @@
+"use strict";
+
+exports.__esModule = true;
+exports.compose = compose;
+exports.map = map;
+exports.predicate = predicate;
+
+var Result = _interopRequireWildcard(require("../result"));
+
+var _annotate = require("../annotate");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function _getRequireWildcardCache(nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { "default": obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj["default"] = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+/**
+ * Given a decoder T and a mapping function from T's to V's, returns a decoder
+ * for V's.  This is useful to change the original input data.
+ */
+function map(decoder, mapper) {
+  return compose(decoder, function (x) {
+    try {
+      return Result.ok(mapper(x));
+    } catch (e) {
+      return Result.err((0, _annotate.annotate)(x, e instanceof Error ? e.message : String(e)));
+    }
+  });
+}
+/**
+ * Compose two decoders by passing the result of the first into the second.
+ * The second decoder may assume as its input type the output type of the first
+ * decoder (so it's not necessary to accept the typical "mixed").  This is
+ * useful for "narrowing down" the checks.  For example, if you want to write
+ * a decoder for positive numbers, you can compose it from an existing decoder
+ * for any number, and a decoder that, assuming a number, checks if it's
+ * positive.  Very often combined with the predicate() helper as the second
+ * argument.
+ */
+
+
+function compose(decoder, next) {
+  return function (blob) {
+    return Result.andThen(decoder(blob), next);
+  };
+}
+/**
+ * Factory function returning a Decoder<T>, given a predicate function that
+ * accepts/rejects the input of type T.
+ */
+
+
+function predicate(predicate, msg) {
+  return function (value) {
+    return predicate(value) ? Result.ok(value) : Result.err((0, _annotate.annotate)(value, msg));
+  };
+}

package/core/composition.js.flow

@@ -0,0 +1,43 @@
+// @flow strict
+
+import * as Result from '../result';
+import { annotate } from '../annotate';
+import type { Decoder } from '../_types';
+
+/**
+ * Given a decoder T and a mapping function from T's to V's, returns a decoder
+ * for V's.  This is useful to change the original input data.
+ */
+export function map<T, V>(decoder: Decoder<T>, mapper: (T) => V): Decoder<V> {
+    return compose(decoder, (x) => {
+        try {
+            return Result.ok(mapper(x));
+        } catch (e) {
+            return Result.err(annotate(x, e instanceof Error ? e.message : String(e)));
+        }
+    });
+}
+
+/**
+ * Compose two decoders by passing the result of the first into the second.
+ * The second decoder may assume as its input type the output type of the first
+ * decoder (so it's not necessary to accept the typical "mixed").  This is
+ * useful for "narrowing down" the checks.  For example, if you want to write
+ * a decoder for positive numbers, you can compose it from an existing decoder
+ * for any number, and a decoder that, assuming a number, checks if it's
+ * positive.  Very often combined with the predicate() helper as the second
+ * argument.
+ */
+export function compose<T, V>(decoder: Decoder<T>, next: Decoder<V, T>): Decoder<V> {
+    return (blob: mixed) => Result.andThen(decoder(blob), next);
+}
+
+/**
+ * Factory function returning a Decoder<T>, given a predicate function that
+ * accepts/rejects the input of type T.
+ */
+export function predicate<T>(predicate: (T) => boolean, msg: string): Decoder<T, T> {
+    return (value: T) => {
+        return predicate(value) ? Result.ok(value) : Result.err(annotate(value, msg));
+    };
+}

package/core/constants.js

@@ -0,0 +1,69 @@
+"use strict";
+
+exports.__esModule = true;
+exports.constant = constant;
+exports.hardcoded = hardcoded;
+exports.unknown = exports.undefined_ = exports.null_ = exports.mixed = void 0;
+
+var Result = _interopRequireWildcard(require("../result"));
+
+var _annotate = require("../annotate");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function _getRequireWildcardCache(nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { "default": obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj["default"] = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+/**
+ * Decoder that only returns Ok for `null` inputs.  Err otherwise.
+ */
+var null_ = function null_(blob) {
+  return blob === null ? Result.ok(blob) : Result.err((0, _annotate.annotate)(blob, 'Must be null'));
+};
+/**
+ * Decoder that only returns Ok for `undefined` inputs.  Err otherwise.
+ */
+
+
+exports.null_ = null_;
+
+var undefined_ = function undefined_(blob) {
+  return blob === undefined ? Result.ok(blob) : Result.err((0, _annotate.annotate)(blob, 'Must be undefined'));
+};
+/**
+ * Decoder that only returns Ok for the given value constant.  Err otherwise.
+ */
+
+
+exports.undefined_ = undefined_;
+
+function constant(value) {
+  return function (blob) {
+    return blob === value ? Result.ok(value) : Result.err((0, _annotate.annotate)(blob, "Must be constant " + String(value)));
+  };
+}
+/**
+ * Decoder that always returns Ok for the given hardcoded value, no matter what the input.
+ */
+
+
+function hardcoded(value) {
+  return function () {
+    return Result.ok(value);
+  };
+}
+/**
+ * Decoder that always returns Ok for the given hardcoded value, no matter what the input.
+ */
+
+
+var unknown = function unknown(blob) {
+  return Result.ok(blob);
+};
+/**
+ * Alias of unknown.
+ */
+
+
+exports.unknown = unknown;
+var mixed = unknown;
+exports.mixed = mixed;

package/core/constants.js.flow

@@ -0,0 +1,46 @@
+// @flow strict
+
+import * as Result from '../result';
+import { annotate } from '../annotate';
+import type { Decoder, Scalar } from '../_types';
+
+/**
+ * Decoder that only returns Ok for `null` inputs.  Err otherwise.
+ */
+export const null_: Decoder<null> = (blob: mixed) =>
+    blob === null ? Result.ok(blob) : Result.err(annotate(blob, 'Must be null'));
+
+/**
+ * Decoder that only returns Ok for `undefined` inputs.  Err otherwise.
+ */
+export const undefined_: Decoder<void> = (blob: mixed) =>
+    blob === undefined
+        ? Result.ok(blob)
+        : Result.err(annotate(blob, 'Must be undefined'));
+
+/**
+ * Decoder that only returns Ok for the given value constant.  Err otherwise.
+ */
+export function constant<T: Scalar>(value: T): Decoder<T> {
+    return (blob: mixed) =>
+        blob === value
+            ? Result.ok(value)
+            : Result.err(annotate(blob, `Must be constant ${String(value)}`));
+}
+
+/**
+ * Decoder that always returns Ok for the given hardcoded value, no matter what the input.
+ */
+export function hardcoded<T>(value: T): Decoder<T> {
+    return () => Result.ok(value);
+}
+
+/**
+ * Decoder that always returns Ok for the given hardcoded value, no matter what the input.
+ */
+export const unknown: Decoder<mixed> = (blob: mixed) => Result.ok(blob);
+
+/**
+ * Alias of unknown.
+ */
+export const mixed: Decoder<mixed> = unknown;

package/core/date.js

@@ -0,0 +1,46 @@
+"use strict";
+
+exports.__esModule = true;
+exports.iso8601 = exports.date = void 0;
+
+var Result = _interopRequireWildcard(require("../result"));
+
+var _annotate = require("../annotate");
+
+var _utils = require("../_utils");
+
+var _composition = require("./composition");
+
+var _string = require("./string");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function _getRequireWildcardCache(nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { "default": obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj["default"] = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+// Only matches the shape.  This "over-matches" some values that still aren't
+// valid dates (like 9999-99-99), but those will be caught by JS Date's
+// internal validations
+var iso8601_re = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:[.]\d+)?(?:Z|[+-]\d{2}:?\d{2})$/;
+
+var date = function date(value) {
+  return (0, _utils.isDate)(value) ? Result.ok(value) : Result.err((0, _annotate.annotate)(value, 'Must be a Date'));
+};
+/**
+ * Decoder that only returns Ok for strings that are valid ISO8601 date
+ * strings.  Err otherwise.
+ */
+
+
+exports.date = date;
+var iso8601 = (0, _composition.map)( // Input itself needs to match the ISO8601 regex...
+(0, _string.regex)(iso8601_re, 'Must be ISO8601 format'), // Make sure it is a _valid_ date
+function (value) {
+  var date = new Date(value);
+
+  if (isNaN(date.getTime())) {
+    throw new Error('Must be valid date/time value');
+  }
+
+  return date;
+});
+exports.iso8601 = iso8601;

package/core/date.js.flow

@@ -0,0 +1,40 @@
+// @flow strict
+
+import * as Result from '../result';
+import { annotate } from '../annotate';
+import { isDate } from '../_utils';
+import { map } from './composition';
+import { regex } from './string';
+import type { Decoder } from '../_types';
+
+// $FlowFixMe[unclear-type] (not really an issue) - deliberate casting
+type cast = any;
+
+// Only matches the shape.  This "over-matches" some values that still aren't
+// valid dates (like 9999-99-99), but those will be caught by JS Date's
+// internal validations
+const iso8601_re =
+    /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:[.]\d+)?(?:Z|[+-]\d{2}:?\d{2})$/;
+
+export const date: Decoder<Date> = (value: mixed) =>
+    isDate(value)
+        ? Result.ok(((value: cast): Date))
+        : Result.err(annotate(value, 'Must be a Date'));
+
+/**
+ * Decoder that only returns Ok for strings that are valid ISO8601 date
+ * strings.  Err otherwise.
+ */
+export const iso8601: Decoder<Date> = map(
+    // Input itself needs to match the ISO8601 regex...
+    regex(iso8601_re, 'Must be ISO8601 format'),
+
+    // Make sure it is a _valid_ date
+    (value: string) => {
+        const date = new Date(value);
+        if (isNaN(date.getTime())) {
+            throw new Error('Must be valid date/time value');
+        }
+        return date;
+    },
+);

package/core/describe.js

@@ -0,0 +1,26 @@
+"use strict";
+
+exports.__esModule = true;
+exports.describe = describe;
+
+var Result = _interopRequireWildcard(require("../result"));
+
+var _annotate = require("../annotate");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function _getRequireWildcardCache(nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { "default": obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj["default"] = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+/**
+ * Wrap another decoder, and override the error message in case it fails. This
+ * is useful to "simplify" otherwise potentially complex error messages, or to
+ * use language in those error messages that can be relayed to end users (for
+ * example to show in form errors).
+ */
+function describe(decoder, message) {
+  return function (blob) {
+    return Result.mapError(decoder(blob), function (err) {
+      return (0, _annotate.annotate)(err, message);
+    });
+  };
+}

package/core/describe.js.flow

@@ -0,0 +1,17 @@
+// @flow strict
+
+import * as Result from '../result';
+import { annotate } from '../annotate';
+import type { Decoder } from '../_types';
+
+/**
+ * Wrap another decoder, and override the error message in case it fails. This
+ * is useful to "simplify" otherwise potentially complex error messages, or to
+ * use language in those error messages that can be relayed to end users (for
+ * example to show in form errors).
+ */
+export function describe<T>(decoder: Decoder<T>, message: string): Decoder<T> {
+    return (blob: mixed) => {
+        return Result.mapError(decoder(blob), (err) => annotate(err, message));
+    };
+}

package/core/dispatch.js

@@ -0,0 +1,62 @@
+"use strict";
+
+exports.__esModule = true;
+exports.dispatch = dispatch;
+
+var Result = _interopRequireWildcard(require("../result"));
+
+var _object2 = require("./object");
+
+var _either = require("./either");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function _getRequireWildcardCache(nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { "default": obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj["default"] = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+/**
+ * Dispatches to one of several given decoders, based on the value found at
+ * runtime in the given field.  For example, suppose you have these decoders:
+ *
+ *     const rectangle = object({
+ *         type: constant('rect'),
+ *         x: number,
+ *         y: number,
+ *         width: number,
+ *         height: number,
+ *     });
+ *
+ *     const circle = object({
+ *         type: constant('circle'),
+ *         cx: number,
+ *         cy: number,
+ *         r: number,
+ *      });
+ *
+ * Then these two decoders are equivalent:
+ *
+ *     const shape = either(rectangle, circle)
+ *     const shape = dispatch('type', { rectangle, circle })
+ *
+ * Will be of type Decoder<Rectangle | Circle>.
+ *
+ * But the dispatch version will typically be more runtime-efficient.  The
+ * reason is that it will first do minimal work to "look ahead" into the `type`
+ * field here, and based on that value, pick the decoder to invoke.
+ *
+ * The `either` version will simply try to invoke each decoder, until it finds
+ * one that matches.
+ *
+ * Also, the error messages will be less ambiguous using `dispatch()`.
+ */
+function dispatch(field, mapping) {
+  var _object;
+
+  var base = (0, _object2.object)((_object = {}, _object[field] = (0, _either.oneOf)(Object.keys(mapping)), _object));
+  return function (blob) {
+    return Result.andThen(base(blob), function (baseObj) {
+      var decoderName = baseObj[field];
+      var decoder = mapping[decoderName];
+      return decoder(blob);
+    });
+  };
+}

package/core/dispatch.js.flow

@@ -0,0 +1,58 @@
+// @flow strict
+
+import * as Result from '../result';
+import { object } from './object';
+import { oneOf } from './either';
+import type { Decoder, DecoderType } from '../_types';
+
+// $FlowFixMe[unclear-type] (not really an issue) - deliberate use of `any` - not sure how we should get rid of this
+type anything = any;
+
+/**
+ * Dispatches to one of several given decoders, based on the value found at
+ * runtime in the given field.  For example, suppose you have these decoders:
+ *
+ *     const rectangle = object({
+ *         type: constant('rect'),
+ *         x: number,
+ *         y: number,
+ *         width: number,
+ *         height: number,
+ *     });
+ *
+ *     const circle = object({
+ *         type: constant('circle'),
+ *         cx: number,
+ *         cy: number,
+ *         r: number,
+ *      });
+ *
+ * Then these two decoders are equivalent:
+ *
+ *     const shape = either(rectangle, circle)
+ *     const shape = dispatch('type', { rectangle, circle })
+ *
+ * Will be of type Decoder<Rectangle | Circle>.
+ *
+ * But the dispatch version will typically be more runtime-efficient.  The
+ * reason is that it will first do minimal work to "look ahead" into the `type`
+ * field here, and based on that value, pick the decoder to invoke.
+ *
+ * The `either` version will simply try to invoke each decoder, until it finds
+ * one that matches.
+ *
+ * Also, the error messages will be less ambiguous using `dispatch()`.
+ */
+export function dispatch<O: { +[field: string]: Decoder<anything>, ... }>(
+    field: string,
+    mapping: O,
+): Decoder<$Values<$ObjMap<O, DecoderType>>> {
+    const base = object({ [field]: oneOf(Object.keys(mapping)) });
+    return (blob: mixed) => {
+        return Result.andThen(base(blob), (baseObj) => {
+            const decoderName = baseObj[field];
+            const decoder = mapping[decoderName];
+            return decoder(blob);
+        });
+    };
+}

package/core/either.js

@@ -0,0 +1,117 @@
+"use strict";
+
+exports.__esModule = true;
+exports.either = either;
+exports.either3 = either3;
+exports.either4 = either4;
+exports.either5 = either5;
+exports.either6 = either6;
+exports.either7 = either7;
+exports.either8 = either8;
+exports.either9 = either9;
+exports.oneOf = oneOf;
+
+var Result = _interopRequireWildcard(require("../result"));
+
+var _annotate = require("../annotate");
+
+var _utils = require("../_utils");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function _getRequireWildcardCache(nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { "default": obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj["default"] = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+/**
+ * Indents and adds a dash in front of this (potentially multiline) string.
+ */
+function itemize(s) {
+  return '-' + (0, _utils.indent)(s).substring(1);
+}
+/**
+ * Nests another error as an item under a new-to-be-created "Either error". If
+ * the given subitem already is an "Either error" of itself, don't indent, but
+ * just "inject" its items at the same error level, for nicely flattened either
+ * expressions.
+ *
+ * Avoids:
+ *
+ *     Either:
+ *     - Either:
+ *       - Must be P
+ *       - Either:
+ *         - Must be Q
+ *         - Must be R
+ *     - Must be S
+ *
+ * And "flattens" these to:
+ *
+ *     Either:
+ *     - Must be P
+ *     - Must be Q
+ *     - Must be R
+ *     - Must be S
+ *
+ */
+
+
+function nest(errText) {
+  var EITHER_PREFIX = 'Either:\n';
+  return errText.startsWith(EITHER_PREFIX) ? errText.substr(EITHER_PREFIX.length) : itemize(errText);
+}
+
+function either(d1, d2) {
+  return function (blob) {
+    return Result.orElse(d1(blob), function (err1) {
+      return Result.orElse(d2(blob), function (err2) {
+        var serr1 = (0, _utils.summarize)(err1).join('\n');
+        var serr2 = (0, _utils.summarize)(err2).join('\n');
+        var text = ['Either:', nest(serr1), nest(serr2)].join('\n');
+        return Result.err((0, _annotate.annotate)(blob, text));
+      });
+    });
+  };
+}
+
+function either3(d1, d2, d3) {
+  return either(d1, either(d2, d3));
+}
+
+function either4(d1, d2, d3, d4) {
+  return either(d1, either3(d2, d3, d4));
+}
+
+function either5(d1, d2, d3, d4, d5) {
+  return either(d1, either4(d2, d3, d4, d5));
+}
+
+function either6(d1, d2, d3, d4, d5, d6) {
+  return either(d1, either5(d2, d3, d4, d5, d6));
+}
+
+function either7(d1, d2, d3, d4, d5, d6, d7) {
+  return either(d1, either6(d2, d3, d4, d5, d6, d7));
+}
+
+function either8(d1, d2, d3, d4, d5, d6, d7, d8) {
+  return either(d1, either7(d2, d3, d4, d5, d6, d7, d8));
+}
+
+function either9(d1, d2, d3, d4, d5, d6, d7, d8, d9) {
+  return either(d1, either8(d2, d3, d4, d5, d6, d7, d8, d9));
+}
+
+function oneOf(constants) {
+  return function (blob) {
+    var winner = constants.find(function (c) {
+      return c === blob;
+    });
+
+    if (winner !== undefined) {
+      return Result.ok(winner);
+    }
+
+    return Result.err((0, _annotate.annotate)(blob, "Must be one of " + constants.map(function (value) {
+      return JSON.stringify(value);
+    }).join(', ')));
+  };
+}