@depup/effect 3.20.0-depup.0

package/dist/esm/Encoding.js

@@ -0,0 +1,136 @@
+/**
+ * This module provides encoding & decoding functionality for:
+ *
+ * - base64 (RFC4648)
+ * - base64 (URL)
+ * - hex
+ *
+ * @since 2.0.0
+ */
+import * as Either from "./Either.js";
+import * as Base64 from "./internal/encoding/base64.js";
+import * as Base64Url from "./internal/encoding/base64Url.js";
+import * as Common from "./internal/encoding/common.js";
+import * as Hex from "./internal/encoding/hex.js";
+/**
+ * Encodes the given value into a base64 (RFC4648) `string`.
+ *
+ * @category encoding
+ * @since 2.0.0
+ */
+export const encodeBase64 = input => typeof input === "string" ? Base64.encode(Common.encoder.encode(input)) : Base64.encode(input);
+/**
+ * Decodes a base64 (RFC4648) encoded `string` into a `Uint8Array`.
+ *
+ * @category decoding
+ * @since 2.0.0
+ */
+export const decodeBase64 = str => Base64.decode(str);
+/**
+ * Decodes a base64 (RFC4648) encoded `string` into a UTF-8 `string`.
+ *
+ * @category decoding
+ * @since 2.0.0
+ */
+export const decodeBase64String = str => Either.map(decodeBase64(str), _ => Common.decoder.decode(_));
+/**
+ * Encodes the given value into a base64 (URL) `string`.
+ *
+ * @category encoding
+ * @since 2.0.0
+ */
+export const encodeBase64Url = input => typeof input === "string" ? Base64Url.encode(Common.encoder.encode(input)) : Base64Url.encode(input);
+/**
+ * Decodes a base64 (URL) encoded `string` into a `Uint8Array`.
+ *
+ * @category decoding
+ * @since 2.0.0
+ */
+export const decodeBase64Url = str => Base64Url.decode(str);
+/**
+ * Decodes a base64 (URL) encoded `string` into a UTF-8 `string`.
+ *
+ * @category decoding
+ * @since 2.0.0
+ */
+export const decodeBase64UrlString = str => Either.map(decodeBase64Url(str), _ => Common.decoder.decode(_));
+/**
+ * Encodes the given value into a hex `string`.
+ *
+ * @category encoding
+ * @since 2.0.0
+ */
+export const encodeHex = input => typeof input === "string" ? Hex.encode(Common.encoder.encode(input)) : Hex.encode(input);
+/**
+ * Decodes a hex encoded `string` into a `Uint8Array`.
+ *
+ * @category decoding
+ * @since 2.0.0
+ */
+export const decodeHex = str => Hex.decode(str);
+/**
+ * Decodes a hex encoded `string` into a UTF-8 `string`.
+ *
+ * @category decoding
+ * @since 2.0.0
+ */
+export const decodeHexString = str => Either.map(decodeHex(str), _ => Common.decoder.decode(_));
+/**
+ * Encodes a UTF-8 `string` into a URI component `string`.
+ *
+ * @category encoding
+ * @since 3.12.0
+ */
+export const encodeUriComponent = str => Either.try({
+  try: () => encodeURIComponent(str),
+  catch: e => EncodeException(str, e instanceof Error ? e.message : "Invalid input")
+});
+/**
+ * Decodes a URI component `string` into a UTF-8 `string`.
+ *
+ * @category decoding
+ * @since 3.12.0
+ */
+export const decodeUriComponent = str => Either.try({
+  try: () => decodeURIComponent(str),
+  catch: e => DecodeException(str, e instanceof Error ? e.message : "Invalid input")
+});
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const DecodeExceptionTypeId = Common.DecodeExceptionTypeId;
+/**
+ * Creates a checked exception which occurs when decoding fails.
+ *
+ * @since 2.0.0
+ * @category errors
+ */
+export const DecodeException = Common.DecodeException;
+/**
+ * Returns `true` if the specified value is an `DecodeException`, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isDecodeException = Common.isDecodeException;
+/**
+ * @since 3.12.0
+ * @category symbols
+ */
+export const EncodeExceptionTypeId = Common.EncodeExceptionTypeId;
+/**
+ * Creates a checked exception which occurs when encoding fails.
+ *
+ * @since 3.12.0
+ * @category errors
+ */
+export const EncodeException = Common.EncodeException;
+/**
+ * Returns `true` if the specified value is an `EncodeException`, `false` otherwise.
+ *
+ * @since 3.12.0
+ * @category refinements
+ */
+export const isEncodeException = Common.isEncodeException;
+//# sourceMappingURL=Encoding.js.map

