effect 4.0.0-beta.78 → 4.0.0-beta.79

package/dist/UndefinedOr.d.ts

@@ -1,59 +1,12 @@
 /**
- * The `UndefinedOr` module works with plain TypeScript values of type
- * `A | undefined` where `undefined` is the only absence marker. It is a small
- * alternative to wrapping values in `Option` when your domain already uses
- * `undefined` to mean "no value".
- *
- * **Mental model**
- *
- * - A defined value is the present branch.
- * - `undefined` is reserved for absence; the payload type `A` should not itself
- *   include `undefined`.
- * - Helpers such as {@link map} and {@link match} keep values unwrapped and use
- *   `undefined` directly instead of allocating tagged values.
- * - The fail-fast combiner and reducer helpers propagate `undefined` when a
- *   required value is missing.
- *
- * **Common tasks**
- *
- * - Transform a present value: {@link map}
- * - Branch on present versus absent: {@link match}
- * - Unwrap at a boundary: {@link getOrThrow}, {@link getOrThrowWith}
- * - Adapt throwing code to an optional result: {@link liftThrowable}
- * - Lift combination and reduction logic: {@link makeReducer},
- *   {@link makeCombinerFailFast}, {@link makeReducerFailFast}
- *
- * **Gotchas**
- *
- * - `A | undefined` cannot distinguish "missing" from "present and
- *   undefined". Use `Option` when that distinction matters.
- * - {@link liftThrowable} discards the thrown value and also returns
- *   `undefined` when the wrapped function throws.
- *
- * **Example** (Parsing optional input)
- *
- * ```ts
- * import { UndefinedOr } from "effect"
- *
- * const parseInteger = UndefinedOr.liftThrowable((input: string) => {
- *   const value = Number.parseInt(input, 10)
- *   if (Number.isNaN(value)) {
- *     throw new Error("not an integer")
- *   }
- *   return value
- * })
- *
- * console.log(UndefinedOr.map(parseInteger("42"), (n) => n + 1))
- * // 43
- *
- * console.log(
- *   UndefinedOr.match(parseInteger("abc"), {
- *     onUndefined: () => "missing",
- *     onDefined: (n) => `parsed ${n}`
- *   })
- * )
- * // "missing"
- * ```
+ * Works with values that may be `undefined`.
+ *
+ * Use this module for plain TypeScript values of type `A | undefined` when
+ * `undefined` is the only absence marker. It is a small alternative to wrapping
+ * values in `Option` when your data already uses `undefined` to mean "no
+ * value". The module includes helpers for mapping defined values, matching both
+ * cases, throwing when a value is missing, adapting throwing functions, and
+ * building reducers or combiners.
  *
  * @since 4.0.0
  */

