effect 3.13.9 → 3.13.11

package/dist/esm/Option.js

@@ -18,11 +18,9 @@ export const TypeId = /*#__PURE__*/Symbol.for("effect/Option");
  * This means you can use it in place of any `Option<A>` regardless of the type
  * `A`.
  *
- * @see {@link some} for the opposite operation.
+ * **Example** (Creating an Option with No Value)
  *
- * @example
  * ```ts
- * // Title: Creating an Option with No Value
  * import { Option } from "effect"
  *
  * // An Option holding no value
@@ -35,6 +33,8 @@ export const TypeId = /*#__PURE__*/Symbol.for("effect/Option");
  * // Output: { _id: 'Option', _tag: 'None' }
  * ```
  *
+ * @see {@link some} for the opposite operation.
+ *
  * @category Constructors
  * @since 2.0.0
  */
@@ -42,11 +42,9 @@ export const none = () => option.none;
 /**
  * Wraps the given value into an `Option` to represent its presence.
  *
- * @see {@link none} for the opposite operation.
+ * **Example** (Creating an Option with a Value)
  *
- * @example
  * ```ts
- * // Title: Creating an Option with a Value
  * import { Option } from "effect"
  *
  * // An Option holding the number 1
@@ -59,6 +57,8 @@ export const none = () => option.none;
  * // Output: { _id: 'Option', _tag: 'Some', value: 1 }
  * ```
  *
+ * @see {@link none} for the opposite operation.
+ *
  * @category Constructors
  * @since 2.0.0
  */
@@ -94,8 +94,6 @@ export const isOption = option.isOption;
 /**
  * Checks whether an `Option` represents the absence of a value (`None`).
  *
- * @see {@link isSome} for the opposite check.
- *
  * @example
  * ```ts
  * import { Option } from "effect"
@@ -107,6 +105,8 @@ export const isOption = option.isOption;
  * // Output: true
  * ```
  *
+ * @see {@link isSome} for the opposite check.
+ *
  * @category Guards
  * @since 2.0.0
  */
@@ -114,8 +114,6 @@ export const isNone = option.isNone;
 /**
  * Checks whether an `Option` contains a value (`Some`).
  *
- * @see {@link isNone} for the opposite check.
- *
  * @example
  * ```ts
  * import { Option } from "effect"
@@ -127,6 +125,8 @@ export const isNone = option.isNone;
  * // Output: false
  * ```
  *
+ * @see {@link isNone} for the opposite check.
+ *
  * @category Guards
  * @since 2.0.0
  */
@@ -151,9 +151,9 @@ export const isSome = option.isSome;
  * without resorting to `if` or manual checks, making your code more declarative
  * and readable.
  *
- * @example
+ * **Example** (Pattern Matching with Option)
+ *
  * ```ts
- * // Title: Pattern Matching with Option
  * import { Option } from "effect"
  *
  * const foo = Option.some(1)
@@ -271,8 +271,6 @@ export const fromIterable = collection => {
  * using this function, you can convert `Either` into a simpler structure for
  * cases where error handling is not required.
  *
- * @see {@link getLeft} for the opposite operation.
- *
  * @example
  * ```ts
  * import { Either, Option } from "effect"
