decoders 2.0.0-beta8 → 2.0.0-beta9

package/core/tuple.js.flow

@@ -2,210 +2,50 @@
 
 import { annotate } from '../annotate';
 import { compose, predicate } from './composition';
-import { err, ok, unwrap } from '../result';
+import { err, ok } from '../result';
 import { poja } from './array';
+import type { _Any } from '../_utils';
 import type { Decoder } from '../_types';
-import type { Result } from '../result';
-
-function okOrErr<T, E>(result: Result<T, E>): T | E {
-    return result.type === 'ok' ? result.value : result.error;
-}
 
 const ntuple = (n: number) =>
     predicate(poja, (arr) => arr.length === n, `Must be a ${n}-tuple`);
 
-/**
- * Builds a Decoder that returns Ok for 1-tuple of [T], given a Decoder for T.
- * Err otherwise.
- */
-export function tuple1<T>(decoder1: Decoder<T>): Decoder<[T]> {
-    return compose(ntuple(1), (blobs: $ReadOnlyArray<mixed>) => {
-        const [blob1] = blobs;
-
-        const result1 = decoder1(blob1);
-        try {
-            return ok([unwrap(result1)]);
-        } catch (e) {
-            // If a decoder error has happened while unwrapping all the
-            // results, try to construct a good error message
-            return err(annotate([okOrErr(result1)]));
-        }
-    });
+// prettier-ignore
+interface TupleFuncSignature {
+    <A>(a: Decoder<A>): Decoder<[A]>;
+    <A, B>(a: Decoder<A>, b: Decoder<B>): Decoder<[A, B]>;
+    <A, B, C>(a: Decoder<A>, b: Decoder<B>, c: Decoder<C>): Decoder<[A, B, C]>;
+    <A, B, C, D>(a: Decoder<A>, b: Decoder<B>, c: Decoder<C>, d: Decoder<D>): Decoder<[A, B, C, D]>;
+    <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]>;
+    <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]>;
 }
 
 /**
- * Builds a Decoder that returns Ok for 2-tuples of [T1, T2], given Decoders
- * for T1 and T2.  Err otherwise.
+ * Accepts n-tuples [A, B, C, ...] matching the given decoders A, B, C, ...
  */
