decoders 2.0.0-beta9 → 2.0.0

package/_utils.d.ts

@@ -1,6 +1,5 @@
 import { Annotation } from './annotate';
 
-export function isDate(value: unknown): boolean;
 export function asDate(value: unknown): Date | null;
 export function isMultiline(s: string): boolean;
 export function indent(s: string, prefix?: string): string;

package/_utils.js

@@ -4,34 +4,28 @@ exports.__esModule = true;
 exports.INDENT = void 0;
 exports.asDate = asDate;
 exports.indent = indent;
-exports.isDate = isDate;
 exports.isMultiline = isMultiline;
 exports.summarize = summarize;
 // $FlowFixMe[unclear-type] - deliberate use of `any`
 // Two spaces of indentation
 var INDENT = '  ';
 /**
- * `x instanceof Date` checks are unreliable across stack frames (that information
- * might get lost by the JS runtime), so we'll have to reside to more runtime
- * inspection checks.
- *
- * Taken from https://stackoverflow.com/a/44198641
- */
-
-exports.INDENT = INDENT;
-
-function isDate(value) {
-  return !!value && // $FlowFixMe[method-unbinding]
-  Object.prototype.toString.call(value) === '[object Date]' && !isNaN(value);
-}
-/**
- * Is value is a valid Date instance, then return that.  If not, then return
+ * Is value is a valid Date instance, then return that. If not, then return
  * null.
  */
 