@@ -284,6 +282,8 @@ export const fromIterable = collection => {
  * // Output: { _id: 'Option', _tag: 'None' }
  * ```
  *
+ * @see {@link getLeft} for the opposite operation.
+ *
  * @category Conversions
  * @since 2.0.0
  */
@@ -304,8 +304,6 @@ export const getRight = either.getRight;
  * `Either` and want to handle it as an `Option`. By discarding the right value,
  * it simplifies error-focused workflows.
  *
- * @see {@link getRight} for the opposite operation.
- *
  * @example
  * ```ts
  * import { Either, Option } from "effect"
@@ -317,6 +315,8 @@ export const getRight = either.getRight;
  * // Output: { _id: 'Option', _tag: 'Some', value: 'err' }
  * ```
  *
+ * @see {@link getRight} for the opposite operation.
+ *
  * @category Conversions
  * @since 2.0.0
  */
@@ -337,9 +337,6 @@ export const getLeft = either.getLeft;
  * value. It is particularly useful for providing default values or alternative
  * logic when working with optional values.
  *
- * @see {@link getOrNull} for a version that returns `null` instead of executing a function.
- * @see {@link getOrUndefined} for a version that returns `undefined` instead of executing a function.
- *
  * @example
  * ```ts
  * import { Option } from "effect"
@@ -351,6 +348,9 @@ export const getLeft = either.getLeft;
  * // Output: 0
  * ```
  *
+ * @see {@link getOrNull} for a version that returns `null` instead of executing a function.
+ * @see {@link getOrUndefined} for a version that returns `undefined` instead of executing a function.
+ *
  * @category Getters
  * @since 2.0.0
  */
@@ -644,8 +644,6 @@ export const liftThrowable = f => (...a) => {
  * a fail-fast behavior for empty `Option` values and want to provide a custom
  * error message or object.
  *
- * @see {@link getOrThrow} for a version that throws a default error.
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -658,6 +656,8 @@ export const liftThrowable = f => (...a) => {
  * assert.throws(() => Option.getOrThrowWith(Option.none(), () => new Error('Unexpected None')))
  * ```
  *
+ * @see {@link getOrThrow} for a version that throws a default error.
+ *
  * @category Conversions
  * @since 2.0.0
  */
@@ -678,8 +678,6 @@ export const getOrThrowWith = /*#__PURE__*/dual(2, (self, onNone) => {
  * scenarios where the absence of a value is treated as an exceptional case and
  * a default error is sufficient.
  *
- * @see {@link getOrThrowWith} for a version that allows you to provide a custom error.
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -689,6 +687,8 @@ export const getOrThrowWith = /*#__PURE__*/dual(2, (self, onNone) => {
  * assert.throws(() => Option.getOrThrow(Option.none()))
  * ```
  *
+ * @see {@link getOrThrowWith} for a version that allows you to provide a custom error.
+ *
  * @category Conversions
  * @since 2.0.0
  */
@@ -1351,9 +1351,9 @@ export const filter = /*#__PURE__*/dual(2, (self, predicate) => filterMap(self,
  * - Two `Some` values are equivalent if their inner values are equivalent
  *   according to the provided `Equivalence`.
  *
- * @example
+ * **Example** (Comparing Optional Numbers for Equivalence)
+ *
  * ```ts
- * // Title: Comparing Optional Numbers for Equivalence
  * import { Number, Option } from "effect"
  *
  * const isEquivalent = Option.getEquivalence(Number.Equivalence)
@@ -1497,8 +1497,6 @@ export const liftPredicate = /*#__PURE__*/dual(2, (b, predicate) => predicate(b)
  * equivalence function returns `true`, the result is `true`. If the `Option` is
  * `None` or the values are not equivalent, the result is `false`.
  *
- * @see {@link contains} for a version that uses the default `Equivalence`.
- *
  * @example
  * ```ts
  * import { Number, Option } from "effect"
@@ -1515,6 +1513,8 @@ export const liftPredicate = /*#__PURE__*/dual(2, (b, predicate) => predicate(b)
  * // Output: false
  * ```
  *
+ * @see {@link contains} for a version that uses the default `Equivalence`.
+ *
  * @category Elements
  * @since 2.0.0
  */
@@ -1532,8 +1532,6 @@ const _equivalence = /*#__PURE__*/Equal.equivalence();
  * result is `true`. If the `Option` is `None` or the values are not equivalent,
  * the result is `false`.
  *
- * @see {@link containsWith} for a version that allows you to specify a custom equivalence function.
- *
  * @example
  * ```ts
  * import { Option } from "effect"
@@ -1548,6 +1546,8 @@ const _equivalence = /*#__PURE__*/Equal.equivalence();
  * // Output: false
  * ```
  *
+ * @see {@link containsWith} for a version that allows you to specify a custom equivalence function.
+ *
  * @category Elements
  * @since 2.0.0
  */
@@ -1599,10 +1599,6 @@ export const exists = /*#__PURE__*/dual(2, (self, refinement) => isNone(self) ?
  * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
  * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
  *
- * @see {@link Do}
- * @see {@link bind}
- * @see {@link let_ let}
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -1618,6 +1614,10 @@ export const exists = /*#__PURE__*/dual(2, (self, refinement) => isNone(self) ?
  * assert.deepStrictEqual(result, Option.some({ x: 2, y: 3, sum: 5 }))
  * ```
  *
+ * @see {@link Do}
+ * @see {@link bind}
+ * @see {@link let_ let}
+ *
  * @category Do notation
  * @since 2.0.0
  */
@@ -1635,10 +1635,6 @@ export {
  * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
  * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
  *
- * @see {@link Do}
- * @see {@link bind}
- * @see {@link bindTo}
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -1652,8 +1648,12 @@ export {
  *   Option.filter(({ x, y }) => x * y > 5)
  * )
  * assert.deepStrictEqual(result, Option.some({ x: 2, y: 3, sum: 5 }))
- *
  * ```
+ *
+ * @see {@link Do}
+ * @see {@link bind}
+ * @see {@link bindTo}
+ *
  * @category Do notation
  * @since 2.0.0
  */
@@ -1669,10 +1669,6 @@ let_ as let };
  * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
  * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
  *
- * @see {@link Do}
- * @see {@link bindTo}
- * @see {@link let_ let}
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -1688,6 +1684,10 @@ let_ as let };
  * assert.deepStrictEqual(result, Option.some({ x: 2, y: 3, sum: 5 }))
  * ```
  *
+ * @see {@link Do}
+ * @see {@link bindTo}
+ * @see {@link let_ let}
+ *
  * @category Do notation
  * @since 2.0.0
  */
@@ -1703,10 +1703,6 @@ export const bind = /*#__PURE__*/doNotation.bind(map, flatMap);
  * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
  * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
  *
- * @see {@link bindTo}
- * @see {@link bind}
- * @see {@link let_ let}
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -1722,6 +1718,10 @@ export const bind = /*#__PURE__*/doNotation.bind(map, flatMap);
  * assert.deepStrictEqual(result, Option.some({ x: 2, y: 3, sum: 5 }))
  * ```
  *
+ * @see {@link bindTo}
+ * @see {@link bind}
+ * @see {@link let_ let}
+ *
  * @category Do notation
  * @since 2.0.0
  */
@@ -1733,9 +1733,9 @@ const adapter = /*#__PURE__*/Gen.adapter();
  * involves `Option` easier to write and understand. This approach is similar to
  * using `async/await` but tailored for `Option`.
  *
- * @example
+ * **Example** (Using `Option.gen` to Create a Combined Value)
+ *
  * ```ts
- * // Title: Using Option.gen to Create a Combined Value
  * import { Option } from "effect"
  *
  * const maybeName: Option.Option<string> = Option.some("John")

package/dist/esm/Predicate.js

@@ -211,6 +211,9 @@ export const isBigInt = input => typeof input === "bigint";
  * @since 2.0.0
  */
 export const isSymbol = input => typeof input === "symbol";
+// TODO: make public
+/** @internal */
+export const isPropertyKey = u => isString(u) || isNumber(u) || isSymbol(u);
 /**
  * Tests if a value is a `function`.
  *

package/dist/esm/Predicate.js.map

@@ -1 +1 @@
-{"version":3,"file":"Predicate.js","names":["dual","isFunction","isFunction_","mapInput","self","f","b","isTupleOf","n","length","isTupleOfAtLeast","isTruthy","input","isSet","Set","isMap","Map","isString","isNumber","isBoolean","isBigInt","isSymbol","isUndefined","undefined","isNotUndefined","isNull","isNotNull","isNever","_","isUnknown","isRecordOrArray","isObject","hasProperty","property","isTagged","tag","isNullable","isNotNullable","isError","Error","isUint8Array","Uint8Array","isDate","Date","isIterable","Symbol","iterator","isRecord","Array","isArray","isReadonlyRecord","isPromise","then","catch","isPromiseLike","isRegExp","RegExp","compose","ab","bc","a","product","that","all","collection","as","collectionIndex","p","productMany","rest","head","tail","tuple","elements","struct","fields","keys","Object","key","not","or","and","xor","eqv","implies","antecedent","consequent","nor","nand","every","some"],"sources":["../../src/Predicate.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,SAASA,IAAI,EAAEC,UAAU,IAAIC,WAAW,QAAQ,eAAe;AAmE/D;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMC,QAAQ,gBAyCjBH,IAAI,CAAC,CAAC,EAAE,CAAOI,IAAkB,EAAEC,CAAc,KAAoBC,CAAC,IAAKF,IAAI,CAACC,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AAE1F;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAMC,SAAS,gBAmDlBP,IAAI,CAAC,CAAC,EAAE,CAAsBI,IAAsB,EAAEI,CAAI,KAA4BJ,IAAI,CAACK,MAAM,KAAKD,CAAC,CAAC;AAE5G;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAME,gBAAgB,gBAmDzBV,IAAI,CAAC,CAAC,EAAE,CAAsBI,IAAsB,EAAEI,CAAI,KAAmCJ,IAAI,CAACK,MAAM,IAAID,CAAC,CAAC;AAElH;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMG,QAAQ,GAAIC,KAAc,IAAK,CAAC,CAACA,KAAK;AAEnD;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,KAAK,GAAID,KAAc,IAA4BA,KAAK,YAAYE,GAAG;AAEpF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,KAAK,GAAIH,KAAc,IAAqCA,KAAK,YAAYI,GAAG;AAE7F;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMC,QAAQ,GAAIL,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMM,QAAQ,GAAIN,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMO,SAAS,GAAIP,KAAc,IAAuB,OAAOA,KAAK,KAAK,SAAS;AAEzF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMQ,QAAQ,GAAIR,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMS,QAAQ,GAAIT,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMX,UAAU,GAA0CC,WAAW;AAE5E;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMoB,WAAW,GAAIV,KAAc,IAAyBA,KAAK,KAAKW,SAAS;AAEtF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,cAAc,GAAOZ,KAAQ,IAAqCA,KAAK,KAAKW,SAAS;AAElG;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAME,MAAM,GAAIb,KAAc,IAAoBA,KAAK,KAAK,IAAI;AAEvE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMc,SAAS,GAAOd,KAAQ,IAAgCA,KAAK,KAAK,IAAI;AAEnF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMe,OAAO,GAAwCC,CAAU,IAAiB,KAAK;AAE5F;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,SAAS,GAA0CD,CAAC,IAAmB,IAAI;AAExF;AACA,OAAO,MAAME,eAAe,GAAIlB,KAAc,IAC5C,OAAOA,KAAK,KAAK,QAAQ,IAAIA,KAAK,KAAK,IAAI;AAE7C;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMmB,QAAQ,GAAInB,KAAc,IAAsBkB,eAAe,CAAClB,KAAK,CAAC,IAAIX,UAAU,CAACW,KAAK,CAAC;AAExG;;;;;;AAMA,OAAO,MAAMoB,WAAW,gBAepBhC,IAAI,CACN,CAAC,EACD,CAAwBI,IAAa,EAAE6B,QAAW,KAChDF,QAAQ,CAAC3B,IAAI,CAAC,IAAK6B,QAAQ,IAAI7B,IAAK,CACvC;AAED;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAM8B,QAAQ,gBAyCjBlC,IAAI,CACN,CAAC,EACD,CAAmBI,IAAa,EAAE+B,GAAM,KAA0BH,WAAW,CAAC5B,IAAI,EAAE,MAAM,CAAC,IAAIA,IAAI,CAAC,MAAM,CAAC,KAAK+B,GAAG,CACpH;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,UAAU,GAAOxB,KAAQ,IAA4CA,KAAK,KAAK,IAAI,IAAIA,KAAK,KAAKW,SAAS;AAEvH;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMc,aAAa,GAAOzB,KAAQ,IAA8BA,KAAK,KAAK,IAAI,IAAIA,KAAK,KAAKW,SAAS;AAE5G;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMe,OAAO,GAAI1B,KAAc,IAAqBA,KAAK,YAAY2B,KAAK;AAEjF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,YAAY,GAAI5B,KAAc,IAA0BA,KAAK,YAAY6B,UAAU;AAEhG;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,MAAM,GAAI9B,KAAc,IAAoBA,KAAK,YAAY+B,IAAI;AAE9E;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,UAAU,GAAIhC,KAAc,IAAiCoB,WAAW,CAACpB,KAAK,EAAEiC,MAAM,CAACC,QAAQ,CAAC;AAE7G;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,QAAQ,GAAInC,KAAc,IACrCkB,eAAe,CAAClB,KAAK,CAAC,IAAI,CAACoC,KAAK,CAACC,OAAO,CAACrC,KAAK,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMsC,gBAAgB,GAE8BH,QAAQ;AAEnE;;;;;;;;;;;;;;;AAeA,OAAO,MAAMI,SAAS,GACpBvC,KAAc,IAEdoB,WAAW,CAACpB,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,IAAIA,KAAK,IAAIX,UAAU,CAACW,KAAK,CAACwC,IAAI,CAAC,IAAInD,UAAU,CAACW,KAAK,CAACyC,KAAK,CAAC;AAErG;;;;AAIA,OAAO,MAAMC,aAAa,GACxB1C,KAAc,IACoBoB,WAAW,CAACpB,KAAK,EAAE,MAAM,CAAC,IAAIX,UAAU,CAACW,KAAK,CAACwC,IAAI,CAAC;AAExF;;;;;;;;;;;;;;;AAeA,OAAO,MAAMG,QAAQ,GAAI3C,KAAc,IAAsBA,KAAK,YAAY4C,MAAM;AAEpF;;;AAGA,OAAO,MAAMC,OAAO,gBAiBhBzD,IAAI,CACN,CAAC,EACD,CAA8B0D,EAAoB,EAAEC,EAAoB,KAAwBC,CAAC,IAC/FF,EAAE,CAACE,CAAC,CAAC,IAAID,EAAE,CAACC,CAAC,CAAC,CACjB;AAED;;;;AAIA,OAAO,MAAMC,OAAO,GAClBA,CAAOzD,IAAkB,EAAE0D,IAAkB,KAC7C,CAAC,CAACF,CAAC,EAAEtD,CAAC,CAAC,KAAKF,IAAI,CAACwD,CAAC,CAAC,IAAIE,IAAI,CAACxD,CAAC,CAAC;AAEhC;;;;AAIA,OAAO,MAAMyD,GAAG,GACdC,UAAkC,IACH;EAC/B,OAAQC,EAAE,IAAI;IACZ,IAAIC,eAAe,GAAG,CAAC;IACvB,KAAK,MAAMC,CAAC,IAAIH,UAAU,EAAE;MAC1B,IAAIE,eAAe,IAAID,EAAE,CAACxD,MAAM,EAAE;QAChC;MACF;MACA,IAAI0D,CAAC,CAACF,EAAE,CAACC,eAAe,CAAC,CAAC,KAAK,KAAK,EAAE;QACpC,OAAO,KAAK;MACd;MACAA,eAAe,EAAE;IACnB;IACA,OAAO,IAAI;EACb,CAAC;AACH,CAAC;AAED;;;;AAIA,OAAO,MAAME,WAAW,GAAGA,CACzBhE,IAAkB,EAClB4D,UAAkC,KAC2C;EAC7E,MAAMK,IAAI,GAAGN,GAAG,CAACC,UAAU,CAAC;EAC5B,OAAO,CAAC,CAACM,IAAI,EAAE,GAAGC,IAAI,CAAC,KAAKnE,IAAI,CAACkE,IAAI,CAAC,KAAK,KAAK,GAAG,KAAK,GAAGD,IAAI,CAACE,IAAI,CAAC;AACvE,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAMC,KAAK,GAiBdA,CAAC,GAAGC,QAAsC,KAAKV,GAAG,CAACU,QAAQ,CAAQ;AAEvE;;;;;;;;;AASA,OAAO,MAAMC,MAAM,GAgB4BC,MAAS,IAAI;EAC1D,MAAMC,IAAI,GAAGC,MAAM,CAACD,IAAI,CAACD,MAAM,CAAC;EAChC,OAAQf,CAA0B,IAAI;IACpC,KAAK,MAAMkB,GAAG,IAAIF,IAAI,EAAE;MACtB,IAAI,CAACD,MAAM,CAACG,GAAG,CAAC,CAAClB,CAAC,CAACkB,GAAG,CAAU,CAAC,EAAE;QACjC,OAAO,KAAK;MACd;IACF;IACA,OAAO,IAAI;EACb,CAAC;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,GAAG,GAAO3E,IAAkB,IAAoBwD,CAAC,IAAK,CAACxD,IAAI,CAACwD,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMoB,EAAE,gBA6EXhF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE0D,IAAkB,KAAoBF,CAAC,IAAKxD,IAAI,CAACwD,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMqB,GAAG,gBAyFZjF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE0D,IAAkB,KAAoBF,CAAC,IAAKxD,IAAI,CAACwD,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEnG;;;;AAIA,OAAO,MAAMsB,GAAG,gBAWZlF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE0D,IAAkB,KAAoBF,CAAC,IAAKxD,IAAI,CAACwD,CAAC,CAAC,KAAKE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEpG;;;;AAIA,OAAO,MAAMuB,GAAG,gBAWZnF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE0D,IAAkB,KAAoBF,CAAC,IAAKxD,IAAI,CAACwD,CAAC,CAAC,KAAKE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEpG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CA,OAAO,MAAMwB,OAAO,gBAiGhBpF,IAAI,CACN,CAAC,EACD,CAAIqF,UAAwB,EAAEC,UAAwB,KAAoB1B,CAAC,IAAKyB,UAAU,CAACzB,CAAC,CAAC,GAAG0B,UAAU,CAAC1B,CAAC,CAAC,GAAG,IAAI,CACrH;AAED;;;;AAIA,OAAO,MAAM2B,GAAG,gBAWZvF,IAAI,CACN,CAAC,EACD,CAAII,IAAkB,EAAE0D,IAAkB,KAAoBF,CAAC,IAAK,EAAExD,IAAI,CAACwD,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC,CAC1F;AAED;;;;AAIA,OAAO,MAAM4B,IAAI,gBAWbxF,IAAI,CACN,CAAC,EACD,CAAII,IAAkB,EAAE0D,IAAkB,KAAoBF,CAAC,IAAK,EAAExD,IAAI,CAACwD,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC,CAC1F;AAED;;;;AAIA,OAAO,MAAM6B,KAAK,GAAOzB,UAAkC,IAAoBJ,CAAI,IAAI;EACrF,KAAK,MAAMO,CAAC,IAAIH,UAAU,EAAE;IAC1B,IAAI,CAACG,CAAC,CAACP,CAAC,CAAC,EAAE;MACT,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC;AAED;;;;AAIA,OAAO,MAAM8B,IAAI,GAAO1B,UAAkC,IAAoBJ,CAAC,IAAI;EACjF,KAAK,MAAMO,CAAC,IAAIH,UAAU,EAAE;IAC1B,IAAIG,CAAC,CAACP,CAAC,CAAC,EAAE;MACR,OAAO,IAAI;IACb;EACF;EACA,OAAO,KAAK;AACd,CAAC","ignoreList":[]}
+{"version":3,"file":"Predicate.js","names":["dual","isFunction","isFunction_","mapInput","self","f","b","isTupleOf","n","length","isTupleOfAtLeast","isTruthy","input","isSet","Set","isMap","Map","isString","isNumber","isBoolean","isBigInt","isSymbol","isPropertyKey","u","isUndefined","undefined","isNotUndefined","isNull","isNotNull","isNever","_","isUnknown","isRecordOrArray","isObject","hasProperty","property","isTagged","tag","isNullable","isNotNullable","isError","Error","isUint8Array","Uint8Array","isDate","Date","isIterable","Symbol","iterator","isRecord","Array","isArray","isReadonlyRecord","isPromise","then","catch","isPromiseLike","isRegExp","RegExp","compose","ab","bc","a","product","that","all","collection","as","collectionIndex","p","productMany","rest","head","tail","tuple","elements","struct","fields","keys","Object","key","not","or","and","xor","eqv","implies","antecedent","consequent","nor","nand","every","some"],"sources":["../../src/Predicate.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,SAASA,IAAI,EAAEC,UAAU,IAAIC,WAAW,QAAQ,eAAe;AAmE/D;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMC,QAAQ,gBAyCjBH,IAAI,CAAC,CAAC,EAAE,CAAOI,IAAkB,EAAEC,CAAc,KAAoBC,CAAC,IAAKF,IAAI,CAACC,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AAE1F;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAMC,SAAS,gBAmDlBP,IAAI,CAAC,CAAC,EAAE,CAAsBI,IAAsB,EAAEI,CAAI,KAA4BJ,IAAI,CAACK,MAAM,KAAKD,CAAC,CAAC;AAE5G;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAME,gBAAgB,gBAmDzBV,IAAI,CAAC,CAAC,EAAE,CAAsBI,IAAsB,EAAEI,CAAI,KAAmCJ,IAAI,CAACK,MAAM,IAAID,CAAC,CAAC;AAElH;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMG,QAAQ,GAAIC,KAAc,IAAK,CAAC,CAACA,KAAK;AAEnD;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,KAAK,GAAID,KAAc,IAA4BA,KAAK,YAAYE,GAAG;AAEpF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,KAAK,GAAIH,KAAc,IAAqCA,KAAK,YAAYI,GAAG;AAE7F;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMC,QAAQ,GAAIL,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMM,QAAQ,GAAIN,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMO,SAAS,GAAIP,KAAc,IAAuB,OAAOA,KAAK,KAAK,SAAS;AAEzF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMQ,QAAQ,GAAIR,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMS,QAAQ,GAAIT,KAAc,IAAsB,OAAOA,KAAK,KAAK,QAAQ;AAEtF;AACA;AACA,OAAO,MAAMU,aAAa,GAAIC,CAAU,IAAuBN,QAAQ,CAACM,CAAC,CAAC,IAAIL,QAAQ,CAACK,CAAC,CAAC,IAAIF,QAAQ,CAACE,CAAC,CAAC;AAExG;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMtB,UAAU,GAA0CC,WAAW;AAE5E;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMsB,WAAW,GAAIZ,KAAc,IAAyBA,KAAK,KAAKa,SAAS;AAEtF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,cAAc,GAAOd,KAAQ,IAAqCA,KAAK,KAAKa,SAAS;AAElG;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAME,MAAM,GAAIf,KAAc,IAAoBA,KAAK,KAAK,IAAI;AAEvE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMgB,SAAS,GAAOhB,KAAQ,IAAgCA,KAAK,KAAK,IAAI;AAEnF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMiB,OAAO,GAAwCC,CAAU,IAAiB,KAAK;AAE5F;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,SAAS,GAA0CD,CAAC,IAAmB,IAAI;AAExF;AACA,OAAO,MAAME,eAAe,GAAIpB,KAAc,IAC5C,OAAOA,KAAK,KAAK,QAAQ,IAAIA,KAAK,KAAK,IAAI;AAE7C;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMqB,QAAQ,GAAIrB,KAAc,IAAsBoB,eAAe,CAACpB,KAAK,CAAC,IAAIX,UAAU,CAACW,KAAK,CAAC;AAExG;;;;;;AAMA,OAAO,MAAMsB,WAAW,gBAepBlC,IAAI,CACN,CAAC,EACD,CAAwBI,IAAa,EAAE+B,QAAW,KAChDF,QAAQ,CAAC7B,IAAI,CAAC,IAAK+B,QAAQ,IAAI/B,IAAK,CACvC;AAED;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMgC,QAAQ,gBAyCjBpC,IAAI,CACN,CAAC,EACD,CAAmBI,IAAa,EAAEiC,GAAM,KAA0BH,WAAW,CAAC9B,IAAI,EAAE,MAAM,CAAC,IAAIA,IAAI,CAAC,MAAM,CAAC,KAAKiC,GAAG,CACpH;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,UAAU,GAAO1B,KAAQ,IAA4CA,KAAK,KAAK,IAAI,IAAIA,KAAK,KAAKa,SAAS;AAEvH;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMc,aAAa,GAAO3B,KAAQ,IAA8BA,KAAK,KAAK,IAAI,IAAIA,KAAK,KAAKa,SAAS;AAE5G;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMe,OAAO,GAAI5B,KAAc,IAAqBA,KAAK,YAAY6B,KAAK;AAEjF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,YAAY,GAAI9B,KAAc,IAA0BA,KAAK,YAAY+B,UAAU;AAEhG;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,MAAM,GAAIhC,KAAc,IAAoBA,KAAK,YAAYiC,IAAI;AAE9E;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,UAAU,GAAIlC,KAAc,IAAiCsB,WAAW,CAACtB,KAAK,EAAEmC,MAAM,CAACC,QAAQ,CAAC;AAE7G;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,QAAQ,GAAIrC,KAAc,IACrCoB,eAAe,CAACpB,KAAK,CAAC,IAAI,CAACsC,KAAK,CAACC,OAAO,CAACvC,KAAK,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMwC,gBAAgB,GAE8BH,QAAQ;AAEnE;;;;;;;;;;;;;;;AAeA,OAAO,MAAMI,SAAS,GACpBzC,KAAc,IAEdsB,WAAW,CAACtB,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,IAAIA,KAAK,IAAIX,UAAU,CAACW,KAAK,CAAC0C,IAAI,CAAC,IAAIrD,UAAU,CAACW,KAAK,CAAC2C,KAAK,CAAC;AAErG;;;;AAIA,OAAO,MAAMC,aAAa,GACxB5C,KAAc,IACoBsB,WAAW,CAACtB,KAAK,EAAE,MAAM,CAAC,IAAIX,UAAU,CAACW,KAAK,CAAC0C,IAAI,CAAC;AAExF;;;;;;;;;;;;;;;AAeA,OAAO,MAAMG,QAAQ,GAAI7C,KAAc,IAAsBA,KAAK,YAAY8C,MAAM;AAEpF;;;AAGA,OAAO,MAAMC,OAAO,gBAiBhB3D,IAAI,CACN,CAAC,EACD,CAA8B4D,EAAoB,EAAEC,EAAoB,KAAwBC,CAAC,IAC/FF,EAAE,CAACE,CAAC,CAAC,IAAID,EAAE,CAACC,CAAC,CAAC,CACjB;AAED;;;;AAIA,OAAO,MAAMC,OAAO,GAClBA,CAAO3D,IAAkB,EAAE4D,IAAkB,KAC7C,CAAC,CAACF,CAAC,EAAExD,CAAC,CAAC,KAAKF,IAAI,CAAC0D,CAAC,CAAC,IAAIE,IAAI,CAAC1D,CAAC,CAAC;AAEhC;;;;AAIA,OAAO,MAAM2D,GAAG,GACdC,UAAkC,IACH;EAC/B,OAAQC,EAAE,IAAI;IACZ,IAAIC,eAAe,GAAG,CAAC;IACvB,KAAK,MAAMC,CAAC,IAAIH,UAAU,EAAE;MAC1B,IAAIE,eAAe,IAAID,EAAE,CAAC1D,MAAM,EAAE;QAChC;MACF;MACA,IAAI4D,CAAC,CAACF,EAAE,CAACC,eAAe,CAAC,CAAC,KAAK,KAAK,EAAE;QACpC,OAAO,KAAK;MACd;MACAA,eAAe,EAAE;IACnB;IACA,OAAO,IAAI;EACb,CAAC;AACH,CAAC;AAED;;;;AAIA,OAAO,MAAME,WAAW,GAAGA,CACzBlE,IAAkB,EAClB8D,UAAkC,KAC2C;EAC7E,MAAMK,IAAI,GAAGN,GAAG,CAACC,UAAU,CAAC;EAC5B,OAAO,CAAC,CAACM,IAAI,EAAE,GAAGC,IAAI,CAAC,KAAKrE,IAAI,CAACoE,IAAI,CAAC,KAAK,KAAK,GAAG,KAAK,GAAGD,IAAI,CAACE,IAAI,CAAC;AACvE,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAMC,KAAK,GAiBdA,CAAC,GAAGC,QAAsC,KAAKV,GAAG,CAACU,QAAQ,CAAQ;AAEvE;;;;;;;;;AASA,OAAO,MAAMC,MAAM,GAgB4BC,MAAS,IAAI;EAC1D,MAAMC,IAAI,GAAGC,MAAM,CAACD,IAAI,CAACD,MAAM,CAAC;EAChC,OAAQf,CAA0B,IAAI;IACpC,KAAK,MAAMkB,GAAG,IAAIF,IAAI,EAAE;MACtB,IAAI,CAACD,MAAM,CAACG,GAAG,CAAC,CAAClB,CAAC,CAACkB,GAAG,CAAU,CAAC,EAAE;QACjC,OAAO,KAAK;MACd;IACF;IACA,OAAO,IAAI;EACb,CAAC;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,GAAG,GAAO7E,IAAkB,IAAoB0D,CAAC,IAAK,CAAC1D,IAAI,CAAC0D,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMoB,EAAE,gBA6EXlF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE4D,IAAkB,KAAoBF,CAAC,IAAK1D,IAAI,CAAC0D,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMqB,GAAG,gBAyFZnF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE4D,IAAkB,KAAoBF,CAAC,IAAK1D,IAAI,CAAC0D,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEnG;;;;AAIA,OAAO,MAAMsB,GAAG,gBAWZpF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE4D,IAAkB,KAAoBF,CAAC,IAAK1D,IAAI,CAAC0D,CAAC,CAAC,KAAKE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEpG;;;;AAIA,OAAO,MAAMuB,GAAG,gBAWZrF,IAAI,CAAC,CAAC,EAAE,CAAII,IAAkB,EAAE4D,IAAkB,KAAoBF,CAAC,IAAK1D,IAAI,CAAC0D,CAAC,CAAC,KAAKE,IAAI,CAACF,CAAC,CAAC,CAAC;AAEpG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CA,OAAO,MAAMwB,OAAO,gBAiGhBtF,IAAI,CACN,CAAC,EACD,CAAIuF,UAAwB,EAAEC,UAAwB,KAAoB1B,CAAC,IAAKyB,UAAU,CAACzB,CAAC,CAAC,GAAG0B,UAAU,CAAC1B,CAAC,CAAC,GAAG,IAAI,CACrH;AAED;;;;AAIA,OAAO,MAAM2B,GAAG,gBAWZzF,IAAI,CACN,CAAC,EACD,CAAII,IAAkB,EAAE4D,IAAkB,KAAoBF,CAAC,IAAK,EAAE1D,IAAI,CAAC0D,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC,CAC1F;AAED;;;;AAIA,OAAO,MAAM4B,IAAI,gBAWb1F,IAAI,CACN,CAAC,EACD,CAAII,IAAkB,EAAE4D,IAAkB,KAAoBF,CAAC,IAAK,EAAE1D,IAAI,CAAC0D,CAAC,CAAC,IAAIE,IAAI,CAACF,CAAC,CAAC,CAAC,CAC1F;AAED;;;;AAIA,OAAO,MAAM6B,KAAK,GAAOzB,UAAkC,IAAoBJ,CAAI,IAAI;EACrF,KAAK,MAAMO,CAAC,IAAIH,UAAU,EAAE;IAC1B,IAAI,CAACG,CAAC,CAACP,CAAC,CAAC,EAAE;MACT,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC;AAED;;;;AAIA,OAAO,MAAM8B,IAAI,GAAO1B,UAAkC,IAAoBJ,CAAC,IAAI;EACjF,KAAK,MAAMO,CAAC,IAAIH,UAAU,EAAE;IAC1B,IAAIG,CAAC,CAACP,CAAC,CAAC,EAAE;MACR,OAAO,IAAI;IACb;EACF;EACA,OAAO,KAAK;AACd,CAAC","ignoreList":[]}

package/dist/esm/Schema.js

@@ -1297,7 +1297,7 @@ const lazilyMergeDefaults = (fields, out) => {
   }
   return out;
 };
-const makeTypeLiteralClass = (fields, records, ast = getDefaultTypeLiteralAST(fields, records)) => {
+function makeTypeLiteralClass(fields, records, ast = getDefaultTypeLiteralAST(fields, records)) {
   return class TypeLiteralClass extends make(ast) {
     static annotations(annotations) {
       return makeTypeLiteralClass(this.fields, this.records, mergeSchemaAnnotations(this.ast, annotations));
@@ -1319,7 +1319,7 @@ const makeTypeLiteralClass = (fields, records, ast = getDefaultTypeLiteralAST(fi
       return Struct(struct_.omit(fields, ...keys));
     }
   };
-};
+}
 export function Struct(fields, ...records) {
   return makeTypeLiteralClass(fields, records);
 }
@@ -1328,8 +1328,6 @@ export function Struct(fields, ...records) {
  * A tag is a literal value that is used to distinguish between different types of objects.
  * The tag is optional when using the `make` method.
  *
- * @see {@link TaggedStruct}
- *
  * @example
  * ```ts
  * import * as assert from "node:assert"
@@ -1344,6 +1342,8 @@ export function Struct(fields, ...records) {
  * assert.deepStrictEqual(User.make({ name: "John", age: 44 }), { _tag: "User", name: "John", age: 44 })
  * ```
  *
+ * @see {@link TaggedStruct}
+ *
  * @since 3.10.0
  */
 export const tag = tag => Literal(tag).pipe(propertySignature, withConstructorDefault(() => tag));
@@ -1372,16 +1372,18 @@ export const TaggedStruct = (value, fields) => Struct({
   _tag: tag(value),
   ...fields
 });
-const makeRecordClass = (key, value, ast) => class RecordClass extends makeTypeLiteralClass({}, [{
-  key,
-  value
-}], ast) {
-  static annotations(annotations) {
-    return makeRecordClass(key, value, mergeSchemaAnnotations(this.ast, annotations));
-  }
-  static key = key;
-  static value = value;
-};
+function makeRecordClass(key, value, ast) {
+  return class RecordClass extends makeTypeLiteralClass({}, [{
+    key,
+    value
+  }], ast) {
+    static annotations(annotations) {
+      return makeRecordClass(key, value, mergeSchemaAnnotations(this.ast, annotations));
+    }
+    static key = key;
+    static value = value;
+  };
+}
 /**
  * @category constructors
  * @since 3.10.0
@@ -4979,7 +4981,8 @@ const makeClass = ({
       value() {
         return `${identifier}({ ${util_.ownKeys(fields).map(p => `${util_.formatPropertyKey(p)}: ${util_.formatUnknown(this[p])}`).join(", ")} })`;
       },
-      configurable: true
+      configurable: true,
+      writable: true
     });
   }
   return klass;
@@ -5530,6 +5533,7 @@ export function SortedSet(value, ordA) {
  * Uses `!!val` to coerce the value to a `boolean`.
  *
  * @see https://developer.mozilla.org/docs/Glossary/Truthy
+ *
  * @category boolean constructors
  * @since 3.10.0
  */
@@ -5836,8 +5840,8 @@ const go = (ast, path) => {
           let bStringKeys;
           for (let i = 0; i < indexSignatures.length; i++) {
             const is = ast.indexSignatures[i];
-            const base = AST.getParameterBase(is.parameter);
-            const isSymbol = AST.isSymbolKeyword(base);
+            const encodedParameter = AST.getEncodedParameter(is.parameter);
+            const isSymbol = AST.isSymbolKeyword(encodedParameter);
             if (isSymbol) {
               bSymbolKeys = bSymbolKeys || Object.getOwnPropertySymbols(b);
               if (aSymbolKeys.length !== bSymbolKeys.length) {