effect 4.0.0-beta.69 → 4.0.0-beta.70

package/dist/UndefinedOr.d.ts

@@ -53,20 +53,16 @@ export declare const map: {
     <A, B>(self: A | undefined, f: (a: A) => B): B | undefined;
 };
 /**
- * Pattern matches on an `A | undefined` value.
- *
- * Runs `onDefined` with the value when it is present, or evaluates
- * `onUndefined` when the value is `undefined`.
+ * Pattern matches on an `A | undefined` value, running `onDefined` when the
+ * value is present or evaluating `onUndefined` when the value is `undefined`.
  *
  * @category pattern matching
  * @since 4.0.0
  */
 export declare const match: {
     /**
-     * Pattern matches on an `A | undefined` value.
-     *
-     * Runs `onDefined` with the value when it is present, or evaluates
-     * `onUndefined` when the value is `undefined`.
+     * Pattern matches on an `A | undefined` value, running `onDefined` when the
+     * value is present or evaluating `onUndefined` when the value is `undefined`.
      *
      * @category pattern matching
      * @since 4.0.0
@@ -76,10 +72,8 @@ export declare const match: {
         readonly onDefined: (a: A) => C;
     }): (self: A | undefined) => B | C;
     /**
-     * Pattern matches on an `A | undefined` value.
-     *
-     * Runs `onDefined` with the value when it is present, or evaluates
-     * `onUndefined` when the value is `undefined`.
+     * Pattern matches on an `A | undefined` value, running `onDefined` when the
+     * value is present or evaluating `onUndefined` when the value is `undefined`.
      *
      * @category pattern matching
      * @since 4.0.0
@@ -123,11 +117,8 @@ export declare const getOrThrowWith: {
  */
 export declare const getOrThrow: <A>(self: A | undefined) => A;
 /**
- * Converts a throwing function into one that returns `undefined` when it
- * throws.
- *
- * The returned function passes through successful results and discards thrown
- * errors by representing them as `undefined`.
+ * Converts a throwing function into one that returns successful results
+ * unchanged and returns `undefined` when the function throws.
  *
  * @category converting
  * @since 4.0.0
@@ -137,18 +128,19 @@ export declare const liftThrowable: <A extends ReadonlyArray<unknown>, B>(f: (..
  * Creates a `Reducer` for `UndefinedOr<A>` that prioritizes the first non-`undefined`
  * value and combines values when both operands are present.
  *
- * This `Reducer` is useful for scenarios where you want to:
+ * **When to use**
+ *
  * - Take the first available value (like a fallback chain)
  * - Combine values when both are present
  * - Maintain a `undefined` state only when all values are `undefined`
  *
- * The `initialValue` of the `Reducer` is `undefined`.
+ * **Details**
  *
- * **Behavior:**
- * - `undefined` + `undefined` = `undefined`
- * - `a` + `undefined` = `a` (first value wins)
- * - `undefined` + `b` = `b` (second value wins)
- * - `a` + `b` = `a + b` (values combined)
+ * - `undefined` + `undefined` -> `undefined`
+ * - `a` + `undefined` -> `a` (first value wins)
+ * - `undefined` + `b` -> `b` (second value wins)
+ * - `a` + `b` -> `combiner.combine(a, b)`
+ * - Initial value is `undefined`
  *
  * @category constructors
  * @since 4.0.0
@@ -158,8 +150,11 @@ export declare function makeReducer<A>(combiner: Combiner.Combiner<A>): Reducer.
  * Creates a `Combiner` for `A | undefined` that combines values only when both
  * operands are defined.
  *
- * If either operand is `undefined`, the combined result is `undefined`. When
- * both operands are defined, the wrapped combiner combines the two values.
+ * **Details**
+ *
+ * - `undefined` combined with any value returns `undefined`
+ * - Any value combined with `undefined` returns `undefined`
+ * - `a` combined with `b` returns `combiner.combine(a, b)`
  *
  * @see {@link makeReducerFailFast} if you have a `Reducer` and want to lift it
  * to `UndefinedOr` values.
@@ -172,9 +167,16 @@ export declare function makeCombinerFailFast<A>(combiner: Combiner.Combiner<A>):
  * Creates a `Reducer` for `A | undefined` by wrapping an existing reducer with
  * fail-fast semantics.
  *
- * The initial value is the wrapped reducer's `initialValue`. Combining two
- * defined values delegates to the wrapped reducer; if the accumulator or next
- * value is `undefined`, the reduction returns `undefined`.
+ * **When to use**
+ *
+ * - Wrapping an existing `Reducer` to work with `A | undefined` values
+ * - Reductions where any `undefined` value should abort the entire result
+ *
+ * **Details**
+ *
+ * - Initial value is the wrapped reducer's `initialValue`
+ * - Combining two defined values delegates to the wrapped reducer
+ * - If the accumulator or next value is `undefined`, the reduction returns `undefined`
  *
  * @see {@link makeCombinerFailFast} if you only have a `Combiner` and want to
  * lift it to `UndefinedOr` values.

package/dist/UndefinedOr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UndefinedOr.d.ts","sourceRoot":"","sources":["../src/UndefinedOr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;OAKG;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;;;;;OAKG;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;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;OAQG;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;;;;;;;;OAQG;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;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,EAAE;IAC3B;;;;;;OAMG;IACH,CAAC,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,CAAA;IAC3D;;;;;;OAMG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAA;CAMvD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAEpD,CAAA;AAED;;;;;;;;;GASG;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;;;;;;;;;;;;;;;;;;;GAmBG;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;;;;;;;;;;;;GAYG;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;;;;;;;;;;;;;GAaG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;OAKG;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;;;;;OAKG;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;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;OAMG;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;;;;;;OAMG;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;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,EAAE;IAC3B;;;;;;OAMG;IACH,CAAC,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,CAAA;IAC3D;;;;;;OAMG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,OAAO,GAAG,CAAC,CAAA;CAMvD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAEpD,CAAA;AAED;;;;;;GAMG;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;;;;;;;;;;;;;;;GAeG;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

@@ -38,10 +38,8 @@ import * as Reducer from "./Reducer.js";
  */
 export const map = /*#__PURE__*/dual(2, (self, f) => self === undefined ? undefined : f(self));
 /**
- * Pattern matches on an `A | undefined` value.
- *
- * Runs `onDefined` with the value when it is present, or evaluates
- * `onUndefined` when the value is `undefined`.
+ * Pattern matches on an `A | undefined` value, running `onDefined` when the
+ * value is present or evaluating `onUndefined` when the value is `undefined`.
  *
  * @category pattern matching
  * @since 4.0.0
@@ -72,11 +70,8 @@ export const getOrThrowWith = /*#__PURE__*/dual(2, (self, onUndefined) => {
  */
 export const getOrThrow = /*#__PURE__*/getOrThrowWith(() => new Error("getOrThrow called on a undefined"));
 /**
- * Converts a throwing function into one that returns `undefined` when it
- * throws.
- *
- * The returned function passes through successful results and discards thrown
- * errors by representing them as `undefined`.
+ * Converts a throwing function into one that returns successful results
+ * unchanged and returns `undefined` when the function throws.
  *
  * @category converting
  * @since 4.0.0
@@ -92,18 +87,19 @@ export const liftThrowable = f => (...a) => {
  * Creates a `Reducer` for `UndefinedOr<A>` that prioritizes the first non-`undefined`
  * value and combines values when both operands are present.
  *
- * This `Reducer` is useful for scenarios where you want to:
+ * **When to use**
+ *
  * - Take the first available value (like a fallback chain)
  * - Combine values when both are present
  * - Maintain a `undefined` state only when all values are `undefined`
  *
- * The `initialValue` of the `Reducer` is `undefined`.
+ * **Details**
  *
- * **Behavior:**
- * - `undefined` + `undefined` = `undefined`
- * - `a` + `undefined` = `a` (first value wins)
- * - `undefined` + `b` = `b` (second value wins)
- * - `a` + `b` = `a + b` (values combined)
+ * - `undefined` + `undefined` -> `undefined`
+ * - `a` + `undefined` -> `a` (first value wins)
+ * - `undefined` + `b` -> `b` (second value wins)
+ * - `a` + `b` -> `combiner.combine(a, b)`
+ * - Initial value is `undefined`
  *
  * @category constructors
  * @since 4.0.0
@@ -119,8 +115,11 @@ export function makeReducer(combiner) {
  * Creates a `Combiner` for `A | undefined` that combines values only when both
  * operands are defined.
  *
- * If either operand is `undefined`, the combined result is `undefined`. When
- * both operands are defined, the wrapped combiner combines the two values.
+ * **Details**
+ *
+ * - `undefined` combined with any value returns `undefined`
+ * - Any value combined with `undefined` returns `undefined`
+ * - `a` combined with `b` returns `combiner.combine(a, b)`
  *
  * @see {@link makeReducerFailFast} if you have a `Reducer` and want to lift it
  * to `UndefinedOr` values.
@@ -138,9 +137,16 @@ export function makeCombinerFailFast(combiner) {
  * Creates a `Reducer` for `A | undefined` by wrapping an existing reducer with
  * fail-fast semantics.
  *
- * The initial value is the wrapped reducer's `initialValue`. Combining two
- * defined values delegates to the wrapped reducer; if the accumulator or next
- * value is `undefined`, the reduction returns `undefined`.
+ * **When to use**
+ *
+ * - Wrapping an existing `Reducer` to work with `A | undefined` values
+ * - Reductions where any `undefined` value should abort the entire result
+ *
+ * **Details**
+ *
+ * - Initial value is the wrapped reducer's `initialValue`
+ * - Combining two defined values delegates to the wrapped reducer
+ * - If the accumulator or next value is `undefined`, the reduction returns `undefined`
  *
  * @see {@link makeCombinerFailFast} if you only have a `Combiner` and want to
  * lift it to `UndefinedOr` values.

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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,OAAO,KAAKA,QAAQ,MAAM,eAAe;AAEzC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;;;;;;AAMA,OAAO,MAAMC,GAAG,gBAeZF,IAAI,CAAC,CAAC,EAAE,CAACG,IAAI,EAAEC,CAAC,KAAMD,IAAI,KAAKE,SAAS,GAAGA,SAAS,GAAGD,CAAC,CAACD,IAAI,CAAE,CAAC;AAEpE;;;;;;;;;AASA,OAAO,MAAMG,KAAK,gBAgCdN,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;;;;;;;AAOA,OAAO,MAAMM,cAAc,gBAiBvBT,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;;;;;;;AAOA,OAAO,MAAME,UAAU,gBAAkCD,cAAc,CAAC,MACtE,IAAIE,KAAK,CAAC,kCAAkC,CAAC,CAC9C;AAED;;;;;;;;;;AAUA,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;;;;;;;;;;;;;;;;;;;;AAoBA,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;;;;;;;;;;;;;AAaA,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;;;;;;;;;;;;;;AAcA,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,OAAO,KAAKA,QAAQ,MAAM,eAAe;AAEzC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;;;;;;AAMA,OAAO,MAAMC,GAAG,gBAeZF,IAAI,CAAC,CAAC,EAAE,CAACG,IAAI,EAAEC,CAAC,KAAMD,IAAI,KAAKE,SAAS,GAAGA,SAAS,GAAGD,CAAC,CAACD,IAAI,CAAE,CAAC;AAEpE;;;;;;;AAOA,OAAO,MAAMG,KAAK,gBA4BdN,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;;;;;;;AAOA,OAAO,MAAMM,cAAc,gBAiBvBT,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;;;;;;;AAOA,OAAO,MAAME,UAAU,gBAAkCD,cAAc,CAAC,MACtE,IAAIE,KAAK,CAAC,kCAAkC,CAAC,CAC9C;AAED;;;;;;;AAOA,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;;;;;;;;;;;;;;;;AAgBA,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

@@ -17,6 +17,8 @@
 /**
  * A unique symbol used to identify unification behavior in Effect types.
  *
+ * **Details**
+ *
  * This symbol is used internally by the Effect type system to enable automatic
  * unification of Effect types in unions and complex type operations.
  *
@@ -27,6 +29,8 @@ export declare const unifySymbol: unique symbol;
 /**
  * The type of the unifySymbol.
  *
+ * **Details**
+ *
  * This type represents the unique symbol used for identifying unification
  * behavior in Effect types. It's typically used in type-level operations
  * to enable automatic type unification.
@@ -38,6 +42,8 @@ export type unifySymbol = typeof unifySymbol;
 /**
  * A unique symbol used to identify the type information for unification.
  *
+ * **Details**
+ *
  * This symbol is used internally by the Effect type system to store type
  * information that can be used during type unification operations.
  *
@@ -48,6 +54,8 @@ export declare const typeSymbol: unique symbol;
 /**
  * The type of the typeSymbol.
  *
+ * **Details**
+ *
  * This type represents the unique symbol used for storing type information
  * in types that support unification. It's used in type-level operations
  * to access and manipulate type information.
@@ -59,6 +67,8 @@ export type typeSymbol = typeof typeSymbol;
 /**
  * A unique symbol used to specify types that should be ignored during unification.
  *
+ * **Details**
+ *
  * This symbol is used internally by the Effect type system to mark types
  * that should be excluded from the unification process, allowing for more
  * precise type handling in complex scenarios.
@@ -70,6 +80,8 @@ export declare const ignoreSymbol: unique symbol;
 /**
  * The type of the ignoreSymbol.
  *
+ * **Details**
+ *
  * This type represents the unique symbol used for marking types that should
  * be ignored during unification operations. It's used in type-level operations
  * to exclude specific types from the unification process.
@@ -96,6 +108,8 @@ type FilterOut<A> = A extends any ? typeSymbol extends keyof A ? never : A : nev
 /**
  * Unifies types that implement the unification protocol.
  *
+ * **Details**
+ *
  * This type performs automatic type unification for types that contain
  * the unification symbols (`unifySymbol`, `typeSymbol`, `ignoreSymbol`).
  * It's primarily used internally by the Effect type system to handle
@@ -135,6 +149,8 @@ export type Unify<A> = Values<ExtractTypes<(FilterIn<A> & {
 /**
  * Applies `Unify` to a value or function return type at compile time.
  *
+ * **Details**
+ *
  * This is an identity function at runtime. For functions, the returned function
  * has the same runtime behavior while its return type is normalized with the
  * Effect unification protocol.
@@ -171,6 +187,8 @@ export declare const unify: {
     /**
      * Applies `Unify` to a value or function return type at compile time.
      *
+     * **Details**
+     *
      * This is an identity function at runtime. For functions, the returned function
      * has the same runtime behavior while its return type is normalized with the
      * Effect unification protocol.
@@ -207,6 +225,8 @@ export declare const unify: {
     /**
      * Applies `Unify` to a value or function return type at compile time.
      *
+     * **Details**
+     *
      * This is an identity function at runtime. For functions, the returned function
      * has the same runtime behavior while its return type is normalized with the
      * Effect unification protocol.
@@ -243,6 +263,8 @@ export declare const unify: {
     /**
      * Applies `Unify` to a value or function return type at compile time.
      *
+     * **Details**
+     *
      * This is an identity function at runtime. For functions, the returned function
      * has the same runtime behavior while its return type is normalized with the
      * Effect unification protocol.
@@ -279,6 +301,8 @@ export declare const unify: {
     /**
      * Applies `Unify` to a value or function return type at compile time.
      *
+     * **Details**
+     *
      * This is an identity function at runtime. For functions, the returned function
      * has the same runtime behavior while its return type is normalized with the
      * Effect unification protocol.
@@ -315,6 +339,8 @@ export declare const unify: {
     /**
      * Applies `Unify` to a value or function return type at compile time.
      *
+     * **Details**
+     *
      * This is an identity function at runtime. For functions, the returned function
      * has the same runtime behavior while its return type is normalized with the
      * Effect unification protocol.
@@ -351,6 +377,8 @@ export declare const unify: {
     /**
      * Applies `Unify` to a value or function return type at compile time.
      *
+     * **Details**
+     *
      * This is an identity function at runtime. For functions, the returned function
      * has the same runtime behavior while its return type is normalized with the
      * Effect unification protocol.

package/dist/Unify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Unify.d.ts","sourceRoot":"","sources":["../src/Unify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAA;AAE/C;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAA;AAE5C;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAA;AAE9C;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;;;;;;;GASG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AAEhD;;;;;;;;;GASG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;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;;;;;;;;;;;;;;;GAeG;AAIH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAA;AAE/C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAA;AAE5C;;;;;;;;;;GAUG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAA;AAE9C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AAEhD;;;;;;;;;;;GAWG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;CACF,CAAA"}

package/dist/Unify.js

@@ -18,6 +18,8 @@ import { identity } from "./Function.js";
 /**
  * Applies `Unify` to a value or function return type at compile time.
  *
+ * **Details**
+ *
  * This is an identity function at runtime. For functions, the returned function
  * has the same runtime behavior while its return type is normalized with the
  * Effect unification protocol.

package/dist/Unify.js.map

@@ -1 +1 @@
-{"version":3,"file":"Unify.js","names":["identity","unify"],"sources":["../src/Unify.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;AAiBA,SAASA,QAAQ,QAAQ,eAAe;AAgKxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmCA,OAAO,MAAMC,KAAK,GAsPdD,QAAe","ignoreList":[]}
+{"version":3,"file":"Unify.js","names":["identity","unify"],"sources":["../src/Unify.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;AAiBA,SAASA,QAAQ,QAAQ,eAAe;AA8KxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCA,OAAO,MAAMC,KAAK,GAkQdD,QAAe","ignoreList":[]}

package/dist/Utils.d.ts

@@ -62,21 +62,20 @@ import type * as Types from "./Types.ts";
 /**
  * An `IterableIterator` that yields its wrapped value exactly once.
  *
- * When to use:
+ * **When to use**
  *
- * - Implement `[Symbol.iterator]()` on Effect-like types so they can be
- *   `yield*`-ed inside generator functions (e.g. `Effect.gen`, `Option.gen`).
- * - You almost never construct this directly — it is created internally by
- *   yieldable types.
+ * Implement `[Symbol.iterator]()` on Effect-like types so they can be
+ * `yield*`-ed inside generator functions, such as `Effect.gen` and
+ * `Option.gen`. You almost never construct this directly — it is created
+ * internally by yieldable types.
  *
- * Behavior:
+ * **Details**
  *
- * - The first call to `next()` returns `{ value: self, done: false }`.
- * - Every subsequent call returns `{ value: a, done: true }` where `a` is
- *   the argument passed to `next()`.
- * - `[Symbol.iterator]()` returns a **new** `SingleShotGen` wrapping the same
- *   value, so the outer type can be iterated multiple times.
- * - Does not mutate the wrapped value.
+ * The first call to `next()` returns `{ value: self, done: false }`. Every
+ * subsequent call returns `{ value: a, done: true }` where `a` is the argument
+ * passed to `next()`. `[Symbol.iterator]()` returns a **new** `SingleShotGen`
+ * wrapping the same value, so the outer type can be iterated multiple times.
+ * It does not mutate the wrapped value.
  *
  * **Example** (Yielding a wrapped value in a generator)
  *
@@ -95,7 +94,6 @@ import type * as Types from "./Types.ts";
  * ```
  *
  * @see {@link Gen} — the type-level signature that relies on `SingleShotGen`
- *
  * @category constructors
  * @since 2.0.0
  */
@@ -120,19 +118,18 @@ export declare class SingleShotGen<T, A> implements IterableIterator<T, A> {
  * Type-level marker encoding the variance of a `TypeLambda`'s type
  * parameters.
  *
- * When to use:
+ * **When to use**
  *
- * - Define variance constraints for a higher-kinded type so that
- *   {@link Gen} can correctly infer `R`, `O`, and `E` from yielded values.
- * - You typically don't construct values of this type — it exists purely for
- *   type inference.
+ * Define variance constraints for a higher-kinded type so that {@link Gen}
+ * can correctly infer `R`, `O`, and `E` from yielded values. You typically
+ * don't construct values of this type — it exists purely for type inference.
  *
- * Behavior:
+ * **Details**
  *
- * - `F` is invariant (must match exactly).
- * - `R` is contravariant (input / environment position).
- * - `O` and `E` are covariant (output / error position).
- * - Pure type-level construct — no runtime representation.
+ * `F` is invariant and must match exactly. `R` is contravariant in the input
+ * or environment position. `O` and `E` are covariant in the output and error
+ * positions. This is a pure type-level construct with no runtime
+ * representation.
  *
  * **Example** (Declaring variance for a TypeLambda)
  *
@@ -148,7 +145,6 @@ export declare class SingleShotGen<T, A> implements IterableIterator<T, A> {
  * ```
  *
  * @see {@link Gen} — uses `Variance` for type parameter inference
- *
  * @category models
  * @since 2.0.0
  */
@@ -162,19 +158,18 @@ export interface Variance<in out F extends TypeLambda, in R, out O, out E> {
  * Type-level signature for generator-based monadic composition over any
  * `TypeLambda`.
  *
- * When to use:
+ * **When to use**
  *
- * - Type the `gen` function of a module that supports generator syntax
- *   (e.g. `Option.gen`, `Result.gen`, `Effect.gen`).
- * - Accepts either `(body)` or `(self, body)` where `body` is a generator
- *   function. The `self` overload binds `this` inside the generator.
+ * Type the `gen` function of a module that supports generator syntax, such as
+ * `Option.gen`, `Result.gen`, and `Effect.gen`. It accepts either `(body)` or
+ * `(self, body)` where `body` is a generator function. The `self` overload
+ * binds `this` inside the generator.
  *
- * Behavior:
+ * **Details**
  *
- * - Pure type alias — no runtime behavior.
- * - Infers `R`, `O`, `E` from the yielded values via {@link Variance} or
- *   `Kind` constraints.
- * - The generator's return type `A` becomes the output's `A` parameter.
+ * This is a pure type alias with no runtime behavior. It infers `R`, `O`, and
+ * `E` from the yielded values via {@link Variance} or `Kind` constraints. The
+ * generator's return type `A` becomes the output's `A` parameter.
  *
  * **Example** (Typing a gen function for Option)
  *
@@ -186,7 +181,6 @@ export interface Variance<in out F extends TypeLambda, in R, out O, out E> {
  *
  * @see {@link Variance} — encodes the variance used for inference
  * @see {@link SingleShotGen} — the iterator protocol that makes yielding work
- *
  * @category models
  * @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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;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;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAahC;;;;OAIG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;CAG5C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAChD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;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;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAahC;;;;OAIG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;CAG5C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;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

@@ -1,21 +1,20 @@
 /**
  * An `IterableIterator` that yields its wrapped value exactly once.
  *
- * When to use:
+ * **When to use**
  *
- * - Implement `[Symbol.iterator]()` on Effect-like types so they can be
- *   `yield*`-ed inside generator functions (e.g. `Effect.gen`, `Option.gen`).
- * - You almost never construct this directly — it is created internally by
- *   yieldable types.
+ * Implement `[Symbol.iterator]()` on Effect-like types so they can be
+ * `yield*`-ed inside generator functions, such as `Effect.gen` and
+ * `Option.gen`. You almost never construct this directly — it is created
+ * internally by yieldable types.
  *
- * Behavior:
+ * **Details**
  *
- * - The first call to `next()` returns `{ value: self, done: false }`.
- * - Every subsequent call returns `{ value: a, done: true }` where `a` is
- *   the argument passed to `next()`.
- * - `[Symbol.iterator]()` returns a **new** `SingleShotGen` wrapping the same
- *   value, so the outer type can be iterated multiple times.
- * - Does not mutate the wrapped value.
+ * The first call to `next()` returns `{ value: self, done: false }`. Every
+ * subsequent call returns `{ value: a, done: true }` where `a` is the argument
+ * passed to `next()`. `[Symbol.iterator]()` returns a **new** `SingleShotGen`
+ * wrapping the same value, so the outer type can be iterated multiple times.
+ * It does not mutate the wrapped value.
  *
  * **Example** (Yielding a wrapped value in a generator)
  *
@@ -34,7 +33,6 @@
  * ```
  *
  * @see {@link Gen} — the type-level signature that relies on `SingleShotGen`
- *
  * @category constructors
  * @since 2.0.0
  */

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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCA,OAAM,MAAOA,aAAa;EAChBC,MAAM,GAAG,KAAK;EACbC,IAAI;EAEbC,YAAYD,IAAO;IACjB,IAAI,CAACA,IAAI,GAAGA,IAAI;EAClB;EAEA;;;;;EAKAE,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;;;;;EAKA,CAACC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIT,aAAa,CAAO,IAAI,CAACE,IAAI,CAAC;EAC3C;;AAyGF,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","InternalTypeId","standard","body","forced","isNotOptimizedAway","Error","stack","includes","internalCall"],"sources":["../src/Utils.ts"],"sourcesContent":[null],"mappings":"AA8DA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCA,OAAM,MAAOA,aAAa;EAChBC,MAAM,GAAG,KAAK;EACbC,IAAI;EAEbC,YAAYD,IAAO;IACjB,IAAI,CAACA,IAAI,GAAGA,IAAI;EAClB;EAEA;;;;;EAKAE,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;;;;;EAKA,CAACC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIT,aAAa,CAAO,IAAI,CAACE,IAAI,CAAC;EAC3C;;AAqGF,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":[]}

package/dist/index.d.ts

@@ -2539,17 +2539,28 @@ export * as Latch from "./Latch.ts";
  * application. Services can be injected into effects via
  * `Effect.provideService`. Effects can require services via `Effect.service`.
  *
- * Layer can be thought of as recipes for producing bundles of services, given
- * their dependencies (other services).
+ * A layer is a recipe for producing services from their dependencies:
  *
- * Construction of services can be effectful and utilize resources that must be
- * acquired and safely released when the services are done being utilized.
+ * - `ROut` is what the layer provides.
+ * - `E` is what can fail while building the layer.
+ * - `RIn` is what the layer needs in order to build.
  *
- * By default layers are shared, meaning that if the same layer is used twice
- * the layer will only be allocated a single time.
+ * Normal application code should ask for services. Layer code should create
+ * services. The application entry point should provide the final layer once.
+ * Keeping this boundary clear makes programs easier to reuse with production,
+ * test, or mock implementations.
+ *
+ * Construction of services can be effectful and can acquire resources that must
+ * be safely released when the services are no longer used. For example, a layer
+ * can open a database pool during acquisition and close it in a finalizer.
+ *
+ * Layers are lazy: they do not build anything until they are provided to a
+ * program or explicitly built. By default layers are shared, meaning that if the
+ * same layer value is used twice, it is allocated only once and both users share
+ * the same service instance.
  *
  * Because of their excellent composition properties, layers are the idiomatic
- * way in Effect-TS to create services that depend on other services.
+ * way in Effect to create services that depend on other services.
  *
  * @since 2.0.0
  */