package/dist/esm/Encoding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Encoding.js","names":["Either","Base64","Base64Url","Common","Hex","encodeBase64","input","encode","encoder","decodeBase64","str","decode","decodeBase64String","map","_","decoder","encodeBase64Url","decodeBase64Url","decodeBase64UrlString","encodeHex","decodeHex","decodeHexString","encodeUriComponent","try","encodeURIComponent","catch","e","EncodeException","Error","message","decodeUriComponent","decodeURIComponent","DecodeException","DecodeExceptionTypeId","isDecodeException","EncodeExceptionTypeId","isEncodeException"],"sources":["../../src/Encoding.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;AASA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,MAAM,MAAM,+BAA+B;AACvD,OAAO,KAAKC,SAAS,MAAM,kCAAkC;AAC7D,OAAO,KAAKC,MAAM,MAAM,+BAA+B;AACvD,OAAO,KAAKC,GAAG,MAAM,4BAA4B;AAEjD;;;;;;AAMA,OAAO,MAAMC,YAAY,GAA4CC,KAAK,IACxE,OAAOA,KAAK,KAAK,QAAQ,GAAGL,MAAM,CAACM,MAAM,CAACJ,MAAM,CAACK,OAAO,CAACD,MAAM,CAACD,KAAK,CAAC,CAAC,GAAGL,MAAM,CAACM,MAAM,CAACD,KAAK,CAAC;AAEhG;;;;;;AAMA,OAAO,MAAMG,YAAY,GAAIC,GAAW,IAAiDT,MAAM,CAACU,MAAM,CAACD,GAAG,CAAC;AAE3G;;;;;;AAMA,OAAO,MAAME,kBAAkB,GAAIF,GAAW,IAAKV,MAAM,CAACa,GAAG,CAACJ,YAAY,CAACC,GAAG,CAAC,EAAGI,CAAC,IAAKX,MAAM,CAACY,OAAO,CAACJ,MAAM,CAACG,CAAC,CAAC,CAAC;AAEjH;;;;;;AAMA,OAAO,MAAME,eAAe,GAA4CV,KAAK,IAC3E,OAAOA,KAAK,KAAK,QAAQ,GAAGJ,SAAS,CAACK,MAAM,CAACJ,MAAM,CAACK,OAAO,CAACD,MAAM,CAACD,KAAK,CAAC,CAAC,GAAGJ,SAAS,CAACK,MAAM,CAACD,KAAK,CAAC;AAEtG;;;;;;AAMA,OAAO,MAAMW,eAAe,GAAIP,GAAW,IAAiDR,SAAS,CAACS,MAAM,CAACD,GAAG,CAAC;AAEjH;;;;;;AAMA,OAAO,MAAMQ,qBAAqB,GAAIR,GAAW,IAAKV,MAAM,CAACa,GAAG,CAACI,eAAe,CAACP,GAAG,CAAC,EAAGI,CAAC,IAAKX,MAAM,CAACY,OAAO,CAACJ,MAAM,CAACG,CAAC,CAAC,CAAC;AAEvH;;;;;;AAMA,OAAO,MAAMK,SAAS,GAA4Cb,KAAK,IACrE,OAAOA,KAAK,KAAK,QAAQ,GAAGF,GAAG,CAACG,MAAM,CAACJ,MAAM,CAACK,OAAO,CAACD,MAAM,CAACD,KAAK,CAAC,CAAC,GAAGF,GAAG,CAACG,MAAM,CAACD,KAAK,CAAC;AAE1F;;;;;;AAMA,OAAO,MAAMc,SAAS,GAAIV,GAAW,IAAiDN,GAAG,CAACO,MAAM,CAACD,GAAG,CAAC;AAErG;;;;;;AAMA,OAAO,MAAMW,eAAe,GAAIX,GAAW,IAAKV,MAAM,CAACa,GAAG,CAACO,SAAS,CAACV,GAAG,CAAC,EAAGI,CAAC,IAAKX,MAAM,CAACY,OAAO,CAACJ,MAAM,CAACG,CAAC,CAAC,CAAC;AAE3G;;;;;;AAMA,OAAO,MAAMQ,kBAAkB,GAAIZ,GAAW,IAC5CV,MAAM,CAACuB,GAAG,CAAC;EACTA,GAAG,EAAEA,CAAA,KAAMC,kBAAkB,CAACd,GAAG,CAAC;EAClCe,KAAK,EAAGC,CAAC,IAAKC,eAAe,CAACjB,GAAG,EAAEgB,CAAC,YAAYE,KAAK,GAAGF,CAAC,CAACG,OAAO,GAAG,eAAe;CACpF,CAAC;AAEJ;;;;;;AAMA,OAAO,MAAMC,kBAAkB,GAAIpB,GAAW,IAC5CV,MAAM,CAACuB,GAAG,CAAC;EACTA,GAAG,EAAEA,CAAA,KAAMQ,kBAAkB,CAACrB,GAAG,CAAC;EAClCe,KAAK,EAAGC,CAAC,IAAKM,eAAe,CAACtB,GAAG,EAAEgB,CAAC,YAAYE,KAAK,GAAGF,CAAC,CAACG,OAAO,GAAG,eAAe;CACpF,CAAC;AAEJ;;;;AAIA,OAAO,MAAMI,qBAAqB,GAAkB9B,MAAM,CAAC8B,qBAAqB;AAqBhF;;;;;;AAMA,OAAO,MAAMD,eAAe,GAAyD7B,MAAM,CAAC6B,eAAe;AAE3G;;;;;;AAMA,OAAO,MAAME,iBAAiB,GAAyC/B,MAAM,CAAC+B,iBAAiB;AAE/F;;;;AAIA,OAAO,MAAMC,qBAAqB,GAAkBhC,MAAM,CAACgC,qBAAqB;AAqBhF;;;;;;AAMA,OAAO,MAAMR,eAAe,GAAyDxB,MAAM,CAACwB,eAAe;AAE3G;;;;;;AAMA,OAAO,MAAMS,iBAAiB,GAAyCjC,MAAM,CAACiC,iBAAiB","ignoreList":[]}