-export function tuple2<T1, T2>(
-    decoder1: Decoder<T1>,
-    decoder2: Decoder<T2>,
-): Decoder<[T1, T2]> {
-    return compose(ntuple(2), (blobs: $ReadOnlyArray<mixed>) => {
-        const [blob1, blob2] = blobs;
-
-        const result1 = decoder1(blob1);
-        const result2 = decoder2(blob2);
-        try {
-            return ok([unwrap(result1), unwrap(result2)]);
-        } catch (e) {
+function _tuple(...decoders: $ReadOnlyArray<Decoder<mixed>>): Decoder<mixed> {
+    return compose(ntuple(decoders.length), (blobs: $ReadOnlyArray<mixed>) => {
+        let allOk = true;
+
+        const rvs = decoders.map((decoder, i) => {
+            const blob = blobs[i];
+            const result = decoder(blob);
+            if (result.ok) {
+                return result.value;
+            } else {
+                allOk = false;
+                return result.error;
+            }
+        });
+
+        if (allOk) {
+            return ok(rvs);
+        } else {
             // If a decoder error has happened while unwrapping all the
             // results, try to construct a good error message
-            return err(annotate([okOrErr(result1), okOrErr(result2)]));
+            return err(annotate(rvs));
         }
     });
 }
 
-/**
- * Builds a Decoder that returns Ok for 3-tuples of [T1, T2, T3], given
- * Decoders for T1, T2, and T3.  Err otherwise.
- */
-export function tuple3<T1, T2, T3>(
-    decoder1: Decoder<T1>,
-    decoder2: Decoder<T2>,
-    decoder3: Decoder<T3>,
-): Decoder<[T1, T2, T3]> {
-    return compose(ntuple(3), (blobs: $ReadOnlyArray<mixed>) => {
-        const [blob1, blob2, blob3] = blobs;
-
-        const result1 = decoder1(blob1);
-        const result2 = decoder2(blob2);
-        const result3 = decoder3(blob3);
-        try {
-            return ok([unwrap(result1), unwrap(result2), unwrap(result3)]);
-        } catch (e) {
-            // If a decoder error has happened while unwrapping all the
-            // results, try to construct a good error message
-            return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3)]));
-        }
-    });
-}
-
-/**
- * Builds a Decoder that returns Ok for 4-tuples of [T1, T2, T3, T4], given
- * Decoders for T1, T2, T3, and T4.  Err otherwise.
- */
-export function tuple4<T1, T2, T3, T4>(
-    decoder1: Decoder<T1>,
-    decoder2: Decoder<T2>,
-    decoder3: Decoder<T3>,
-    decoder4: Decoder<T4>,
-): Decoder<[T1, T2, T3, T4]> {
-    return compose(ntuple(4), (blobs: $ReadOnlyArray<mixed>) => {
-        const [blob1, blob2, blob3, blob4] = blobs;
-
-        const result1 = decoder1(blob1);
-        const result2 = decoder2(blob2);
-        const result3 = decoder3(blob3);
-        const result4 = decoder4(blob4);
-        try {
-            return ok([
-                unwrap(result1),
-                unwrap(result2),
-                unwrap(result3),
-                unwrap(result4),
-            ]);
-        } catch (e) {
-            // If a decoder error has happened while unwrapping all the
-            // results, try to construct a good error message
-            return err(
-                annotate([
-                    okOrErr(result1),
-                    okOrErr(result2),
-                    okOrErr(result3),
-                    okOrErr(result4),
-                ]),
-            );
-        }
-    });
-}
-
-/**
- * Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
- * Decoders for T1, T2, T3, T4, and T5.  Err otherwise.
- */
-export function tuple5<T1, T2, T3, T4, T5>(
-    decoder1: Decoder<T1>,
-    decoder2: Decoder<T2>,
-    decoder3: Decoder<T3>,
-    decoder4: Decoder<T4>,
-    decoder5: Decoder<T5>,
-): Decoder<[T1, T2, T3, T4, T5]> {
-    return compose(ntuple(5), (blobs: $ReadOnlyArray<mixed>) => {
-        const [blob1, blob2, blob3, blob4, blob5] = blobs;
-
-        const result1 = decoder1(blob1);
-        const result2 = decoder2(blob2);
-        const result3 = decoder3(blob3);
-        const result4 = decoder4(blob4);
-        const result5 = decoder5(blob5);
-        try {
-            return ok([
-                unwrap(result1),
-                unwrap(result2),
-                unwrap(result3),
-                unwrap(result4),
-                unwrap(result5),
-            ]);
-        } catch (e) {
-            // If a decoder error has happened while unwrapping all the
-            // results, try to construct a good error message
-            return err(
-                annotate([
-                    okOrErr(result1),
-                    okOrErr(result2),
-                    okOrErr(result3),
-                    okOrErr(result4),
-                    okOrErr(result5),
-                ]),
-            );
-        }
-    });
-}
-
-/**
- * Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
- * Decoders for T1, T2, T3, T4, T5, and T6.  Err otherwise.
- */
-export function tuple6<T1, T2, T3, T4, T5, T6>(
-    decoder1: Decoder<T1>,
-    decoder2: Decoder<T2>,
-    decoder3: Decoder<T3>,
-    decoder4: Decoder<T4>,
-    decoder5: Decoder<T5>,
-    decoder6: Decoder<T6>,
-): Decoder<[T1, T2, T3, T4, T5, T6]> {
-    return compose(ntuple(6), (blobs: $ReadOnlyArray<mixed>) => {
-        const [blob1, blob2, blob3, blob4, blob5, blob6] = blobs;
-
-        const result1 = decoder1(blob1);
-        const result2 = decoder2(blob2);
-        const result3 = decoder3(blob3);
-        const result4 = decoder4(blob4);
-        const result5 = decoder5(blob5);
-        const result6 = decoder6(blob6);
-        try {
-            return ok([
-                unwrap(result1),
-                unwrap(result2),
-                unwrap(result3),
-                unwrap(result4),
-                unwrap(result5),
-                unwrap(result6),
-            ]);
-        } catch (e) {
-            // If a decoder error has happened while unwrapping all the
-            // results, try to construct a good error message
-            return err(
-                annotate([
-                    okOrErr(result1),
-                    okOrErr(result2),
-                    okOrErr(result3),
-                    okOrErr(result4),
-                    okOrErr(result5),
-                    okOrErr(result6),
-                ]),
-            );
-        }
-    });
-}
+export const tuple: TupleFuncSignature = (_tuple: _Any);

