effect 2.0.0-next.42 → 2.0.0-next.44

package/Equal/dist/effect-Equal.cjs.dev.js

@@ -2,16 +2,67 @@
 
 Object.defineProperty(exports, '__esModule', { value: true });
 
-require('../../dist/Hash-bd154268.cjs.dev.js');
-var Equal_dist_effectEqual = require('../../dist/Equal-281b6ca8.cjs.dev.js');
-require('../../dist/Function-41ce433d.cjs.dev.js');
-require('../../dist/GlobalValue-81ab6908.cjs.dev.js');
-require('../../dist/Utils-b0c14d1b.cjs.dev.js');
-require('../../dist/Predicate-9e859c9c.cjs.dev.js');
+var Hash_dist_effectHash = require('../../Hash/dist/effect-Hash.cjs.dev.js');
+require('../../Function/dist/effect-Function.cjs.dev.js');
+require('../../GlobalValue/dist/effect-GlobalValue.cjs.dev.js');
+require('../../Utils/dist/effect-Utils.cjs.dev.js');
+require('../../Predicate/dist/effect-Predicate.cjs.dev.js');
 
+/**
+ * @since 2.0.0
+ */
 
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+const symbol = /*#__PURE__*/Symbol.for("effect/Equal");
 
-exports.equals = Equal_dist_effectEqual.equals;
-exports.equivalence = Equal_dist_effectEqual.equivalence;
-exports.isEqual = Equal_dist_effectEqual.isEqual;
-exports.symbol = Equal_dist_effectEqual.symbol;
+/**
+ * @since 2.0.0
+ * @category models
+ */
+
+/**
+ * @since 2.0.0
+ * @category equality
+ */
+
+function equals() {
+  if (arguments.length === 1) {
+    return self => compareBoth(self, arguments[0]);
+  }
+  return compareBoth(arguments[0], arguments[1]);
+}
+function compareBoth(self, that) {
+  if (self === that) {
+    return true;
+  }
+  const selfType = typeof self;
+  if (selfType !== typeof that) {
+    return false;
+  }
+  if ((selfType === "object" || selfType === "function") && self !== null && that !== null) {
+    if (isEqual(self) && isEqual(that)) {
+      return Hash_dist_effectHash.hash(self) === Hash_dist_effectHash.hash(that) && self[symbol](that);
+    }
+  }
+  return false;
+}
+
+/**
+ * @since 2.0.0
+ * @category guards
+ */
+const isEqual = u => typeof u === "object" && u !== null && symbol in u;
+
+/**
+ * @since 2.0.0
+ * @category instances
+ */
+const equivalence = () => (self, that) => equals(self, that);
+
+exports.equals = equals;
+exports.equivalence = equivalence;
+exports.isEqual = isEqual;
+exports.symbol = symbol;

package/Equal/dist/effect-Equal.cjs.prod.js

@@ -2,16 +2,67 @@
 
 Object.defineProperty(exports, '__esModule', { value: true });
 
-require('../../dist/Hash-1bd73210.cjs.prod.js');
-var Equal_dist_effectEqual = require('../../dist/Equal-ce9977a8.cjs.prod.js');
-require('../../dist/Function-2e6b0cda.cjs.prod.js');
-require('../../dist/GlobalValue-cb645c99.cjs.prod.js');
-require('../../dist/Utils-864e1d48.cjs.prod.js');
-require('../../dist/Predicate-daa86e61.cjs.prod.js');
+var Hash_dist_effectHash = require('../../Hash/dist/effect-Hash.cjs.prod.js');
+require('../../Function/dist/effect-Function.cjs.prod.js');
+require('../../GlobalValue/dist/effect-GlobalValue.cjs.prod.js');
+require('../../Utils/dist/effect-Utils.cjs.prod.js');
+require('../../Predicate/dist/effect-Predicate.cjs.prod.js');
 
+/**
+ * @since 2.0.0
+ */
 
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+const symbol = /*#__PURE__*/Symbol.for("effect/Equal");
 