package/dist/esm/Equal.js

@@ -0,0 +1,71 @@
+import * as Hash from "./Hash.js";
+import { hasProperty } from "./Predicate.js";
+import { structuralRegionState } from "./Utils.js";
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const symbol = /*#__PURE__*/Symbol.for("effect/Equal");
+export 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") {
+    if (self !== null && that !== null) {
+      if (isEqual(self) && isEqual(that)) {
+        if (Hash.hash(self) === Hash.hash(that) && self[symbol](that)) {
+          return true;
+        } else {
+          return structuralRegionState.enabled && structuralRegionState.tester ? structuralRegionState.tester(self, that) : false;
+        }
+      } else if (self instanceof Date && that instanceof Date) {
+        const t1 = self.getTime();
+        const t2 = that.getTime();
+        return t1 === t2 || Number.isNaN(t1) && Number.isNaN(t2);
+      } else if (self instanceof URL && that instanceof URL) {
+        return self.href === that.href;
+      }
+    }
+    if (structuralRegionState.enabled) {
+      if (Array.isArray(self) && Array.isArray(that)) {
+        return self.length === that.length && self.every((v, i) => compareBoth(v, that[i]));
+      }
+      if (Object.getPrototypeOf(self) === Object.prototype && Object.getPrototypeOf(that) === Object.prototype) {
+        const keysSelf = Object.keys(self);
+        const keysThat = Object.keys(that);
+        if (keysSelf.length === keysThat.length) {
+          for (const key of keysSelf) {
+            // @ts-expect-error
+            if (!(key in that && compareBoth(self[key], that[key]))) {
+              return structuralRegionState.tester ? structuralRegionState.tester(self, that) : false;
+            }
+          }
+          return true;
+        }
+      }
+      return structuralRegionState.tester ? structuralRegionState.tester(self, that) : false;
+    }
+  }
+  return structuralRegionState.enabled && structuralRegionState.tester ? structuralRegionState.tester(self, that) : false;
+}
+/**
+ * @since 2.0.0
+ * @category guards
+ */
+export const isEqual = u => hasProperty(u, symbol);
+/**
+ * @since 2.0.0
+ * @category instances
+ */
+export const equivalence = () => equals;
+//# sourceMappingURL=Equal.js.map