package/core/tuple.mjs

@@ -1,159 +1,45 @@
 import { annotate } from '../annotate.mjs';
 import { compose, predicate } from './composition.mjs';
-import { err, ok, unwrap } from '../result.mjs';
+import { err, ok } from '../result.mjs';
 import { poja } from './array.mjs';
 
-function okOrErr(result) {
-  return result.type === 'ok' ? result.value : result.error;
-}
-
 var ntuple = function ntuple(n) {
   return predicate(poja, function (arr) {
     return arr.length === n;
   }, "Must be a " + n + "-tuple");
-};
-/**
- * Builds a Decoder that returns Ok for 1-tuple of [T], given a Decoder for T.
- * Err otherwise.
- */
-
-
-export function tuple1(decoder1) {
-  return compose(ntuple(1), function (blobs) {
-    var blob1 = blobs[0];
-    var result1 = decoder1(blob1);
-
-    try {
-      return ok([unwrap(result1)]);
-    } catch (e) {
-      // If a decoder error has happened while unwrapping all the
-      // results, try to construct a good error message
-      return err(annotate([okOrErr(result1)]));
-    }
-  });
-}
-/**
- * Builds a Decoder that returns Ok for 2-tuples of [T1, T2], given Decoders
- * for T1 and T2.  Err otherwise.
- */
-
-export function tuple2(decoder1, decoder2) {
-  return compose(ntuple(2), function (blobs) {
-    var blob1 = blobs[0],
-        blob2 = blobs[1];
-    var result1 = decoder1(blob1);
-    var result2 = decoder2(blob2);
-
-    try {
-      return ok([unwrap(result1), unwrap(result2)]);
-    } catch (e) {
-      // If a decoder error has happened while unwrapping all the
-      // results, try to construct a good error message
-      return err(annotate([okOrErr(result1), okOrErr(result2)]));
-    }
-  });
-}
-/**
- * Builds a Decoder that returns Ok for 3-tuples of [T1, T2, T3], given
- * Decoders for T1, T2, and T3.  Err otherwise.
- */
+}; // prettier-ignore
 
-export function tuple3(decoder1, decoder2, decoder3) {
-  return compose(ntuple(3), function (blobs) {
-    var blob1 = blobs[0],
-        blob2 = blobs[1],
-        blob3 = blobs[2];
-    var result1 = decoder1(blob1);
-    var result2 = decoder2(blob2);
-    var result3 = decoder3(blob3);
 
-    try {
-      return ok([unwrap(result1), unwrap(result2), unwrap(result3)]);
-    } catch (e) {
-      // If a decoder error has happened while unwrapping all the
-      // results, try to construct a good error message
-      return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3)]));
-    }
-  });
-}
 /**
- * Builds a Decoder that returns Ok for 4-tuples of [T1, T2, T3, T4], given
- * Decoders for T1, T2, T3, and T4.  Err otherwise.
+ * Accepts n-tuples [A, B, C, ...] matching the given decoders A, B, C, ...
  */
-
-export function tuple4(decoder1, decoder2, decoder3, decoder4) {
-  return compose(ntuple(4), function (blobs) {
-    var blob1 = blobs[0],
-        blob2 = blobs[1],
-        blob3 = blobs[2],
-        blob4 = blobs[3];
-    var result1 = decoder1(blob1);
-    var result2 = decoder2(blob2);
-    var result3 = decoder3(blob3);
-    var result4 = decoder4(blob4);
-
-    try {
-      return ok([unwrap(result1), unwrap(result2), unwrap(result3), unwrap(result4)]);
-    } catch (e) {
+function _tuple() {
+  for (var _len = arguments.length, decoders = new Array(_len), _key = 0; _key < _len; _key++) {
+    decoders[_key] = arguments[_key];
+  }
+
+  return compose(ntuple(decoders.length), function (blobs) {
+    var allOk = true;
+    var rvs = decoders.map(function (decoder, i) {
+      var blob = blobs[i];
+      var result = decoder(blob);
+
+      if (result.ok) {
+        return result.value;
+      } else {
+        allOk = false;
+        return result.error;
+      }
+    });
+
+    if (allOk) {
+      return ok(rvs);
+    } else {
       // If a decoder error has happened while unwrapping all the
       // results, try to construct a good error message
-      return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4)]));
+      return err(annotate(rvs));
     }
   });
 }