package/dist/UndefinedOr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UndefinedOr.d.ts","sourceRoot":"","sources":["../src/UndefinedOr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;OAYG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,GAAG,SAAS,CAAA;IAC9D;;;;;;;;;;;;OAYG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;CACQ,CAAA;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;;;;;;;OAcG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EACV,OAAO,EAAE;QACP,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;QAChC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAChC,GACA,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC;;;;;;;;;;;;;;OAcG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EACV,IAAI,EAAE,CAAC,GAAG,SAAS,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;QAChC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAChC,GACA,CAAC,GAAG,CAAC,CAAA;CAOT,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,cAAc,EAAE;IAC3B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,CAAC,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,CAAA;IAC3D;;;;;;;;;;;;;;;;;;;OAmBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAA;CAMvD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAEpD,CAAA;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAC/D,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,KAChB,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,SAOnB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAM7F;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAKxG;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAWlG"}
+{"version":3,"file":"UndefinedOr.d.ts","sourceRoot":"","sources":["../src/UndefinedOr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;OAYG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,GAAG,SAAS,CAAA;IAC9D;;;;;;;;;;;;OAYG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;CACQ,CAAA;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;;;;;;;OAcG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EACV,OAAO,EAAE;QACP,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;QAChC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAChC,GACA,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC;;;;;;;;;;;;;;OAcG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EACV,IAAI,EAAE,CAAC,GAAG,SAAS,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;QAChC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAChC,GACA,CAAC,GAAG,CAAC,CAAA;CAOT,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,cAAc,EAAE;IAC3B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,CAAC,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,CAAA;IAC3D;;;;;;;;;;;;;;;;;;;OAmBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAA;CAMvD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAEpD,CAAA;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAC/D,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,KAChB,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,SAOnB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAM7F;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAKxG;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAWlG"}

package/dist/UndefinedOr.js

@@ -1,59 +1,12 @@
 /**
- * The `UndefinedOr` module works with plain TypeScript values of type
- * `A | undefined` where `undefined` is the only absence marker. It is a small
- * alternative to wrapping values in `Option` when your domain already uses
- * `undefined` to mean "no value".
- *
- * **Mental model**
- *
- * - A defined value is the present branch.
- * - `undefined` is reserved for absence; the payload type `A` should not itself
- *   include `undefined`.
- * - Helpers such as {@link map} and {@link match} keep values unwrapped and use
- *   `undefined` directly instead of allocating tagged values.
- * - The fail-fast combiner and reducer helpers propagate `undefined` when a
- *   required value is missing.
- *
- * **Common tasks**
- *
- * - Transform a present value: {@link map}
- * - Branch on present versus absent: {@link match}
- * - Unwrap at a boundary: {@link getOrThrow}, {@link getOrThrowWith}
- * - Adapt throwing code to an optional result: {@link liftThrowable}
- * - Lift combination and reduction logic: {@link makeReducer},
- *   {@link makeCombinerFailFast}, {@link makeReducerFailFast}
- *
- * **Gotchas**
- *
- * - `A | undefined` cannot distinguish "missing" from "present and
- *   undefined". Use `Option` when that distinction matters.
- * - {@link liftThrowable} discards the thrown value and also returns
- *   `undefined` when the wrapped function throws.
- *
- * **Example** (Parsing optional input)
- *
- * ```ts
- * import { UndefinedOr } from "effect"
- *
- * const parseInteger = UndefinedOr.liftThrowable((input: string) => {
- *   const value = Number.parseInt(input, 10)
- *   if (Number.isNaN(value)) {
- *     throw new Error("not an integer")
- *   }
- *   return value
- * })
- *
- * console.log(UndefinedOr.map(parseInteger("42"), (n) => n + 1))
- * // 43
- *
- * console.log(
- *   UndefinedOr.match(parseInteger("abc"), {
- *     onUndefined: () => "missing",
- *     onDefined: (n) => `parsed ${n}`
- *   })
- * )
- * // "missing"
- * ```
+ * Works with values that may be `undefined`.
+ *
+ * Use this module for plain TypeScript values of type `A | undefined` when
+ * `undefined` is the only absence marker. It is a small alternative to wrapping
+ * values in `Option` when your data already uses `undefined` to mean "no
+ * value". The module includes helpers for mapping defined values, matching both
+ * cases, throwing when a value is missing, adapting throwing functions, and
+ * building reducers or combiners.
  *
  * @since 4.0.0
  */

package/dist/UndefinedOr.js.map

@@ -1 +1 @@
-{"version":3,"file":"UndefinedOr.js","names":["Combiner","dual","Reducer","map","self","f","undefined","match","onDefined","onUndefined","getOrThrowWith","getOrThrow","Error","liftThrowable","a","makeReducer","combiner","make","that","combine","makeCombinerFailFast","makeReducerFailFast","reducer","initialValue","collection","out","value"],"sources":["../src/UndefinedOr.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2DA,OAAO,KAAKA,QAAQ,MAAM,eAAe;AAEzC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;;;;;;;;;;;;;AAaA,OAAO,MAAMC,GAAG,gBA6BZF,IAAI,CAAC,CAAC,EAAE,CAACG,IAAI,EAAEC,CAAC,KAAMD,IAAI,KAAKE,SAAS,GAAGA,SAAS,GAAGD,CAAC,CAACD,IAAI,CAAE,CAAC;AAEpE;;;;;;;;;;;;;;;AAeA,OAAO,MAAMG,KAAK,gBA4CdN,IAAI,CACN,CAAC,EACD,CAAcG,IAAmB,EAAE;EAAEI,SAAS;EAAEC;AAAW,CAG1D,KAAYL,IAAI,KAAKE,SAAS,GAAGG,WAAW,EAAE,GAAGD,SAAS,CAACJ,IAAI,CAAC,CAClE;AAED;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMM,cAAc,gBA2CvBT,IAAI,CAAC,CAAC,EAAE,CAAIG,IAAmB,EAAEK,WAA0B,KAAO;EACpE,IAAIL,IAAI,KAAKE,SAAS,EAAE;IACtB,OAAOF,IAAI;EACb;EACA,MAAMK,WAAW,EAAE;AACrB,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAME,UAAU,gBAAkCD,cAAc,CAAC,MACtE,IAAIE,KAAK,CAAC,kCAAkC,CAAC,CAC9C;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,aAAa,GACxBR,CAAiB,IAEnB,CAAC,GAAGS,CAAC,KAAI;EACP,IAAI;IACF,OAAOT,CAAC,CAAC,GAAGS,CAAC,CAAC;EAChB,CAAC,CAAC,MAAM;IACN,OAAOR,SAAS;EAClB;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAM,SAAUS,WAAWA,CAAIC,QAA8B;EAC3D,OAAOd,OAAO,CAACe,IAAI,CAAC,CAACb,IAAI,EAAEc,IAAI,KAAI;IACjC,IAAId,IAAI,KAAKE,SAAS,EAAE,OAAOY,IAAI;IACnC,IAAIA,IAAI,KAAKZ,SAAS,EAAE,OAAOF,IAAI;IACnC,OAAOY,QAAQ,CAACG,OAAO,CAACf,IAAI,EAAEc,IAAI,CAAC;EACrC,CAAC,EAAEZ,SAA0B,CAAC;AAChC;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAM,SAAUc,oBAAoBA,CAAIJ,QAA8B;EACpE,OAAOhB,QAAQ,CAACiB,IAAI,CAAC,CAACb,IAAI,EAAEc,IAAI,KAAI;IAClC,IAAId,IAAI,KAAKE,SAAS,IAAIY,IAAI,KAAKZ,SAAS,EAAE,OAAOA,SAAS;IAC9D,OAAOU,QAAQ,CAACG,OAAO,CAACf,IAAI,EAAEc,IAAI,CAAC;EACrC,CAAC,CAAC;AACJ;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAM,SAAUG,mBAAmBA,CAAIC,OAA2B;EAChE,MAAMH,OAAO,GAAGC,oBAAoB,CAACE,OAAO,CAAC,CAACH,OAAO;EACrD,MAAMI,YAAY,GAAGD,OAAO,CAACC,YAA6B;EAC1D,OAAOrB,OAAO,CAACe,IAAI,CAACE,OAAO,EAAEI,YAAY,EAAGC,UAAU,IAAI;IACxD,IAAIC,GAAG,GAAGF,YAAY;IACtB,KAAK,MAAMG,KAAK,IAAIF,UAAU,EAAE;MAC9BC,GAAG,GAAGN,OAAO,CAACM,GAAG,EAAEC,KAAK,CAAC;MACzB,IAAID,GAAG,KAAKnB,SAAS,EAAE,OAAOmB,GAAG;IACnC;IACA,OAAOA,GAAG;EACZ,CAAC,CAAC;AACJ","ignoreList":[]}
+{"version":3,"file":"UndefinedOr.js","names":["Combiner","dual","Reducer","map","self","f","undefined","match","onDefined","onUndefined","getOrThrowWith","getOrThrow","Error","liftThrowable","a","makeReducer","combiner","make","that","combine","makeCombinerFailFast","makeReducerFailFast","reducer","initialValue","collection","out","value"],"sources":["../src/UndefinedOr.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;AAYA,OAAO,KAAKA,QAAQ,MAAM,eAAe;AAEzC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;;;;;;;;;;;;;AAaA,OAAO,MAAMC,GAAG,gBA6BZF,IAAI,CAAC,CAAC,EAAE,CAACG,IAAI,EAAEC,CAAC,KAAMD,IAAI,KAAKE,SAAS,GAAGA,SAAS,GAAGD,CAAC,CAACD,IAAI,CAAE,CAAC;AAEpE;;;;;;;;;;;;;;;AAeA,OAAO,MAAMG,KAAK,gBA4CdN,IAAI,CACN,CAAC,EACD,CAAcG,IAAmB,EAAE;EAAEI,SAAS;EAAEC;AAAW,CAG1D,KAAYL,IAAI,KAAKE,SAAS,GAAGG,WAAW,EAAE,GAAGD,SAAS,CAACJ,IAAI,CAAC,CAClE;AAED;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMM,cAAc,gBA2CvBT,IAAI,CAAC,CAAC,EAAE,CAAIG,IAAmB,EAAEK,WAA0B,KAAO;EACpE,IAAIL,IAAI,KAAKE,SAAS,EAAE;IACtB,OAAOF,IAAI;EACb;EACA,MAAMK,WAAW,EAAE;AACrB,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAME,UAAU,gBAAkCD,cAAc,CAAC,MACtE,IAAIE,KAAK,CAAC,kCAAkC,CAAC,CAC9C;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,aAAa,GACxBR,CAAiB,IAEnB,CAAC,GAAGS,CAAC,KAAI;EACP,IAAI;IACF,OAAOT,CAAC,CAAC,GAAGS,CAAC,CAAC;EAChB,CAAC,CAAC,MAAM;IACN,OAAOR,SAAS;EAClB;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAM,SAAUS,WAAWA,CAAIC,QAA8B;EAC3D,OAAOd,OAAO,CAACe,IAAI,CAAC,CAACb,IAAI,EAAEc,IAAI,KAAI;IACjC,IAAId,IAAI,KAAKE,SAAS,EAAE,OAAOY,IAAI;IACnC,IAAIA,IAAI,KAAKZ,SAAS,EAAE,OAAOF,IAAI;IACnC,OAAOY,QAAQ,CAACG,OAAO,CAACf,IAAI,EAAEc,IAAI,CAAC;EACrC,CAAC,EAAEZ,SAA0B,CAAC;AAChC;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAM,SAAUc,oBAAoBA,CAAIJ,QAA8B;EACpE,OAAOhB,QAAQ,CAACiB,IAAI,CAAC,CAACb,IAAI,EAAEc,IAAI,KAAI;IAClC,IAAId,IAAI,KAAKE,SAAS,IAAIY,IAAI,KAAKZ,SAAS,EAAE,OAAOA,SAAS;IAC9D,OAAOU,QAAQ,CAACG,OAAO,CAACf,IAAI,EAAEc,IAAI,CAAC;EACrC,CAAC,CAAC;AACJ;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAM,SAAUG,mBAAmBA,CAAIC,OAA2B;EAChE,MAAMH,OAAO,GAAGC,oBAAoB,CAACE,OAAO,CAAC,CAACH,OAAO;EACrD,MAAMI,YAAY,GAAGD,OAAO,CAACC,YAA6B;EAC1D,OAAOrB,OAAO,CAACe,IAAI,CAACE,OAAO,EAAEI,YAAY,EAAGC,UAAU,IAAI;IACxD,IAAIC,GAAG,GAAGF,YAAY;IACtB,KAAK,MAAMG,KAAK,IAAIF,UAAU,EAAE;MAC9BC,GAAG,GAAGN,OAAO,CAACM,GAAG,EAAEC,KAAK,CAAC;MACzB,IAAID,GAAG,KAAKnB,SAAS,EAAE,OAAOmB,GAAG;IACnC;IACA,OAAOA,GAAG;EACZ,CAAC,CAAC;AACJ","ignoreList":[]}

package/dist/Unify.d.ts

@@ -1,33 +1,12 @@
 /**
- * The `Unify` module defines the type-level protocol Effect uses to collapse
- * unions of protocol-enabled values into their public data types. It is mostly
- * for maintainers of Effect data types and advanced library authors; ordinary
- * application code usually benefits from unification through APIs such as
- * `Effect`, `Option`, `Result`, `Stream`, `Layer`, and `Match`.
- *
- * **Mental model**
- *
- * A type opts in by carrying phantom entries keyed by {@link typeSymbol} and
- * {@link unifySymbol}. {@link Unify} reads those entries, ignores any protocol
- * members listed through {@link ignoreSymbol}, and widens matching union
- * members to the public type each entry returns. The runtime helper
- * {@link unify} is an identity function; it changes only the static type that
- * TypeScript sees.
- *
- * **Common tasks**
- *
- * - Add unification support to a new Effect data type so mixed unions infer as
- *   the public container type instead of an implementation shape.
- * - Normalize the return type of branching APIs, matchers, or builders that can
- *   produce several protocol-enabled values.
- * - Apply unification to a value or curried function result with {@link unify}
- *   while preserving the original runtime behavior.
- *
- * **Gotchas**
- *
- * - Unification is a compile-time protocol, not a runtime conversion hook.
- * - Protocol entries should be specific to the data type they widen; overly
- *   broad entries can make inferred unions less precise.
+ * Defines Effect's type-level unification protocol.
+ *
+ * Unification collapses unions of protocol-enabled values into their public data
+ * types. It is mostly for maintainers of Effect data types and advanced library
+ * authors; application code usually benefits from it through APIs such as
+ * `Effect`, `Option`, `Result`, `Stream`, `Layer`, and `Match`. This module
+ * exports the protocol symbols, the `Unify` type that performs normalization,
+ * and `unify`, an identity function that changes only the inferred type.
  *
  * @since 2.0.0
  */

package/dist/Unify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Unify.d.ts","sourceRoot":"","sources":["../src/Unify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAIH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAA;AAE5C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAA;AAE9C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AAEhD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAA;AAE9C,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AAElE,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAC1F,KAAK,CAAA;AAET,KAAK,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,GACjE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,KAAK,GACzF,KAAK,CAAA;AAET,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,CAAA;CAAE,GAAG,MAAM,WAAW,CAAC,GAAG,CAAC,GAC9E,KAAK,CAAA;AAET,KAAK,YAAY,CACf,CAAC,IACC,CAAC,SAAS;IACZ,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,KAAK,CAAA;IAC1B,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,MAAM,CAAA;CAC7B,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAChC,KAAK,CAAA;AAET,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,UAAU,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAEjF,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,GAAG,GACxC,UAAU,SAAS,MAAM,CAAC,GACxB,CAAC,SAAS;IAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,OAAO,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,GACtG,CAAC,GACH,KAAK,GACL,KAAK,CAAA;AAET,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,UAAU,SAAS,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,CAC3B,YAAY,CACV,CACI,QAAQ,CAAC,CAAC,CAAC,GACX;IAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;CAAE,CACtB,CACF,CACF,SAAS,MAAM,CAAC,GACX,CAAC,GACD,iBAAiB,CACjB,CAAC,EACD,IAAI,CACF,YAAY,CACV,CACI,QAAQ,CAAC,CAAC,CAAC,GACX;IAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;CAAE,CACtB,CACF,CACF,CACF,GACC,SAAS,CAAC,CAAC,CAAC,GACd,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GACtG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC9G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAClF,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC1F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IACvI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC/F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IACvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;CACF,CAAA"}
+{"version":3,"file":"Unify.d.ts","sourceRoot":"","sources":["../src/Unify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAA;AAE5C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAA;AAE9C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AAEhD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAA;AAE9C,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AAElE,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAC1F,KAAK,CAAA;AAET,KAAK,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,GACjE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,KAAK,GACzF,KAAK,CAAA;AAET,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,CAAA;CAAE,GAAG,MAAM,WAAW,CAAC,GAAG,CAAC,GAC9E,KAAK,CAAA;AAET,KAAK,YAAY,CACf,CAAC,IACC,CAAC,SAAS;IACZ,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,KAAK,CAAA;IAC1B,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,MAAM,CAAA;CAC7B,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAChC,KAAK,CAAA;AAET,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,UAAU,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAEjF,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,GAAG,GACxC,UAAU,SAAS,MAAM,CAAC,GACxB,CAAC,SAAS;IAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,OAAO,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,GACtG,CAAC,GACH,KAAK,GACL,KAAK,CAAA;AAET,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,UAAU,SAAS,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,CAC3B,YAAY,CACV,CACI,QAAQ,CAAC,CAAC,CAAC,GACX;IAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;CAAE,CACtB,CACF,CACF,SAAS,MAAM,CAAC,GACX,CAAC,GACD,iBAAiB,CACjB,CAAC,EACD,IAAI,CACF,YAAY,CACV,CACI,QAAQ,CAAC,CAAC,CAAC,GACX;IAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;CAAE,CACtB,CACF,CACF,CACF,GACC,SAAS,CAAC,CAAC,CAAC,GACd,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GACtG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC9G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAClF,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC1F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IACvI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC/F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IACvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;CACF,CAAA"}

package/dist/Unify.js

@@ -1,33 +1,12 @@
 /**
- * The `Unify` module defines the type-level protocol Effect uses to collapse
- * unions of protocol-enabled values into their public data types. It is mostly
- * for maintainers of Effect data types and advanced library authors; ordinary
- * application code usually benefits from unification through APIs such as
- * `Effect`, `Option`, `Result`, `Stream`, `Layer`, and `Match`.
- *
- * **Mental model**
- *
- * A type opts in by carrying phantom entries keyed by {@link typeSymbol} and
- * {@link unifySymbol}. {@link Unify} reads those entries, ignores any protocol
- * members listed through {@link ignoreSymbol}, and widens matching union
- * members to the public type each entry returns. The runtime helper
- * {@link unify} is an identity function; it changes only the static type that
- * TypeScript sees.
- *
- * **Common tasks**
- *
- * - Add unification support to a new Effect data type so mixed unions infer as
- *   the public container type instead of an implementation shape.
- * - Normalize the return type of branching APIs, matchers, or builders that can
- *   produce several protocol-enabled values.
- * - Apply unification to a value or curried function result with {@link unify}
- *   while preserving the original runtime behavior.
- *
- * **Gotchas**
- *
- * - Unification is a compile-time protocol, not a runtime conversion hook.
- * - Protocol entries should be specific to the data type they widen; overly
- *   broad entries can make inferred unions less precise.
+ * Defines Effect's type-level unification protocol.
+ *
+ * Unification collapses unions of protocol-enabled values into their public data
+ * types. It is mostly for maintainers of Effect data types and advanced library
+ * authors; application code usually benefits from it through APIs such as
+ * `Effect`, `Option`, `Result`, `Stream`, `Layer`, and `Match`. This module
+ * exports the protocol symbols, the `Unify` type that performs normalization,
+ * and `unify`, an identity function that changes only the inferred type.
  *
  * @since 2.0.0
  */

package/dist/Unify.js.map

@@ -1 +1 @@
-{"version":3,"file":"Unify.js","names":["identity","unify"],"sources":["../src/Unify.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,SAASA,QAAQ,QAAQ,eAAe;AAwNxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMC,KAAK,GA4SdD,QAAe","ignoreList":[]}
+{"version":3,"file":"Unify.js","names":["identity","unify"],"sources":["../src/Unify.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;AAaA,SAASA,QAAQ,QAAQ,eAAe;AAwNxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMC,KAAK,GA4SdD,QAAe","ignoreList":[]}

package/dist/Utils.d.ts

@@ -1,59 +1,12 @@
 /**
- * Internal utilities for the Effect ecosystem's generator-based syntax and
- * higher-kinded type machinery.
- *
- * ## Mental model
- *
- * - **SingleShotGen** — an `IterableIterator` wrapper that yields its value
- *   exactly once. Used internally by `[Symbol.iterator]()` on Effect, Option,
- *   Result, and other yieldable types so they work inside generator functions.
- * - **Gen** — a type-level signature for generator-based monadic composition
- *   (`gen` functions). Parametric over any `TypeLambda` so each module
- *   (Effect, Option, Result, ...) can expose its own `gen` with correct types.
- * - **Variance** — a type-level marker that encodes the variance (covariant,
- *   contravariant, invariant) of a `TypeLambda`'s type parameters.
- *   Used by {@link Gen} for type inference.
- *
- * ## Common tasks
- *
- * - Make a type yieldable in generators -> implement `[Symbol.iterator]()` returning a {@link SingleShotGen}
- * - Define a generator-based API for a new TypeLambda -> type it as {@link Gen}`<MyTypeLambda>`
- * - Encode variance for a higher-kinded type -> use {@link Variance}
- *
- * ## Gotchas
- *
- * - {@link SingleShotGen} yields its value only on the first `.next()` call.
- *   Calling `.next()` again returns `{ done: true }`. Iterating the same
- *   instance twice will skip the value on the second pass; call
- *   `[Symbol.iterator]()` to get a fresh iterator.
- * - {@link Gen} and {@link Variance} are pure type-level constructs — they
- *   have no runtime representation.
- *
- * ## Quickstart
- *
- * **Example** (Using SingleShotGen to make a type yieldable)
- *
- * ```ts
- * import { Utils } from "effect"
- *
- * class MyWrapper<A> {
- *   constructor(readonly value: A) {}
- *   [Symbol.iterator]() {
- *     return new Utils.SingleShotGen<MyWrapper<A>, A>(this)
- *   }
- * }
- *
- * const w = new MyWrapper(42)
- * const iter = w[Symbol.iterator]()
- * console.log(iter.next(undefined as any))
- * // { value: MyWrapper { value: 42 }, done: false }
- * console.log(iter.next(42))
- * // { value: 42, done: true }
- * ```
- *
- * @see {@link SingleShotGen}
- * @see {@link Gen}
- * @see {@link Variance}
+ * Internal and advanced utilities used by Effect's generator-based syntax and
+ * higher-kinded type support. This is not a general-purpose utility module for
+ * application code.
+ *
+ * `SingleShotGen` makes an Effect-style value work with `yield*` inside
+ * generator helpers. `Variance` and `Gen` provide the type-level signatures
+ * used by modules such as `Effect`, `Option`, and `Result` to type their
+ * `gen` APIs.
  *
  * @since 2.0.0
  */

package/dist/Utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Utils.d.ts","sourceRoot":"","sources":["../src/Utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAChD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,qBAAa,aAAa,CAAC,CAAC,EAAE,CAAC,CAAE,YAAW,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,MAAM,CAAQ;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;gBAEJ,IAAI,EAAE,CAAC;IAInB;;;;;;;;;OASG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAahC;;;;;;;;;OASG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;CAG5C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,WAAW,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,IAAI,CACtC,IAAI,EACJ,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAClE,CAAC,EAED,GAAG,IAAI,EACH;IACA,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CAC7C,GACC;IACA,IAAI,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CACnC,KACA,IAAI,CACP,CAAC,EACD;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT,CAAC,CACF,CAAA"}
+{"version":3,"file":"Utils.d.ts","sourceRoot":"","sources":["../src/Utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAChD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,qBAAa,aAAa,CAAC,CAAC,EAAE,CAAC,CAAE,YAAW,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,MAAM,CAAQ;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;gBAEJ,IAAI,EAAE,CAAC;IAInB;;;;;;;;;OASG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAahC;;;;;;;;;OASG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;CAG5C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,WAAW,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,IAAI,CACtC,IAAI,EACJ,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAClE,CAAC,EAED,GAAG,IAAI,EACH;IACA,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CAC7C,GACC;IACA,IAAI,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CACnC,KACA,IAAI,CACP,CAAC,EACD;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT,CAAC,CACF,CAAA"}

package/dist/Utils.js

@@ -73,22 +73,28 @@ export class SingleShotGen {
     return new SingleShotGen(this.self);
   }
 }
-const InternalTypeId = "~effect/Utils/internal";
-const standard = {
-  [InternalTypeId]: body => {
-    return body();
-  }
-};
-const forced = {
-  [InternalTypeId]: body => {
-    try {
+// the probe is wrapped in a single function call (rather than module-level
+// statements) so the whole selection is pure-annotated by the build and
+// tree-shakable when `internalCall` is unused.
+const pickInternalCall = () => {
+  const InternalTypeId = "~effect/Utils/internal";
+  const standard = {
+    [InternalTypeId]: body => {
       return body();
-    } finally {
-      //
     }
-  }
+  };
+  const forced = {
+    [InternalTypeId]: body => {
+      try {
+        return body();
+      } finally {
+        //
+      }
+    }
+  };
+  const isNotOptimizedAway = standard[InternalTypeId](() => new Error().stack)?.includes(InternalTypeId) === true;
+  return isNotOptimizedAway ? standard[InternalTypeId] : forced[InternalTypeId];
 };
-const isNotOptimizedAway = /*#__PURE__*/standard[InternalTypeId](() => new Error().stack)?.includes(InternalTypeId) === true;
 /** @internal */
-export const internalCall = isNotOptimizedAway ? standard[InternalTypeId] : forced[InternalTypeId];
+export const internalCall = /*#__PURE__*/pickInternalCall();
 //# sourceMappingURL=Utils.js.map

package/dist/Utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"Utils.js","names":["SingleShotGen","called","self","constructor","next","a","value","done","Symbol","iterator","InternalTypeId","standard","body","forced","isNotOptimizedAway","Error","stack","includes","internalCall"],"sources":["../src/Utils.ts"],"sourcesContent":[null],"mappings":"AA8DA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,OAAM,MAAOA,aAAa;EAChBC,MAAM,GAAG,KAAK;EACbC,IAAI;EAEbC,YAAYD,IAAO;IACjB,IAAI,CAACA,IAAI,GAAGA,IAAI;EAClB;EAEA;;;;;;;;;;EAUAE,IAAIA,CAACC,CAAI;IACP,OAAO,IAAI,CAACJ,MAAM,GACf;MACCK,KAAK,EAAED,CAAC;MACRE,IAAI,EAAE;KACP,IACA,IAAI,CAACN,MAAM,GAAG,IAAI,EAChB;MACCK,KAAK,EAAE,IAAI,CAACJ,IAAI;MAChBK,IAAI,EAAE;KACN,CAAC;EACT;EAEA;;;;;;;;;;EAUA,CAACC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIT,aAAa,CAAO,IAAI,CAACE,IAAI,CAAC;EAC3C;;AAkGF,MAAMQ,cAAc,GAAG,wBAAwB;AAE/C,MAAMC,QAAQ,GAAG;EACf,CAACD,cAAc,GAAOE,IAAa,IAAI;IACrC,OAAOA,IAAI,EAAE;EACf;CACD;AAED,MAAMC,MAAM,GAAG;EACb,CAACH,cAAc,GAAOE,IAAa,IAAI;IACrC,IAAI;MACF,OAAOA,IAAI,EAAE;IACf,CAAC,SAAS;MACR;IAAA;EAEJ;CACD;AAED,MAAME,kBAAkB,GAAG,aAAAH,QAAQ,CAACD,cAAc,CAAC,CAAC,MAAM,IAAIK,KAAK,EAAE,CAACC,KAAK,CAAC,EAAEC,QAAQ,CAACP,cAAc,CAAC,KAAK,IAAI;AAE/G;AACA,OAAO,MAAMQ,YAAY,GAAGJ,kBAAkB,GAAGH,QAAQ,CAACD,cAAc,CAAC,GAAGG,MAAM,CAACH,cAAc,CAAC","ignoreList":[]}
+{"version":3,"file":"Utils.js","names":["SingleShotGen","called","self","constructor","next","a","value","done","Symbol","iterator","pickInternalCall","InternalTypeId","standard","body","forced","isNotOptimizedAway","Error","stack","includes","internalCall"],"sources":["../src/Utils.ts"],"sourcesContent":[null],"mappings":"AAeA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,OAAM,MAAOA,aAAa;EAChBC,MAAM,GAAG,KAAK;EACbC,IAAI;EAEbC,YAAYD,IAAO;IACjB,IAAI,CAACA,IAAI,GAAGA,IAAI;EAClB;EAEA;;;;;;;;;;EAUAE,IAAIA,CAACC,CAAI;IACP,OAAO,IAAI,CAACJ,MAAM,GACf;MACCK,KAAK,EAAED,CAAC;MACRE,IAAI,EAAE;KACP,IACA,IAAI,CAACN,MAAM,GAAG,IAAI,EAChB;MACCK,KAAK,EAAE,IAAI,CAACJ,IAAI;MAChBK,IAAI,EAAE;KACN,CAAC;EACT;EAEA;;;;;;;;;;EAUA,CAACC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIT,aAAa,CAAO,IAAI,CAACE,IAAI,CAAC;EAC3C;;AAkGF;AACA;AACA;AACA,MAAMQ,gBAAgB,GAAGA,CAAA,KAA8B;EACrD,MAAMC,cAAc,GAAG,wBAAwB;EAE/C,MAAMC,QAAQ,GAAG;IACf,CAACD,cAAc,GAAOE,IAAa,IAAI;MACrC,OAAOA,IAAI,EAAE;IACf;GACD;EAED,MAAMC,MAAM,GAAG;IACb,CAACH,cAAc,GAAOE,IAAa,IAAI;MACrC,IAAI;QACF,OAAOA,IAAI,EAAE;MACf,CAAC,SAAS;QACR;MAAA;IAEJ;GACD;EAED,MAAME,kBAAkB,GAAGH,QAAQ,CAACD,cAAc,CAAC,CAAC,MAAM,IAAIK,KAAK,EAAE,CAACC,KAAK,CAAC,EAAEC,QAAQ,CAACP,cAAc,CAAC,KAAK,IAAI;EAE/G,OAAOI,kBAAkB,GAAGH,QAAQ,CAACD,cAAc,CAAC,GAAGG,MAAM,CAACH,cAAc,CAAC;AAC/E,CAAC;AAED;AACA,OAAO,MAAMQ,YAAY,gBAAGT,gBAAgB,EAAE","ignoreList":[]}

package/dist/internal/effect.js

@@ -2813,11 +2813,13 @@ const logLevelStyle = {
   Fatal: "background-color:red;color:white"
 };
 const defaultDateFormat = date => `${date.getHours().toString().padStart(2, "0")}:${date.getMinutes().toString().padStart(2, "0")}:${date.getSeconds().toString().padStart(2, "0")}.${date.getMilliseconds().toString().padStart(3, "0")}`;
-const hasProcessStdout = typeof process === "object" && process !== null && typeof process.stdout === "object" && process.stdout !== null;
-const processStdoutIsTTY = hasProcessStdout && process.stdout.isTTY === true;
-const hasProcessStdoutOrDeno = hasProcessStdout || "Deno" in globalThis;
 /** @internal */
 export const consolePretty = options => {
+  // evaluated lazily so the module-level bundle stays free of `process`
+  // property accesses, which bundlers must retain as possible side effects
+  const hasProcessStdout = typeof process === "object" && process !== null && typeof process.stdout === "object" && process.stdout !== null;
+  const processStdoutIsTTY = hasProcessStdout && process.stdout.isTTY === true;
+  const hasProcessStdoutOrDeno = hasProcessStdout || "Deno" in globalThis;
   const mode_ = options?.mode ?? "auto";
   const mode = mode_ === "auto" ? hasProcessStdoutOrDeno ? "tty" : "browser" : mode_;
   const isBrowser = mode === "browser";