package/dist/esm/Equal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Equal.js","names":["Hash","hasProperty","structuralRegionState","symbol","Symbol","for","equals","arguments","length","self","compareBoth","that","selfType","isEqual","hash","enabled","tester","Date","t1","getTime","t2","Number","isNaN","URL","href","Array","isArray","every","v","i","Object","getPrototypeOf","prototype","keysSelf","keys","keysThat","key","u","equivalence"],"sources":["../../src/Equal.ts"],"sourcesContent":[null],"mappings":"AAIA,OAAO,KAAKA,IAAI,MAAM,WAAW;AACjC,SAASC,WAAW,QAAQ,gBAAgB;AAC5C,SAASC,qBAAqB,QAAQ,YAAY;AAElD;;;;AAIA,OAAO,MAAMC,MAAM,gBAAkBC,MAAM,CAACC,GAAG,CAAC,cAAc,CAAC;AAgB/D,OAAM,SAAUC,MAAMA,CAAA;EACpB,IAAIC,SAAS,CAACC,MAAM,KAAK,CAAC,EAAE;IAC1B,OAAQC,IAAa,IAAKC,WAAW,CAACD,IAAI,EAAEF,SAAS,CAAC,CAAC,CAAC,CAAC;EAC3D;EACA,OAAOG,WAAW,CAACH,SAAS,CAAC,CAAC,CAAC,EAAEA,SAAS,CAAC,CAAC,CAAC,CAAC;AAChD;AAEA,SAASG,WAAWA,CAACD,IAAa,EAAEE,IAAa;EAC/C,IAAIF,IAAI,KAAKE,IAAI,EAAE;IACjB,OAAO,IAAI;EACb;EACA,MAAMC,QAAQ,GAAG,OAAOH,IAAI;EAC5B,IAAIG,QAAQ,KAAK,OAAOD,IAAI,EAAE;IAC5B,OAAO,KAAK;EACd;EACA,IAAIC,QAAQ,KAAK,QAAQ,IAAIA,QAAQ,KAAK,UAAU,EAAE;IACpD,IAAIH,IAAI,KAAK,IAAI,IAAIE,IAAI,KAAK,IAAI,EAAE;MAClC,IAAIE,OAAO,CAACJ,IAAI,CAAC,IAAII,OAAO,CAACF,IAAI,CAAC,EAAE;QAClC,IAAIX,IAAI,CAACc,IAAI,CAACL,IAAI,CAAC,KAAKT,IAAI,CAACc,IAAI,CAACH,IAAI,CAAC,IAAIF,IAAI,CAACN,MAAM,CAAC,CAACQ,IAAI,CAAC,EAAE;UAC7D,OAAO,IAAI;QACb,CAAC,MAAM;UACL,OAAOT,qBAAqB,CAACa,OAAO,IAAIb,qBAAqB,CAACc,MAAM,GAChEd,qBAAqB,CAACc,MAAM,CAACP,IAAI,EAAEE,IAAI,CAAC,GACxC,KAAK;QACX;MACF,CAAC,MAAM,IAAIF,IAAI,YAAYQ,IAAI,IAAIN,IAAI,YAAYM,IAAI,EAAE;QACvD,MAAMC,EAAE,GAAGT,IAAI,CAACU,OAAO,EAAE;QACzB,MAAMC,EAAE,GAAGT,IAAI,CAACQ,OAAO,EAAE;QACzB,OAAOD,EAAE,KAAKE,EAAE,IAAKC,MAAM,CAACC,KAAK,CAACJ,EAAE,CAAC,IAAIG,MAAM,CAACC,KAAK,CAACF,EAAE,CAAE;MAC5D,CAAC,MAAM,IAAIX,IAAI,YAAYc,GAAG,IAAIZ,IAAI,YAAYY,GAAG,EAAE;QACrD,OAAOd,IAAI,CAACe,IAAI,KAAKb,IAAI,CAACa,IAAI;MAChC;IACF;IACA,IAAItB,qBAAqB,CAACa,OAAO,EAAE;MACjC,IAAIU,KAAK,CAACC,OAAO,CAACjB,IAAI,CAAC,IAAIgB,KAAK,CAACC,OAAO,CAACf,IAAI,CAAC,EAAE;QAC9C,OAAOF,IAAI,CAACD,MAAM,KAAKG,IAAI,CAACH,MAAM,IAAIC,IAAI,CAACkB,KAAK,CAAC,CAACC,CAAC,EAAEC,CAAC,KAAKnB,WAAW,CAACkB,CAAC,EAAEjB,IAAI,CAACkB,CAAC,CAAC,CAAC,CAAC;MACrF;MACA,IAAIC,MAAM,CAACC,cAAc,CAACtB,IAAI,CAAC,KAAKqB,MAAM,CAACE,SAAS,IAAIF,MAAM,CAACC,cAAc,CAACpB,IAAI,CAAC,KAAKmB,MAAM,CAACE,SAAS,EAAE;QACxG,MAAMC,QAAQ,GAAGH,MAAM,CAACI,IAAI,CAACzB,IAAW,CAAC;QACzC,MAAM0B,QAAQ,GAAGL,MAAM,CAACI,IAAI,CAACvB,IAAW,CAAC;QACzC,IAAIsB,QAAQ,CAACzB,MAAM,KAAK2B,QAAQ,CAAC3B,MAAM,EAAE;UACvC,KAAK,MAAM4B,GAAG,IAAIH,QAAQ,EAAE;YAC1B;YACA,IAAI,EAAEG,GAAG,IAAIzB,IAAI,IAAID,WAAW,CAACD,IAAI,CAAC2B,GAAG,CAAC,EAAEzB,IAAI,CAACyB,GAAG,CAAC,CAAC,CAAC,EAAE;cACvD,OAAOlC,qBAAqB,CAACc,MAAM,GAAGd,qBAAqB,CAACc,MAAM,CAACP,IAAI,EAAEE,IAAI,CAAC,GAAG,KAAK;YACxF;UACF;UACA,OAAO,IAAI;QACb;MACF;MACA,OAAOT,qBAAqB,CAACc,MAAM,GAAGd,qBAAqB,CAACc,MAAM,CAACP,IAAI,EAAEE,IAAI,CAAC,GAAG,KAAK;IACxF;EACF;EAEA,OAAOT,qBAAqB,CAACa,OAAO,IAAIb,qBAAqB,CAACc,MAAM,GAChEd,qBAAqB,CAACc,MAAM,CAACP,IAAI,EAAEE,IAAI,CAAC,GACxC,KAAK;AACX;AAEA;;;;AAIA,OAAO,MAAME,OAAO,GAAIwB,CAAU,IAAiBpC,WAAW,CAACoC,CAAC,EAAElC,MAAM,CAAC;AAEzE;;;;AAIA,OAAO,MAAMmC,WAAW,GAA4BA,CAAA,KAAMhC,MAAM","ignoreList":[]}

package/dist/esm/Equivalence.js