-/**
- * Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
- * Decoders for T1, T2, T3, T4, and T5.  Err otherwise.
- */
 
-export function tuple5(decoder1, decoder2, decoder3, decoder4, decoder5) {
-  return compose(ntuple(5), function (blobs) {
-    var blob1 = blobs[0],
-        blob2 = blobs[1],
-        blob3 = blobs[2],
-        blob4 = blobs[3],
-        blob5 = blobs[4];
-    var result1 = decoder1(blob1);
-    var result2 = decoder2(blob2);
-    var result3 = decoder3(blob3);
-    var result4 = decoder4(blob4);
-    var result5 = decoder5(blob5);
-
-    try {
-      return ok([unwrap(result1), unwrap(result2), unwrap(result3), unwrap(result4), unwrap(result5)]);
-    } catch (e) {
-      // If a decoder error has happened while unwrapping all the
-      // results, try to construct a good error message
-      return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4), okOrErr(result5)]));
-    }
-  });
-}
-/**
- * Builds a Decoder that returns Ok for 5-tuples of [T1, T2, T3, T4, T5], given
- * Decoders for T1, T2, T3, T4, T5, and T6.  Err otherwise.
- */
-
-export function tuple6(decoder1, decoder2, decoder3, decoder4, decoder5, decoder6) {
-  return compose(ntuple(6), function (blobs) {
-    var blob1 = blobs[0],
-        blob2 = blobs[1],
-        blob3 = blobs[2],
-        blob4 = blobs[3],
-        blob5 = blobs[4],
-        blob6 = blobs[5];
-    var result1 = decoder1(blob1);
-    var result2 = decoder2(blob2);
-    var result3 = decoder3(blob3);
-    var result4 = decoder4(blob4);
-    var result5 = decoder5(blob5);
-    var result6 = decoder6(blob6);
-
-    try {
-      return ok([unwrap(result1), unwrap(result2), unwrap(result3), unwrap(result4), unwrap(result5), unwrap(result6)]);
-    } catch (e) {
-      // If a decoder error has happened while unwrapping all the
-      // results, try to construct a good error message
-      return err(annotate([okOrErr(result1), okOrErr(result2), okOrErr(result3), okOrErr(result4), okOrErr(result5), okOrErr(result6)]));
-    }
-  });
-}
+export var tuple = _tuple;

package/index.d.ts

@@ -12,32 +12,31 @@ export { JSONValue, JSONObject, JSONArray } from './core/json';
 
 export { guard } from './_guard';
 
-export { compose, map, predicate } from './core/composition';
+export { compose, predicate, prep, transform } from './core/composition';
 
-export { array, nonEmptyArray, poja } from './core/array';
+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 { disjointUnion } from './core/dispatch';
+export { dict, exact, inexact, mapping, object, pojo } from './core/object';
+export { either, oneOf } from './core/either';
 export {
-    either,
-    either3,
-    either4,
-    either5,
-    either6,
-    either7,
-    either8,
-    either9,
-    oneOf,
-} from './core/either';
+    email,
+    httpsUrl,
+    nonEmptyString,
+    regex,
+    string,
+    url,
+    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 { mapping, dict } from './core/mapping';
-export { integer, number, positiveInteger, positiveNumber } from './core/number';
-export { exact, inexact, object, pojo } from './core/object';
 export { maybe, nullable, optional } from './core/optional';
-export { email, httpsUrl, nonEmptyString, regex, string, url } from './core/string';
-export { tuple1, tuple2, tuple3, tuple4, tuple5, tuple6 } from './core/tuple';
+export { taggedUnion } from './core/dispatch';
+export { tuple } from './core/tuple';

package/index.js

@@ -1,7 +1,7 @@
 "use strict";
 
 exports.__esModule = true;
-exports.url = exports.unknown = exports.undefined_ = exports.tuple6 = exports.tuple5 = exports.tuple4 = exports.tuple3 = exports.tuple2 = exports.tuple1 = exports.truthy = exports.string = exports.regex = 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.map = 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.either9 = exports.either8 = exports.either7 = exports.either6 = exports.either5 = exports.either4 = exports.either3 = exports.either = exports.disjointUnion = 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.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;
 
 var _guard = require("./_guard");
 