-exports.equals = Equal_dist_effectEqual.equals;
-exports.equivalence = Equal_dist_effectEqual.equivalence;
-exports.isEqual = Equal_dist_effectEqual.isEqual;
-exports.symbol = Equal_dist_effectEqual.symbol;
+/**
+ * @since 2.0.0
+ * @category models
+ */
+
+/**
+ * @since 2.0.0
+ * @category equality
+ */
+
+function equals() {
+  if (arguments.length === 1) {
+    return self => compareBoth(self, arguments[0]);
+  }
+  return compareBoth(arguments[0], arguments[1]);
+}
+function compareBoth(self, that) {
+  if (self === that) {
+    return true;
+  }
+  const selfType = typeof self;
+  if (selfType !== typeof that) {
+    return false;
+  }
+  if ((selfType === "object" || selfType === "function") && self !== null && that !== null) {
+    if (isEqual(self) && isEqual(that)) {
+      return Hash_dist_effectHash.hash(self) === Hash_dist_effectHash.hash(that) && self[symbol](that);
+    }
+  }
+  return false;
+}
+
+/**
+ * @since 2.0.0
+ * @category guards
+ */
+const isEqual = u => typeof u === "object" && u !== null && symbol in u;
+
+/**
+ * @since 2.0.0
+ * @category instances
+ */
+const equivalence = () => (self, that) => equals(self, that);
+
+exports.equals = equals;
+exports.equivalence = equivalence;
+exports.isEqual = isEqual;
+exports.symbol = symbol;

package/Equivalence/dist/effect-Equivalence.cjs.dev.js

@@ -2,26 +2,216 @@
 
 Object.defineProperty(exports, '__esModule', { value: true });
 