@@ -0,0 +1,166 @@
+/**
+ * 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
+ */
+import { dual } from "./Function.js";
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+export 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
+ */
+export const strict = () => isStrictEquivalent;
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export const string = /*#__PURE__*/strict();
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export const number = /*#__PURE__*/strict();
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export const boolean = /*#__PURE__*/strict();
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export const bigint = /*#__PURE__*/strict();
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export const symbol = /*#__PURE__*/strict();
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+export const combine = /*#__PURE__*/dual(2, (self, that) => make((x, y) => self(x, y) && that(x, y)));
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+export const combineMany = /*#__PURE__*/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
+ */
+export const combineAll = collection => combineMany(isAlwaysEquivalent, collection);
+/**
+ * @category mapping
+ * @since 2.0.0
+ */
+export const mapInput = /*#__PURE__*/dual(2, (self, f) => make((x, y) => self(f(x), f(y))));
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export const Date = /*#__PURE__*/mapInput(number, date => date.getTime());
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+export const product = /*#__PURE__*/dual(2, (self, that) => make(([xa, xb], [ya, yb]) => self(xa, ya) && that(xb, yb)));
+/**
+ * @category combining
+ * @since 2.0.0
+ */
+export 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
+ */
+export 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.
+ *
+ * ```ts skip-type-checking
+ * [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
+ */
+export 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
+ */
+export 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
+ */
+export 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;
+  });
+};
+//# sourceMappingURL=Equivalence.js.map

package/dist/esm/Equivalence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Equivalence.js","names":["dual","make","isEquivalent","self","that","isStrictEquivalent","x","y","strict","string","number","boolean","bigint","symbol","combine","combineMany","collection","equivalence","isAlwaysEquivalent","_x","_y","combineAll","mapInput","f","Date","date","getTime","product","xa","xb","ya","yb","all","len","Math","min","length","collectionLength","productMany","slice","tuple","elements","array","item","i","isEq","struct","fields","keys","Object","key"],"sources":["../../src/Equivalence.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;AAOA,SAASA,IAAI,QAAQ,eAAe;AAmBpC;;;;AAIA,OAAO,MAAMC,IAAI,GAAOC,YAA2C,IAAqB,CAACC,IAAO,EAAEC,IAAO,KACvGD,IAAI,KAAKC,IAAI,IAAIF,YAAY,CAACC,IAAI,EAAEC,IAAI,CAAC;AAE3C,MAAMC,kBAAkB,GAAGA,CAACC,CAAU,EAAEC,CAAU,KAAKD,CAAC,KAAKC,CAAC;AAE9D;;;;;;AAMA,OAAO,MAAMC,MAAM,GAA4BA,CAAA,KAAMH,kBAAkB;AAEvE;;;;AAIA,OAAO,MAAMI,MAAM,gBAAwBD,MAAM,EAAE;AAEnD;;;;AAIA,OAAO,MAAME,MAAM,gBAAwBF,MAAM,EAAE;AAEnD;;;;AAIA,OAAO,MAAMG,OAAO,gBAAyBH,MAAM,EAAE;AAErD;;;;AAIA,OAAO,MAAMI,MAAM,gBAAwBJ,MAAM,EAAE;AAEnD;;;;AAIA,OAAO,MAAMK,MAAM,gBAAwBL,MAAM,EAAE;AAEnD;;;;AAIA,OAAO,MAAMM,OAAO,gBAWhBd,IAAI,CAAC,CAAC,EAAE,CAAIG,IAAoB,EAAEC,IAAoB,KAAqBH,IAAI,CAAC,CAACK,CAAC,EAAEC,CAAC,KAAKJ,IAAI,CAACG,CAAC,EAAEC,CAAC,CAAC,IAAIH,IAAI,CAACE,CAAC,EAAEC,CAAC,CAAC,CAAC,CAAC;AAExH;;;;AAIA,OAAO,MAAMQ,WAAW,gBAWpBf,IAAI,CAAC,CAAC,EAAE,CAAIG,IAAoB,EAAEa,UAAoC,KACxEf,IAAI,CAAC,CAACK,CAAC,EAAEC,CAAC,KAAI;EACZ,IAAI,CAACJ,IAAI,CAACG,CAAC,EAAEC,CAAC,CAAC,EAAE;IACf,OAAO,KAAK;EACd;EACA,KAAK,MAAMU,WAAW,IAAID,UAAU,EAAE;IACpC,IAAI,CAACC,WAAW,CAACX,CAAC,EAAEC,CAAC,CAAC,EAAE;MACtB,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC,CAAC,CAAC;AAEL,MAAMW,kBAAkB,GAAyBA,CAACC,EAAE,EAAEC,EAAE,KAAK,IAAI;AAEjE;;;;AAIA,OAAO,MAAMC,UAAU,GAAOL,UAAoC,IAChED,WAAW,CAACG,kBAAkB,EAAEF,UAAU,CAAC;AAE7C;;;;AAIA,OAAO,MAAMM,QAAQ,gBAWjBtB,IAAI,CACN,CAAC,EACD,CAAOG,IAAoB,EAAEoB,CAAc,KAAqBtB,IAAI,CAAC,CAACK,CAAC,EAAEC,CAAC,KAAKJ,IAAI,CAACoB,CAAC,CAACjB,CAAC,CAAC,EAAEiB,CAAC,CAAChB,CAAC,CAAC,CAAC,CAAC,CACjG;AAED;;;;AAIA,OAAO,MAAMiB,IAAI,gBAAsBF,QAAQ,CAACZ,MAAM,EAAGe,IAAI,IAAKA,IAAI,CAACC,OAAO,EAAE,CAAC;AAEjF;;;;AAIA,OAAO,MAAMC,OAAO,gBAGhB3B,IAAI,CACN,CAAC,EACD,CAAOG,IAAoB,EAAEC,IAAoB,KAC/CH,IAAI,CAAC,CAAC,CAAC2B,EAAE,EAAEC,EAAE,CAAC,EAAE,CAACC,EAAE,EAAEC,EAAE,CAAC,KAAK5B,IAAI,CAACyB,EAAE,EAAEE,EAAE,CAAC,IAAI1B,IAAI,CAACyB,EAAE,EAAEE,EAAE,CAAC,CAAC,CAC7D;AAED;;;;AAIA,OAAO,MAAMC,GAAG,GAAOhB,UAAoC,IAAmC;EAC5F,OAAOf,IAAI,CAAC,CAACK,CAAC,EAAEC,CAAC,KAAI;IACnB,MAAM0B,GAAG,GAAGC,IAAI,CAACC,GAAG,CAAC7B,CAAC,CAAC8B,MAAM,EAAE7B,CAAC,CAAC6B,MAAM,CAAC;IAExC,IAAIC,gBAAgB,GAAG,CAAC;IACxB,KAAK,MAAMpB,WAAW,IAAID,UAAU,EAAE;MACpC,IAAIqB,gBAAgB,IAAIJ,GAAG,EAAE;QAC3B;MACF;MACA,IAAI,CAAChB,WAAW,CAACX,CAAC,CAAC+B,gBAAgB,CAAC,EAAE9B,CAAC,CAAC8B,gBAAgB,CAAC,CAAC,EAAE;QAC1D,OAAO,KAAK;MACd;MACAA,gBAAgB,EAAE;IACpB;IACA,OAAO,IAAI;EACb,CAAC,CAAC;AACJ,CAAC;AAED;;;;AAIA,OAAO,MAAMC,WAAW,GAAGA,CACzBnC,IAAoB,EACpBa,UAAoC,KACuC;EAC3E,MAAMC,WAAW,GAAGe,GAAG,CAAChB,UAAU,CAAC;EACnC,OAAOf,IAAI,CAAC,CAACK,CAAC,EAAEC,CAAC,KAAK,CAACJ,IAAI,CAACG,CAAC,CAAC,CAAC,CAAC,EAAEC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAGU,WAAW,CAACX,CAAC,CAACiC,KAAK,CAAC,CAAC,CAAC,EAAEhC,CAAC,CAACgC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACxF,CAAC;AAED;;;;;;;;;;;;;AAaA,OAAO,MAAMC,KAAK,GAAGA,CACnB,GAAGC,QAAW,KACmFT,GAAG,CAACS,QAAQ,CAAQ;AAEvH;;;;;;AAMA,OAAO,MAAMC,KAAK,GAAOC,IAAoB,IAC3C1C,IAAI,CAAC,CAACE,IAAI,EAAEC,IAAI,KAAI;EAClB,IAAID,IAAI,CAACiC,MAAM,KAAKhC,IAAI,CAACgC,MAAM,EAAE;IAC/B,OAAO,KAAK;EACd;EAEA,KAAK,IAAIQ,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGzC,IAAI,CAACiC,MAAM,EAAEQ,CAAC,EAAE,EAAE;IACpC,MAAMC,IAAI,GAAGF,IAAI,CAACxC,IAAI,CAACyC,CAAC,CAAC,EAAExC,IAAI,CAACwC,CAAC,CAAC,CAAC;IACnC,IAAI,CAACC,IAAI,EAAE;MACT,OAAO,KAAK;IACd;EACF;EAEA,OAAO,IAAI;AACb,CAAC,CAAC;AAEJ;;;;;;;AAOA,OAAO,MAAMC,MAAM,GACjBC,MAAS,IACsF;EAC/F,MAAMC,IAAI,GAAGC,MAAM,CAACD,IAAI,CAACD,MAAM,CAAC;EAChC,OAAO9C,IAAI,CAAC,CAACE,IAAI,EAAEC,IAAI,KAAI;IACzB,KAAK,MAAM8C,GAAG,IAAIF,IAAI,EAAE;MACtB,IAAI,CAACD,MAAM,CAACG,GAAG,CAAC,CAAC/C,IAAI,CAAC+C,GAAG,CAAC,EAAE9C,IAAI,CAAC8C,GAAG,CAAC,CAAC,EAAE;QACtC,OAAO,KAAK;MACd;IACF;IACA,OAAO,IAAI;EACb,CAAC,CAAC;AACJ,CAAC","ignoreList":[]}

package/dist/esm/ExecutionPlan.js

@@ -0,0 +1,99 @@
+import * as Effect from "./Effect.js";
+import * as internal from "./internal/executionPlan.js";
+import * as Layer from "./Layer.js";
+import { pipeArguments } from "./Pipeable.js";
+/**
+ * @since 3.16.0
+ * @category Symbols
+ * @experimental
+ */
+export const TypeId = internal.TypeId;
+/**
+ * @since 3.16.0
+ * @category Guards
+ * @experimental
+ */
+export const isExecutionPlan = internal.isExecutionPlan;
+/**
+ * Create an `ExecutionPlan`, which can be used with `Effect.withExecutionPlan` or `Stream.withExecutionPlan`, allowing you to provide different resources for each step of execution until the effect succeeds or the plan is exhausted.
+ *
+ * ```ts
+ * import type { LanguageModel } from "@effect/ai"
+ * import type { Layer } from "effect"
+ * import { Effect, ExecutionPlan, Schedule } from "effect"
+ *
+ * declare const layerBad: Layer.Layer<LanguageModel.LanguageModel>
+ * declare const layerGood: Layer.Layer<LanguageModel.LanguageModel>
+ *
+ * const ThePlan = ExecutionPlan.make(
+ *   {
+ *     // First try with the bad layer 2 times with a 3 second delay between attempts
+ *     provide: layerBad,
+ *     attempts: 2,
+ *     schedule: Schedule.spaced(3000)
+ *   },
+ *   // Then try with the bad layer 3 times with a 1 second delay between attempts
+ *   {
+ *     provide: layerBad,
+ *     attempts: 3,
+ *     schedule: Schedule.spaced(1000)
+ *   },
+ *   // Finally try with the good layer.
+ *   //
+ *   // If `attempts` is omitted, the plan will only attempt once, unless a schedule is provided.
+ *   {
+ *     provide: layerGood
+ *   }
+ * )
+ *
+ * declare const effect: Effect.Effect<
+ *   void,
+ *   never,
+ *   LanguageModel.LanguageModel
+ * >
+ * const withPlan: Effect.Effect<void> = Effect.withExecutionPlan(effect, ThePlan)
+ * ```
+ *
+ * @since 3.16.0
+ * @category Constructors
+ * @experimental
+ */
+export const make = (...steps) => makeProto(steps.map((options, i) => {
+  if (options.attempts && options.attempts < 1) {
+    throw new Error(`ExecutionPlan.make: step[${i}].attempts must be greater than 0`);
+  }
+  return {
+    schedule: options.schedule,
+    attempts: options.attempts,
+    while: options.while ? input => Effect.suspend(() => {
+      const result = options.while(input);
+      return typeof result === "boolean" ? Effect.succeed(result) : result;
+    }) : undefined,
+    provide: options.provide
+  };
+}));
+const Proto = {
+  [TypeId]: TypeId,
+  get withRequirements() {
+    const self = this;
+    return Effect.contextWith(context => makeProto(self.steps.map(step => ({
+      ...step,
+      provide: Layer.isLayer(step.provide) ? Layer.provide(step.provide, Layer.succeedContext(context)) : step.provide
+    }))));
+  },
+  pipe() {
+    return pipeArguments(this, arguments);
+  }
+};
+const makeProto = steps => {
+  const self = Object.create(Proto);
+  self.steps = steps;
+  return self;
+};
+/**
+ * @since 3.16.0
+ * @category Combining
+ * @experimental
+ */
+export const merge = (...plans) => makeProto(plans.flatMap(plan => plan.steps));
+//# sourceMappingURL=ExecutionPlan.js.map

package/dist/esm/ExecutionPlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionPlan.js","names":["Effect","internal","Layer","pipeArguments","TypeId","isExecutionPlan","make","steps","makeProto","map","options","i","attempts","Error","schedule","while","input","suspend","result","succeed","undefined","provide","Proto","withRequirements","self","contextWith","context","step","isLayer","succeedContext","pipe","arguments","Object","create","merge","plans","flatMap","plan"],"sources":["../../src/ExecutionPlan.ts"],"sourcesContent":[null],"mappings":"AAMA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,QAAQ,MAAM,6BAA6B;AACvD,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,SAASC,aAAa,QAAQ,eAAe;AAG7C;;;;;AAKA,OAAO,MAAMC,MAAM,GAAkBH,QAAQ,CAACG,MAAM;AASpD;;;;;AAKA,OAAO,MAAMC,eAAe,GAA4CJ,QAAQ,CAACI,eAAe;AA6FhG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMC,IAAI,GAAGA,CAClB,GAAGC,KAAgD,KAanDC,SAAS,CAACD,KAAK,CAACE,GAAG,CAAC,CAACC,OAAO,EAAEC,CAAC,KAAI;EACjC,IAAID,OAAO,CAACE,QAAQ,IAAIF,OAAO,CAACE,QAAQ,GAAG,CAAC,EAAE;IAC5C,MAAM,IAAIC,KAAK,CAAC,4BAA4BF,CAAC,mCAAmC,CAAC;EACnF;EACA,OAAO;IACLG,QAAQ,EAAEJ,OAAO,CAACI,QAAQ;IAC1BF,QAAQ,EAAEF,OAAO,CAACE,QAAQ;IAC1BG,KAAK,EAAEL,OAAO,CAACK,KAAK,GACfC,KAAU,IACXhB,MAAM,CAACiB,OAAO,CAAC,MAAK;MAClB,MAAMC,MAAM,GAAGR,OAAO,CAACK,KAAM,CAACC,KAAK,CAAC;MACpC,OAAO,OAAOE,MAAM,KAAK,SAAS,GAAGlB,MAAM,CAACmB,OAAO,CAACD,MAAM,CAAC,GAAGA,MAAM;IACtE,CAAC,CAAC,GACFE,SAAS;IACbC,OAAO,EAAEX,OAAO,CAACW;GAClB;AACH,CAAC,CAAQ,CAAC;AAmEZ,MAAMC,KAAK,GAAsC;EAC/C,CAAClB,MAAM,GAAGA,MAAM;EAChB,IAAImB,gBAAgBA,CAAA;IAClB,MAAMC,IAAI,GAAG,IAAiC;IAC9C,OAAOxB,MAAM,CAACyB,WAAW,CAAEC,OAA6B,IACtDlB,SAAS,CAACgB,IAAI,CAACjB,KAAK,CAACE,GAAG,CAAEkB,IAAI,KAAM;MAClC,GAAGA,IAAI;MACPN,OAAO,EAAEnB,KAAK,CAAC0B,OAAO,CAACD,IAAI,CAACN,OAAO,CAAC,GAAGnB,KAAK,CAACmB,OAAO,CAACM,IAAI,CAACN,OAAO,EAAEnB,KAAK,CAAC2B,cAAc,CAACH,OAAO,CAAC,CAAC,GAAGC,IAAI,CAACN;KAC1G,CAAC,CAAQ,CAAC,CACZ;EACH,CAAC;EACDS,IAAIA,CAAA;IACF,OAAO3B,aAAa,CAAC,IAAI,EAAE4B,SAAS,CAAC;EACvC;CACD;AAED,MAAMvB,SAAS,GACbD,KAKW,IACT;EACF,MAAMiB,IAAI,GAAGQ,MAAM,CAACC,MAAM,CAACX,KAAK,CAAC;EACjCE,IAAI,CAACjB,KAAK,GAAGA,KAAK;EAClB,OAAOiB,IAAI;AACb,CAAC;AAED;;;;;AAKA,OAAO,MAAMU,KAAK,GAAGA,CACnB,GAAGC,KAAY,KAMX3B,SAAS,CAAC2B,KAAK,CAACC,OAAO,CAAEC,IAAI,IAAKA,IAAI,CAAC9B,KAAK,CAAQ,CAAC","ignoreList":[]}

package/dist/esm/ExecutionStrategy.js

@@ -0,0 +1,55 @@
+import * as internal from "./internal/executionStrategy.js";
+/**
+ * Execute effects sequentially.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const sequential = internal.sequential;
+/**
+ * Execute effects in parallel.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const parallel = internal.parallel;
+/**
+ * Execute effects in parallel, up to the specified number of concurrent fibers.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const parallelN = internal.parallelN;
+/**
+ * Returns `true` if the specified `ExecutionStrategy` is an instance of
+ * `Sequential`, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isSequential = internal.isSequential;
+/**
+ * Returns `true` if the specified `ExecutionStrategy` is an instance of
+ * `Sequential`, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isParallel = internal.isParallel;
+/**
+ * Returns `true` if the specified `ExecutionStrategy` is an instance of
+ * `Sequential`, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isParallelN = internal.isParallelN;
+/**
+ * Folds over the specified `ExecutionStrategy` using the provided case
+ * functions.
+ *
+ * @since 2.0.0
+ * @category folding
+ */
+export const match = internal.match;
+//# sourceMappingURL=ExecutionStrategy.js.map

package/dist/esm/ExecutionStrategy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionStrategy.js","names":["internal","sequential","parallel","parallelN","isSequential","isParallel","isParallelN","match"],"sources":["../../src/ExecutionStrategy.ts"],"sourcesContent":[null],"mappings":"AAIA,OAAO,KAAKA,QAAQ,MAAM,iCAAiC;AA6C3D;;;;;;AAMA,OAAO,MAAMC,UAAU,GAAsBD,QAAQ,CAACC,UAAU;AAEhE;;;;;;AAMA,OAAO,MAAMC,QAAQ,GAAsBF,QAAQ,CAACE,QAAQ;AAE5D;;;;;;AAMA,OAAO,MAAMC,SAAS,GAA+CH,QAAQ,CAACG,SAAS;AAEvF;;;;;;;AAOA,OAAO,MAAMC,YAAY,GAAoDJ,QAAQ,CAACI,YAAY;AAElG;;;;;;;AAOA,OAAO,MAAMC,UAAU,GAAkDL,QAAQ,CAACK,UAAU;AAE5F;;;;;;;AAOA,OAAO,MAAMC,WAAW,GAAmDN,QAAQ,CAACM,WAAW;AAE/F;;;;;;;AAOA,OAAO,MAAMC,KAAK,GA8BdP,QAAQ,CAACO,KAAK","ignoreList":[]}