+exports.INDENT = INDENT;
 
 function asDate(value) {
-  return isDate(value) ? value : null;
+  //
+  // `x instanceof Date` checks are unreliable across stack frames (that
+  // information might get lost by the JS runtime), so we'll have to reside
+  // to more runtime inspection checks.
+  //
+  // Taken from https://stackoverflow.com/a/44198641
+  //
+  return !!value && // $FlowFixMe[method-unbinding]
+  Object.prototype.toString.call(value) === '[object Date]' && !isNaN(value) ? value : null;
 }
 
 function isMultiline(s) {

package/_utils.js.flow

@@ -9,27 +9,23 @@ export type _Any = any;
 export const INDENT = '  ';
 
 /**
- * `x instanceof Date` checks are unreliable across stack frames (that information
- * might get lost by the JS runtime), so we'll have to reside to more runtime
- * inspection checks.
- *
- * Taken from https://stackoverflow.com/a/44198641
+ * Is value is a valid Date instance, then return that. If not, then return
+ * null.
  */
-export function isDate(value: mixed): boolean {
-    return (
-        !!value &&
+export function asDate(value: mixed): Date | null {
+    //
+    // `x instanceof Date` checks are unreliable across stack frames (that
+    // information might get lost by the JS runtime), so we'll have to reside
+    // to more runtime inspection checks.
+    //
+    // Taken from https://stackoverflow.com/a/44198641
+    //
+    return !!value &&
         // $FlowFixMe[method-unbinding]
         Object.prototype.toString.call(value) === '[object Date]' &&
         !isNaN(value)
-    );
-}
-
-/**
- * Is value is a valid Date instance, then return that.  If not, then return
- * null.
- */
-export function asDate(value: mixed): Date | null {
-    return isDate(value) ? ((value: _Any): Date) : null;
+        ? ((value: _Any): Date)
+        : null;
 }
 
 export function isMultiline(s: string): boolean {

package/_utils.mjs

@@ -2,24 +2,20 @@
 // Two spaces of indentation
 export var INDENT = '  ';
 /**
- * `x instanceof Date` checks are unreliable across stack frames (that information
- * might get lost by the JS runtime), so we'll have to reside to more runtime
- * inspection checks.
- *
- * Taken from https://stackoverflow.com/a/44198641
- */
-
-export function isDate(value) {
-  return !!value && // $FlowFixMe[method-unbinding]
-  Object.prototype.toString.call(value) === '[object Date]' && !isNaN(value);
-}
-/**
- * Is value is a valid Date instance, then return that.  If not, then return
+ * Is value is a valid Date instance, then return that. If not, then return
  * null.
  */
 
 export function asDate(value) {
-  return isDate(value) ? value : null;
+  //
+  // `x instanceof Date` checks are unreliable across stack frames (that
+  // information might get lost by the JS runtime), so we'll have to reside
+  // to more runtime inspection checks.
+  //
+  // Taken from https://stackoverflow.com/a/44198641
+  //
+  return !!value && // $FlowFixMe[method-unbinding]
+  Object.prototype.toString.call(value) === '[object Date]' && !isNaN(value) ? value : null;
 }
 export function isMultiline(s) {
   return s.indexOf('\n') >= 0;

package/format.d.ts

@@ -1,4 +1,6 @@
 import { Annotation } from './annotate';
 
-export function formatInline(ann: Annotation): string;
-export function formatShort(ann: Annotation): string;
+export type Formatter = (err: Annotation) => string | Error;
+
+export const formatInline: Formatter;
+export const formatShort: Formatter;

package/format.js

@@ -93,7 +93,7 @@ function serializeValue(value) {
       return "new Date(" + JSON.stringify(valueAsDate.toISOString()) + ")";
     } else if (value instanceof Date) {
       // NOTE: Using `instanceof Date` is unreliable way of checking dates.
-      // If this case occurs (and it didn't pass the prior isDate())
+      // If this case occurs (and it didn't pass the prior asDate())
       // check, then this must be the case where it's an invalid date.
       return '(Invalid Date)';
     } else {

package/format.js.flow

@@ -3,6 +3,8 @@
 import { summarize as _summarize, asDate, INDENT, indent, isMultiline } from './_utils';
 import type { Annotation, ArrayAnnotation, ObjectAnnotation } from './annotate';
 
+export type Formatter = (err: Annotation) => string | Error;
+
 function serializeString(s: string, width: number = 80): string {
     // Full string
     // Abbreviated to $maxlen i.e. "Vincent Driess..." [truncated]
@@ -74,7 +76,7 @@ export function serializeValue(value: mixed): string {
             return `new Date(${JSON.stringify(valueAsDate.toISOString())})`;
         } else if (value instanceof Date) {
             // NOTE: Using `instanceof Date` is unreliable way of checking dates.
-            // If this case occurs (and it didn't pass the prior isDate())
+            // If this case occurs (and it didn't pass the prior asDate())
             // check, then this must be the case where it's an invalid date.
             return '(Invalid Date)';
         } else {

package/format.mjs

@@ -85,7 +85,7 @@ export function serializeValue(value) {
       return "new Date(" + JSON.stringify(valueAsDate.toISOString()) + ")";
     } else if (value instanceof Date) {
       // NOTE: Using `instanceof Date` is unreliable way of checking dates.
-      // If this case occurs (and it didn't pass the prior isDate())
+      // If this case occurs (and it didn't pass the prior asDate())
       // check, then this must be the case where it's an invalid date.
       return '(Invalid Date)';
     } else {

package/index.d.ts

@@ -1,26 +1,23 @@
-export {
-    Decoder,
-    DecodeResult,
-    DecoderType,
-    Guard,
-    GuardType,
-    Predicate,
-    Scalar,
-} from './_types';
-export { Result } from './result';
-export { JSONValue, JSONObject, JSONArray } from './core/json';
-
-export { guard } from './_guard';
-
-export { compose, predicate, prep, transform } from './core/composition';
+export { DecodeResult, Decoder, DecoderType, Scalar, define } from './Decoder';
+export { JSONValue, JSONObject, JSONArray } from './lib/json';
 
-export { array, nonEmptyArray, poja, set } from './core/array';
-export { boolean, numericBoolean, truthy } from './core/boolean';
-export { constant, hardcoded, mixed, null_, undefined_, unknown } from './core/constants';
-export { date, iso8601 } from './core/date';
-export { describe } from './core/describe';
-export { dict, exact, inexact, mapping, object, pojo } from './core/object';
-export { either, oneOf } from './core/either';
+export {
+    always,
+    constant,
+    hardcoded,
+    maybe,
+    mixed,
+    nullable,
+    null_,
+    optional,
+    undefined_,
+    unknown,
+} from './lib/basics';
+export { array, nonEmptyArray, poja, set, tuple } from './lib/arrays';
+export { boolean, numericBoolean, truthy } from './lib/booleans';
+export { date, iso8601 } from './lib/dates';
+export { dict, exact, inexact, mapping, object, pojo } from './lib/objects';
+export { either, oneOf, taggedUnion } from './lib/unions';
 export {
     email,
     httpsUrl,
@@ -31,12 +28,13 @@ export {
     uuid,
     uuidv1,
     uuidv4,
-} from './core/string';
-export { fail } from './core/fail';
-export { instanceOf } from './core/instanceOf';
-export { integer, number, positiveInteger, positiveNumber } from './core/number';
-export { json, jsonObject, jsonArray } from './core/json';
-export { lazy } from './core/lazy';
-export { maybe, nullable, optional } from './core/optional';
-export { taggedUnion } from './core/dispatch';
-export { tuple } from './core/tuple';
+} from './lib/strings';
+export { fail, instanceOf, lazy, never, prep } from './lib/utilities';
+export {
+    anyNumber,
+    integer,
+    number,
+    positiveInteger,
+    positiveNumber,
+} from './lib/numbers';
+export { json, jsonObject, jsonArray } from './lib/json';

package/index.js

@@ -1,111 +1,89 @@
 "use strict";
 
 exports.__esModule = true;
-exports.uuidv4 = exports.uuidv1 = exports.uuid = exports.url = exports.unknown = exports.undefined_ = exports.tuple = exports.truthy = exports.transform = exports.taggedUnion = exports.string = exports.set = exports.regex = exports.prep = exports.predicate = exports.positiveNumber = exports.positiveInteger = exports.pojo = exports.poja = exports.optional = exports.oneOf = exports.object = exports.numericBoolean = exports.number = exports.nullable = exports.null_ = exports.nonEmptyString = exports.nonEmptyArray = exports.mixed = exports.maybe = exports.mapping = exports.lazy = exports.jsonObject = exports.jsonArray = exports.json = exports.iso8601 = exports.integer = exports.instanceOf = exports.inexact = exports.httpsUrl = exports.hardcoded = exports.guard = exports.fail = exports.exact = exports.email = exports.either = exports.dict = exports.describe = exports.date = exports.constant = exports.compose = exports["boolean"] = exports.array = void 0;
+exports.uuidv4 = exports.uuidv1 = exports.uuid = exports.url = exports.unknown = exports.undefined_ = exports.tuple = exports.truthy = exports.taggedUnion = exports.string = exports.set = exports.regex = exports.prep = exports.positiveNumber = exports.positiveInteger = exports.pojo = exports.poja = exports.optional = exports.oneOf = exports.object = exports.numericBoolean = exports.number = exports.nullable = exports.null_ = exports.nonEmptyString = exports.nonEmptyArray = exports.never = exports.mixed = exports.maybe = exports.mapping = exports.lazy = exports.jsonObject = exports.jsonArray = exports.json = exports.iso8601 = exports.integer = exports.instanceOf = exports.inexact = exports.httpsUrl = exports.hardcoded = exports.fail = exports.exact = exports.email = exports.either = exports.dict = exports.define = exports.date = exports.constant = exports["boolean"] = exports.array = exports.anyNumber = exports.always = void 0;
 
-var _guard = require("./_guard");
+var _Decoder = require("./Decoder");
 
-exports.guard = _guard.guard;
+exports.define = _Decoder.define;
 
-var _composition = require("./core/composition");
+var _basics = require("./lib/basics");
 
-exports.compose = _composition.compose;
-exports.predicate = _composition.predicate;
-exports.prep = _composition.prep;
-exports.transform = _composition.transform;
+exports.always = _basics.always;
+exports.constant = _basics.constant;
+exports.hardcoded = _basics.hardcoded;
+exports.maybe = _basics.maybe;
+exports.mixed = _basics.mixed;
+exports.nullable = _basics.nullable;
+exports.null_ = _basics.null_;
+exports.optional = _basics.optional;
+exports.undefined_ = _basics.undefined_;
+exports.unknown = _basics.unknown;
 
-var _array = require("./core/array");
+var _arrays = require("./lib/arrays");
 
-exports.array = _array.array;
-exports.nonEmptyArray = _array.nonEmptyArray;
-exports.poja = _array.poja;
-exports.set = _array.set;
+exports.array = _arrays.array;
+exports.nonEmptyArray = _arrays.nonEmptyArray;
+exports.poja = _arrays.poja;
+exports.set = _arrays.set;
+exports.tuple = _arrays.tuple;
 
-var _boolean = require("./core/boolean");
+var _booleans = require("./lib/booleans");
 
-exports["boolean"] = _boolean["boolean"];
-exports.numericBoolean = _boolean.numericBoolean;
-exports.truthy = _boolean.truthy;
+exports["boolean"] = _booleans["boolean"];
+exports.numericBoolean = _booleans.numericBoolean;
+exports.truthy = _booleans.truthy;
 
-var _constants = require("./core/constants");
+var _dates = require("./lib/dates");
 
-exports.constant = _constants.constant;
-exports.hardcoded = _constants.hardcoded;
-exports.mixed = _constants.mixed;
-exports.null_ = _constants.null_;
-exports.undefined_ = _constants.undefined_;
-exports.unknown = _constants.unknown;
+exports.date = _dates.date;
+exports.iso8601 = _dates.iso8601;
 
-var _date = require("./core/date");
+var _objects = require("./lib/objects");
 
-exports.date = _date.date;
-exports.iso8601 = _date.iso8601;
+exports.dict = _objects.dict;
+exports.exact = _objects.exact;
+exports.inexact = _objects.inexact;
+exports.mapping = _objects.mapping;
+exports.object = _objects.object;
+exports.pojo = _objects.pojo;
 
-var _describe = require("./core/describe");
+var _unions = require("./lib/unions");
 
-exports.describe = _describe.describe;
+exports.either = _unions.either;
+exports.oneOf = _unions.oneOf;
+exports.taggedUnion = _unions.taggedUnion;
 
-var _object = require("./core/object");
+var _strings = require("./lib/strings");
 
-exports.dict = _object.dict;
-exports.exact = _object.exact;
-exports.inexact = _object.inexact;
-exports.mapping = _object.mapping;
-exports.object = _object.object;
-exports.pojo = _object.pojo;
+exports.email = _strings.email;
+exports.httpsUrl = _strings.httpsUrl;
+exports.nonEmptyString = _strings.nonEmptyString;
+exports.regex = _strings.regex;
+exports.string = _strings.string;
+exports.url = _strings.url;
+exports.uuid = _strings.uuid;
+exports.uuidv1 = _strings.uuidv1;
+exports.uuidv4 = _strings.uuidv4;
 
-var _either = require("./core/either");
+var _utilities = require("./lib/utilities");
 
-exports.either = _either.either;
-exports.oneOf = _either.oneOf;
+exports.fail = _utilities.fail;
+exports.instanceOf = _utilities.instanceOf;
+exports.lazy = _utilities.lazy;
+exports.never = _utilities.never;
+exports.prep = _utilities.prep;
 
-var _string = require("./core/string");
+var _numbers = require("./lib/numbers");
 
-exports.email = _string.email;
-exports.httpsUrl = _string.httpsUrl;
-exports.nonEmptyString = _string.nonEmptyString;
-exports.regex = _string.regex;
-exports.string = _string.string;
-exports.url = _string.url;
-exports.uuid = _string.uuid;
-exports.uuidv1 = _string.uuidv1;
-exports.uuidv4 = _string.uuidv4;
+exports.anyNumber = _numbers.anyNumber;
+exports.integer = _numbers.integer;
+exports.number = _numbers.number;
+exports.positiveInteger = _numbers.positiveInteger;
+exports.positiveNumber = _numbers.positiveNumber;
 
-var _fail = require("./core/fail");
-
-exports.fail = _fail.fail;
-
-var _instanceOf = require("./core/instanceOf");
-
-exports.instanceOf = _instanceOf.instanceOf;
-
-var _number = require("./core/number");
-
-exports.integer = _number.integer;
-exports.number = _number.number;
-exports.positiveInteger = _number.positiveInteger;
-exports.positiveNumber = _number.positiveNumber;
-
-var _json = require("./core/json");
+var _json = require("./lib/json");
 
 exports.json = _json.json;
 exports.jsonObject = _json.jsonObject;
-exports.jsonArray = _json.jsonArray;
-
-var _lazy = require("./core/lazy");
-
-exports.lazy = _lazy.lazy;
-
-var _optional = require("./core/optional");
-
-exports.maybe = _optional.maybe;
-exports.nullable = _optional.nullable;
-exports.optional = _optional.optional;
-
-var _dispatch = require("./core/dispatch");
-
-exports.taggedUnion = _dispatch.taggedUnion;
-
-var _tuple = require("./core/tuple");
-
-exports.tuple = _tuple.tuple;
+exports.jsonArray = _json.jsonArray;

package/index.js.flow

@@ -1,46 +1,27 @@
 // @flow strict
 
-/**
- * Elm-like JSON decoders, for use with Flow.
- * See http://elmplayground.com/decoding-json-in-elm-1 for an introduction.
- *
- * Why? All JSON responses coming from our API endpoints are just that: free-form
- * JSON data.  To Flow, the only type classification possilbe is "any" -- effectively
- * turning off all type checks for anything related to JSON.  To the receiving end
- * (our frontend), the structure of that data is completely opaque to any type
- * checkers since JSON values can be anything: an object, an array, null, a string,
- * a bool, etc.  Our type system is not a runtime type system, so we need a way of
- * "converting" an any-type JSON value into a type that we want to work with in our
- * frontend code base.
- *
- * Elm's solution to this problem is to define composable decoders: functions that
- * take anything and either fail with an error, or guarantee to return the expected
- * type.  In our case, it's fine to fail with a runtime error.
- *
- */
-export type {
-    Decoder,
-    DecodeResult,
-    DecoderType,
-    Guard,
-    GuardType,
-    Predicate,
-    Scalar,
-} from './_types';
-export type { Result } from './result';
-export type { JSONValue, JSONObject, JSONArray } from './core/json';
+export type { Decoder, DecodeResult, DecoderType, Scalar } from './Decoder';
+export type { JSONValue, JSONObject, JSONArray } from './lib/json';
 
-export { guard } from './_guard';
+export { define } from './Decoder';
 
-export { compose, predicate, prep, transform } from './core/composition';
-
-export { array, nonEmptyArray, poja, set } from './core/array';
-export { boolean, numericBoolean, truthy } from './core/boolean';
-export { constant, hardcoded, mixed, null_, undefined_, unknown } from './core/constants';
-export { date, iso8601 } from './core/date';
-export { describe } from './core/describe';
-export { dict, exact, inexact, mapping, object, pojo } from './core/object';
-export { either, oneOf } from './core/either';
+export {
+    always,
+    constant,
+    hardcoded,
+    maybe,
+    mixed,
+    nullable,
+    null_,
+    optional,
+    undefined_,
+    unknown,
+} from './lib/basics';
+export { array, nonEmptyArray, poja, set, tuple } from './lib/arrays';
+export { boolean, numericBoolean, truthy } from './lib/booleans';
+export { date, iso8601 } from './lib/dates';
+export { dict, exact, inexact, mapping, object, pojo } from './lib/objects';
+export { either, oneOf, taggedUnion } from './lib/unions';
 export {
     email,
     httpsUrl,
@@ -51,12 +32,13 @@ export {
     uuid,
     uuidv1,
     uuidv4,
-} from './core/string';
-export { fail } from './core/fail';
-export { instanceOf } from './core/instanceOf';
-export { integer, number, positiveInteger, positiveNumber } from './core/number';
-export { json, jsonObject, jsonArray } from './core/json';
-export { lazy } from './core/lazy';
-export { maybe, nullable, optional } from './core/optional';
-export { taggedUnion } from './core/dispatch';
-export { tuple } from './core/tuple';
+} from './lib/strings';
+export { fail, instanceOf, lazy, never, prep } from './lib/utilities';
+export {
+    anyNumber,
+    integer,
+    number,
+    positiveInteger,
+    positiveNumber,
+} from './lib/numbers';
+export { json, jsonObject, jsonArray } from './lib/json';

package/index.mjs

@@ -1,36 +1,11 @@
-/**
- * Elm-like JSON decoders, for use with Flow.
- * See http://elmplayground.com/decoding-json-in-elm-1 for an introduction.
- *
- * Why? All JSON responses coming from our API endpoints are just that: free-form
- * JSON data.  To Flow, the only type classification possilbe is "any" -- effectively
- * turning off all type checks for anything related to JSON.  To the receiving end
- * (our frontend), the structure of that data is completely opaque to any type
- * checkers since JSON values can be anything: an object, an array, null, a string,
- * a bool, etc.  Our type system is not a runtime type system, so we need a way of
- * "converting" an any-type JSON value into a type that we want to work with in our
- * frontend code base.
- *
- * Elm's solution to this problem is to define composable decoders: functions that
- * take anything and either fail with an error, or guarantee to return the expected
- * type.  In our case, it's fine to fail with a runtime error.
- *
- */
-export { guard } from './_guard.mjs';
-export { compose, predicate, prep, transform } from './core/composition.mjs';
-export { array, nonEmptyArray, poja, set } from './core/array.mjs';
-export { boolean, numericBoolean, truthy } from './core/boolean.mjs';
-export { constant, hardcoded, mixed, null_, undefined_, unknown } from './core/constants.mjs';
-export { date, iso8601 } from './core/date.mjs';
-export { describe } from './core/describe.mjs';
-export { dict, exact, inexact, mapping, object, pojo } from './core/object.mjs';
-export { either, oneOf } from './core/either.mjs';
-export { email, httpsUrl, nonEmptyString, regex, string, url, uuid, uuidv1, uuidv4 } from './core/string.mjs';
-export { fail } from './core/fail.mjs';
-export { instanceOf } from './core/instanceOf.mjs';
-export { integer, number, positiveInteger, positiveNumber } from './core/number.mjs';
-export { json, jsonObject, jsonArray } from './core/json.mjs';
-export { lazy } from './core/lazy.mjs';
-export { maybe, nullable, optional } from './core/optional.mjs';
-export { taggedUnion } from './core/dispatch.mjs';
-export { tuple } from './core/tuple.mjs';
+export { define } from './Decoder.mjs';
+export { always, constant, hardcoded, maybe, mixed, nullable, null_, optional, undefined_, unknown } from './lib/basics.mjs';
+export { array, nonEmptyArray, poja, set, tuple } from './lib/arrays.mjs';
+export { boolean, numericBoolean, truthy } from './lib/booleans.mjs';
+export { date, iso8601 } from './lib/dates.mjs';
+export { dict, exact, inexact, mapping, object, pojo } from './lib/objects.mjs';
+export { either, oneOf, taggedUnion } from './lib/unions.mjs';
+export { email, httpsUrl, nonEmptyString, regex, string, url, uuid, uuidv1, uuidv4 } from './lib/strings.mjs';
+export { fail, instanceOf, lazy, never, prep } from './lib/utilities.mjs';
+export { anyNumber, integer, number, positiveInteger, positiveNumber } from './lib/numbers.mjs';
+export { json, jsonObject, jsonArray } from './lib/json.mjs';

package/lib/arrays.d.ts

@@ -0,0 +1,59 @@
+/// <reference lib="es6" />
+
+import { Decoder } from '../Decoder';
+
+/**
+ * Accepts any array, but doesn't validate its items further.
+ *
+ * "poja" means "plain old JavaScript array", a play on `pojo()`.
+ */
+export const poja: Decoder<unknown[]>;
+
+/**
+ * Accepts arrays of whatever the given decoder accepts.
+ */
+export function array<T>(decoder: Decoder<T>): Decoder<T[]>;
+
+/**
+ * Like `array()`, but will reject arrays with 0 elements.
+ */
+export function nonEmptyArray<T>(decoder: Decoder<T>): Decoder<[T, ...T[]]>;
+
+/**
+ * Similar to `array()`, but returns the result as an [ES6
+ * Set](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Set).
+ */
+export function set<T>(decoder: Decoder<T>): Decoder<Set<T>>;
+
+/**
+ * Accepts a tuple (an array with exactly _n_ items) of values accepted by the
+ * _n_ given decoders.
+ */
+export function tuple<A>(a: Decoder<A>): Decoder<[A]>;
+export function tuple<A, B>(a: Decoder<A>, b: Decoder<B>): Decoder<[A, B]>;
+export function tuple<A, B, C>(
+    a: Decoder<A>,
+    b: Decoder<B>,
+    c: Decoder<C>,
+): Decoder<[A, B, C]>;
+export function tuple<A, B, C, D>(
+    a: Decoder<A>,
+    b: Decoder<B>,
+    c: Decoder<C>,
+    d: Decoder<D>,
+): Decoder<[A, B, C, D]>;
+export function tuple<A, B, C, D, E>(
+    a: Decoder<A>,
+    b: Decoder<B>,
+    c: Decoder<C>,
+    d: Decoder<D>,
+    e: Decoder<E>,
+): Decoder<[A, B, C, D, E]>;
+export function tuple<A, B, C, D, E, F>(
+    a: Decoder<A>,
+    b: Decoder<B>,
+    c: Decoder<C>,
+    d: Decoder<D>,
+    e: Decoder<E>,
+    f: Decoder<F>,
+): Decoder<[A, B, C, D, E, F]>;