-require('../../dist/Function-41ce433d.cjs.dev.js');
-var Equivalence_dist_effectEquivalence = require('../../dist/Equivalence-de7a0d51.cjs.dev.js');
-
-
-
-exports.Date = Equivalence_dist_effectEquivalence.Date;
-exports.all = Equivalence_dist_effectEquivalence.all;
-exports.array = Equivalence_dist_effectEquivalence.array;
-exports.bigint = Equivalence_dist_effectEquivalence.bigint;
-exports.boolean = Equivalence_dist_effectEquivalence.boolean;
-exports.combine = Equivalence_dist_effectEquivalence.combine;
-exports.combineAll = Equivalence_dist_effectEquivalence.combineAll;
-exports.combineMany = Equivalence_dist_effectEquivalence.combineMany;
-exports.make = Equivalence_dist_effectEquivalence.make;
-exports.mapInput = Equivalence_dist_effectEquivalence.mapInput;
-exports.number = Equivalence_dist_effectEquivalence.number;
-exports.product = Equivalence_dist_effectEquivalence.product;
-exports.productMany = Equivalence_dist_effectEquivalence.productMany;
-exports.strict = Equivalence_dist_effectEquivalence.strict;
-exports.string = Equivalence_dist_effectEquivalence.string;
-exports.struct = Equivalence_dist_effectEquivalence.struct;
-exports.symbol = Equivalence_dist_effectEquivalence.symbol;
-exports.tuple = Equivalence_dist_effectEquivalence.tuple;
+var Function_dist_effectFunction = require('../../Function/dist/effect-Function.cjs.dev.js');
+
+/**
+ * This module provides an implementation of the `Equivalence` type class, which defines a binary relation
+ * that is reflexive, symmetric, and transitive. In other words, it defines a notion of equivalence between values of a certain type.
+ * These properties are also known in mathematics as an "equivalence relation".
+ *
+ * @since 2.0.0
+ */
+
+/**
+ * @category type class
+ * @since 2.0.0
+ */
+
+/**
+ * @category type lambdas
+ * @since 2.0.0
+ */
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+const make = isEquivalent => (self, that) => self === that || isEquivalent(self, that);
+const isStrictEquivalent = (x, y) => x === y;
+
+/**
+ * Return an `Equivalence` that uses strict equality (===) to compare values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+const strict = () => isStrictEquivalent;
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const string = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const number = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const boolean = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const bigint = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const symbol = /*#__PURE__*/strict();
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const combine = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => make((x, y) => self(x, y) && that(x, y)));
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const combineMany = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, collection) => make((x, y) => {
+  if (!self(x, y)) {
+    return false;
+  }
+  for (const equivalence of collection) {
+    if (!equivalence(x, y)) {
+      return false;
+    }
+  }
+  return true;
+}));
+const isAlwaysEquivalent = (_x, _y) => true;
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const combineAll = collection => combineMany(isAlwaysEquivalent, collection);
+
+/**
+ * @category combinators
+ * @since 2.0.0
+ */
+const mapInput = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, f) => make((x, y) => self(f(x), f(y))));
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const Date = /*#__PURE__*/mapInput(number, date => date.getTime());
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const product = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => make(([xa, xb], [ya, yb]) => self(xa, ya) && that(xb, yb)));
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const all = collection => {
+  return make((x, y) => {
+    const len = Math.min(x.length, y.length);
+    let collectionLength = 0;
+    for (const equivalence of collection) {
+      if (collectionLength >= len) {
+        break;
+      }
+      if (!equivalence(x[collectionLength], y[collectionLength])) {
+        return false;
+      }
+      collectionLength++;
+    }
+    return true;
+  });
+};
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const productMany = (self, collection) => {
+  const equivalence = all(collection);
+  return make((x, y) => !self(x[0], y[0]) ? false : equivalence(x.slice(1), y.slice(1)));
+};
+
+/**
+ * Similar to `Promise.all` but operates on `Equivalence`s.
+ *
+ * ```
+ * [Equivalence<A>, Equivalence<B>, ...] -> Equivalence<[A, B, ...]>
+ * ```
+ *
+ * Given a tuple of `Equivalence`s returns a new `Equivalence` that compares values of a tuple
+ * by applying each `Equivalence` to the corresponding element of the tuple.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+const tuple = (...elements) => all(elements);
+
+/**
+ * Creates a new `Equivalence` for an array of values based on a given `Equivalence` for the elements of the array.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+const array = item => make((self, that) => {
+  if (self.length !== that.length) {
+    return false;
+  }
+  for (let i = 0; i < self.length; i++) {
+    const isEq = item(self[i], that[i]);
+    if (!isEq) {
+      return false;
+    }
+  }
+  return true;
+});
+
+/**
+ * Given a struct of `Equivalence`s returns a new `Equivalence` that compares values of a struct
+ * by applying each `Equivalence` to the corresponding property of the struct.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+const struct = fields => {
+  const keys = Object.keys(fields);
+  return make((self, that) => {
+    for (const key of keys) {
+      if (!fields[key](self[key], that[key])) {
+        return false;
+      }
+    }
+    return true;
+  });
+};
+
+exports.Date = Date;
+exports.all = all;
+exports.array = array;
+exports.bigint = bigint;
+exports.boolean = boolean;
+exports.combine = combine;
+exports.combineAll = combineAll;
+exports.combineMany = combineMany;
+exports.make = make;
+exports.mapInput = mapInput;
+exports.number = number;
+exports.product = product;
+exports.productMany = productMany;
+exports.strict = strict;
+exports.string = string;
+exports.struct = struct;
+exports.symbol = symbol;
+exports.tuple = tuple;

package/Equivalence/dist/effect-Equivalence.cjs.prod.js

@@ -2,26 +2,216 @@
 
 Object.defineProperty(exports, '__esModule', { value: true });
 
-require('../../dist/Function-2e6b0cda.cjs.prod.js');
-var Equivalence_dist_effectEquivalence = require('../../dist/Equivalence-0bc84518.cjs.prod.js');
-
-
-
-exports.Date = Equivalence_dist_effectEquivalence.Date;
-exports.all = Equivalence_dist_effectEquivalence.all;
-exports.array = Equivalence_dist_effectEquivalence.array;
-exports.bigint = Equivalence_dist_effectEquivalence.bigint;
-exports.boolean = Equivalence_dist_effectEquivalence.boolean;
-exports.combine = Equivalence_dist_effectEquivalence.combine;
-exports.combineAll = Equivalence_dist_effectEquivalence.combineAll;
-exports.combineMany = Equivalence_dist_effectEquivalence.combineMany;
-exports.make = Equivalence_dist_effectEquivalence.make;
-exports.mapInput = Equivalence_dist_effectEquivalence.mapInput;
-exports.number = Equivalence_dist_effectEquivalence.number;
-exports.product = Equivalence_dist_effectEquivalence.product;
-exports.productMany = Equivalence_dist_effectEquivalence.productMany;
-exports.strict = Equivalence_dist_effectEquivalence.strict;
-exports.string = Equivalence_dist_effectEquivalence.string;
-exports.struct = Equivalence_dist_effectEquivalence.struct;
-exports.symbol = Equivalence_dist_effectEquivalence.symbol;
-exports.tuple = Equivalence_dist_effectEquivalence.tuple;
+var Function_dist_effectFunction = require('../../Function/dist/effect-Function.cjs.prod.js');
+
+/**
+ * This module provides an implementation of the `Equivalence` type class, which defines a binary relation
+ * that is reflexive, symmetric, and transitive. In other words, it defines a notion of equivalence between values of a certain type.
+ * These properties are also known in mathematics as an "equivalence relation".
+ *
+ * @since 2.0.0
+ */
+
+/**
+ * @category type class
+ * @since 2.0.0
+ */
+
+/**
+ * @category type lambdas
+ * @since 2.0.0
+ */
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+const make = isEquivalent => (self, that) => self === that || isEquivalent(self, that);
+const isStrictEquivalent = (x, y) => x === y;
+
+/**
+ * Return an `Equivalence` that uses strict equality (===) to compare values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+const strict = () => isStrictEquivalent;
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const string = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const number = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const boolean = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const bigint = /*#__PURE__*/strict();
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const symbol = /*#__PURE__*/strict();
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const combine = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => make((x, y) => self(x, y) && that(x, y)));
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const combineMany = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, collection) => make((x, y) => {
+  if (!self(x, y)) {
+    return false;
+  }
+  for (const equivalence of collection) {
+    if (!equivalence(x, y)) {
+      return false;
+    }
+  }
+  return true;
+}));
+const isAlwaysEquivalent = (_x, _y) => true;
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const combineAll = collection => combineMany(isAlwaysEquivalent, collection);
+
+/**
+ * @category combinators
+ * @since 2.0.0
+ */
+const mapInput = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, f) => make((x, y) => self(f(x), f(y))));
+
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+const Date = /*#__PURE__*/mapInput(number, date => date.getTime());
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const product = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => make(([xa, xb], [ya, yb]) => self(xa, ya) && that(xb, yb)));
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const all = collection => {
+  return make((x, y) => {
+    const len = Math.min(x.length, y.length);
+    let collectionLength = 0;
+    for (const equivalence of collection) {
+      if (collectionLength >= len) {
+        break;
+      }
+      if (!equivalence(x[collectionLength], y[collectionLength])) {
+        return false;
+      }
+      collectionLength++;
+    }
+    return true;
+  });
+};
+
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+const productMany = (self, collection) => {
+  const equivalence = all(collection);
+  return make((x, y) => !self(x[0], y[0]) ? false : equivalence(x.slice(1), y.slice(1)));
+};
+
+/**
+ * Similar to `Promise.all` but operates on `Equivalence`s.
+ *
+ * ```
+ * [Equivalence<A>, Equivalence<B>, ...] -> Equivalence<[A, B, ...]>
+ * ```
+ *
+ * Given a tuple of `Equivalence`s returns a new `Equivalence` that compares values of a tuple
+ * by applying each `Equivalence` to the corresponding element of the tuple.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+const tuple = (...elements) => all(elements);
+
+/**
+ * Creates a new `Equivalence` for an array of values based on a given `Equivalence` for the elements of the array.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+const array = item => make((self, that) => {
+  if (self.length !== that.length) {
+    return false;
+  }
+  for (let i = 0; i < self.length; i++) {
+    const isEq = item(self[i], that[i]);
+    if (!isEq) {
+      return false;
+    }
+  }
+  return true;
+});
+
+/**
+ * Given a struct of `Equivalence`s returns a new `Equivalence` that compares values of a struct
+ * by applying each `Equivalence` to the corresponding property of the struct.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+const struct = fields => {
+  const keys = Object.keys(fields);
+  return make((self, that) => {
+    for (const key of keys) {
+      if (!fields[key](self[key], that[key])) {
+        return false;
+      }
+    }
+    return true;
+  });
+};
+
+exports.Date = Date;
+exports.all = all;
+exports.array = array;
+exports.bigint = bigint;
+exports.boolean = boolean;
+exports.combine = combine;
+exports.combineAll = combineAll;
+exports.combineMany = combineMany;
+exports.make = make;
+exports.mapInput = mapInput;
+exports.number = number;
+exports.product = product;
+exports.productMany = productMany;
+exports.strict = strict;
+exports.string = string;
+exports.struct = struct;
+exports.symbol = symbol;
+exports.tuple = tuple;