@@ -10,14 +10,16 @@ exports.guard = _guard.guard;
 var _composition = require("./core/composition");
 
 exports.compose = _composition.compose;
-exports.map = _composition.map;
 exports.predicate = _composition.predicate;
+exports.prep = _composition.prep;
+exports.transform = _composition.transform;
 
 var _array = require("./core/array");
 
 exports.array = _array.array;
 exports.nonEmptyArray = _array.nonEmptyArray;
 exports.poja = _array.poja;
+exports.set = _array.set;
 
 var _boolean = require("./core/boolean");
 
@@ -43,22 +45,32 @@ var _describe = require("./core/describe");
 
 exports.describe = _describe.describe;
 
-var _dispatch = require("./core/dispatch");
+var _object = require("./core/object");
 
-exports.disjointUnion = _dispatch.disjointUnion;
+exports.dict = _object.dict;
+exports.exact = _object.exact;
+exports.inexact = _object.inexact;
+exports.mapping = _object.mapping;
+exports.object = _object.object;
+exports.pojo = _object.pojo;
 
 var _either = require("./core/either");
 
 exports.either = _either.either;
-exports.either3 = _either.either3;
-exports.either4 = _either.either4;
-exports.either5 = _either.either5;
-exports.either6 = _either.either6;
-exports.either7 = _either.either7;
-exports.either8 = _either.either8;
-exports.either9 = _either.either9;
 exports.oneOf = _either.oneOf;
 
+var _string = require("./core/string");
+
+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;
+
 var _fail = require("./core/fail");
 
 exports.fail = _fail.fail;
@@ -67,6 +79,13 @@ 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");
 
 exports.json = _json.json;
@@ -77,45 +96,16 @@ var _lazy = require("./core/lazy");
 
 exports.lazy = _lazy.lazy;
 
-var _mapping = require("./core/mapping");
-
-exports.mapping = _mapping.mapping;
-exports.dict = _mapping.dict;
-
-var _number = require("./core/number");
-
-exports.integer = _number.integer;
-exports.number = _number.number;
-exports.positiveInteger = _number.positiveInteger;
-exports.positiveNumber = _number.positiveNumber;
-
-var _object = require("./core/object");
-
-exports.exact = _object.exact;
-exports.inexact = _object.inexact;
-exports.object = _object.object;
-exports.pojo = _object.pojo;
-
 var _optional = require("./core/optional");
 
 exports.maybe = _optional.maybe;
 exports.nullable = _optional.nullable;
 exports.optional = _optional.optional;
 
-var _string = require("./core/string");
+var _dispatch = require("./core/dispatch");
 
-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.taggedUnion = _dispatch.taggedUnion;
 
 var _tuple = require("./core/tuple");
 
-exports.tuple1 = _tuple.tuple1;
-exports.tuple2 = _tuple.tuple2;
-exports.tuple3 = _tuple.tuple3;
-exports.tuple4 = _tuple.tuple4;
-exports.tuple5 = _tuple.tuple5;
-exports.tuple6 = _tuple.tuple6;
+exports.tuple = _tuple.tuple;

package/index.js.flow

@@ -32,32 +32,31 @@ export type { JSONValue, JSONObject, JSONArray } from './core/json';
 
 export { guard } from './_guard';
 
-export { compose, map, predicate } from './core/composition';
+export { compose, predicate, prep, transform } from './core/composition';
 
-export { array, nonEmptyArray, poja } from './core/array';
+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 { disjointUnion } from './core/dispatch';
+export { dict, exact, inexact, mapping, object, pojo } from './core/object';
+export { either, oneOf } from './core/either';
 export {
-    either,
-    either3,
-    either4,
-    either5,
-    either6,
-    either7,
-    either8,
-    either9,
-    oneOf,
-} from './core/either';
+    email,
+    httpsUrl,
+    nonEmptyString,
+    regex,
+    string,
+    url,
+    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 { mapping, dict } from './core/mapping';
-export { integer, number, positiveInteger, positiveNumber } from './core/number';
-export { exact, inexact, object, pojo } from './core/object';
 export { maybe, nullable, optional } from './core/optional';
-export { email, httpsUrl, nonEmptyString, regex, string, url } from './core/string';
-export { tuple1, tuple2, tuple3, tuple4, tuple5, tuple6 } from './core/tuple';
+export { taggedUnion } from './core/dispatch';
+export { tuple } from './core/tuple';