effect 2.0.0-next.55 → 2.0.0-next.57

package/dist/dts/Differ.d.ts

@@ -7,6 +7,7 @@ import type { Either } from "./Either.js";
 import type { Equal } from "./Equal.js";
 import type { HashMap } from "./HashMap.js";
 import type { HashSet } from "./HashSet.js";
+import type * as Types from "./Types.js";
 /**
  * @since 2.0.0
  * @category symbol
@@ -36,15 +37,15 @@ export type TypeId = typeof TypeId;
  * @since 2.0.0
  * @category models
  */
-export interface Differ<Value, Patch> {
+export interface Differ<in out Value, in out Patch> {
     readonly [TypeId]: {
-        readonly _V: (_: Value) => Value;
-        readonly _P: (_: Patch) => Patch;
+        readonly _V: Types.Invariant<Value>;
+        readonly _P: Types.Invariant<Patch>;
     };
     readonly empty: Patch;
-    readonly diff: (oldValue: Value, newValue: Value) => Patch;
-    readonly combine: (first: Patch, second: Patch) => Patch;
-    readonly patch: (patch: Patch, oldValue: Value) => Value;
+    diff(oldValue: Value, newValue: Value): Patch;
+    combine(first: Patch, second: Patch): Patch;
+    patch(patch: Patch, oldValue: Value): Value;
 }
 declare const ChunkPatchTypeId: unique symbol;
 declare const ContextPatchTypeId: unique symbol;
@@ -72,10 +73,10 @@ export declare namespace Differ {
          * @since 2.0.0
          * @category models
          */
-        interface Patch<Input, Output> extends Equal {
+        interface Patch<in Input, out Output> extends Equal {
             readonly [ContextPatchTypeId]: {
-                readonly _Input: (_: Input) => void;
-                readonly _Output: (_: never) => Output;
+                readonly _Input: Types.Contravariant<Input>;
+                readonly _Output: Types.Covariant<Output>;
             };
         }
     }
@@ -94,10 +95,10 @@ export declare namespace Differ {
          * @since 2.0.0
          * @category models
          */
-        interface Patch<Value, Patch> extends Equal {
+        interface Patch<in out Value, in out Patch> extends Equal {
             readonly [ChunkPatchTypeId]: {
-                readonly _Value: (_: Value) => Value;
-                readonly _Patch: (_: Patch) => Patch;
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Patch: Types.Invariant<Patch>;
             };
         }
     }
@@ -116,11 +117,11 @@ export declare namespace Differ {
          * @since 2.0.0
          * @category models
          */
-        interface Patch<Key, Value, Patch> extends Equal {
+        interface Patch<in out Key, in out Value, in out Patch> extends Equal {
             readonly [HashMapPatchTypeId]: {
-                readonly _Key: (_: Key) => Key;
-                readonly _Value: (_: Value) => Value;
-                readonly _Patch: (_: Patch) => Patch;
+                readonly _Key: Types.Invariant<Key>;
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Patch: Types.Invariant<Patch>;
             };
         }
     }
@@ -139,9 +140,9 @@ export declare namespace Differ {
          * @since 2.0.0
          * @category models
          */
-        interface Patch<Value> extends Equal {
+        interface Patch<in out Value> extends Equal {
             readonly [HashSetPatchTypeId]: {
-                readonly _Value: (_: Value) => Value;
+                readonly _Value: Types.Invariant<Value>;
             };
         }
     }
@@ -160,12 +161,12 @@ export declare namespace Differ {
          * @since 2.0.0
          * @category models
          */
-        interface Patch<Value, Value2, Patch, Patch2> extends Equal {
+        interface Patch<in out Value, in out Value2, in out Patch, in out Patch2> extends Equal {
             readonly [OrPatchTypeId]: {
-                readonly _Value: (_: Value) => Value;
-                readonly _Value2: (_: Value2) => Value2;
-                readonly _Patch: (_: Patch) => Patch;
-                readonly _Patch2: (_: Patch2) => Patch2;
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Value2: Types.Invariant<Value2>;
+                readonly _Patch: Types.Invariant<Patch>;
+                readonly _Patch2: Types.Invariant<Patch2>;
             };
         }
     }

package/dist/dts/Differ.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Differ.d.ts","sourceRoot":"","sources":["../../src/Differ.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAQ3C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwC,CAAA;AAEpE;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,MAAM,CAAC,KAAK,EAAE,KAAK;IAClC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;QAChC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;KACjC,CAAA;IACD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;IAC1D,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,KAAK,CAAA;IACxD,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;CACzD;AAED,QAAA,MAAM,gBAAgB,EAAE,OAAO,MAA2D,CAAA;AAC1F,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,aAAa,EAAE,OAAO,MAAkD,CAAA;AAE9E;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;;;WAOG;QACH,UAAiB,KAAK,CAAC,KAAK,EAAE,MAAM,CAAE,SAAQ,KAAK;YACjD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAA;gBACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,MAAM,CAAA;aACvC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,KAAK,CAAC;QACrB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,gBAAgB,CAAA;QAC5C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,KAAK,EAAE,KAAK,CAAE,SAAQ,KAAK;YAChD,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE;gBAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;aACrC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAE,SAAQ,KAAK;YACrD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;gBAC9B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;aACrC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,KAAK,CAAE,SAAQ,KAAK;YACzC,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;aACrC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,EAAE,CAAC;QAClB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,aAAa,CAAA;QACzC;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAE,SAAQ,KAAK;YAChE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE;gBACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAA;aACxC,CAAA;SACF;KACF;CACF;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,KAEnD,CAAA;AAEf;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,KAAK,EAC/C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,QAAQ,EAAE,KAAK,EACf,QAAQ,EAAE,KAAK,GACd,KAAK,CAAA;CAQT,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,KAAK,EAC1C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,KAAK,GACZ,KAAK,CAAA;CAQT,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAC7C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,KAAK,GACd,KAAK,CAAA;CAQT,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;IAC1D,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,KAAK,CAAA;IACxD,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;CACzD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAiB,CAAA;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,OAAO,MAAM,CACvC,OAAO,CAAC,CAAC,CAAC,EACV,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CACJ,CAAA;AAExB;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAC/B,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAkB,CAAA;AAE5E;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EACtC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAoB,CAAA;AAE5F;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,OAAO,MAAM,CACvC,OAAO,CAAC,KAAK,CAAC,EACd,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CACT,CAAA;AAEpB;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAC3D,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,MAAM,CACT,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAC9C,CAAA;IACD,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,MAAM,CACP,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAC9C,CAAA;CACsB,CAAA;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE;QACvB,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;QACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KACzC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,OAAO,EAAE;QACP,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;QACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KACzC,GACA,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;CACJ,CAAA;AAEtB;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAmB,CAAA;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAuB,CAAA;AAElG;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAC3D,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,MAAM,CACT,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,6BAA6B;IACvD,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CACzB,CAAA;IACD,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,MAAM,CACP,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,6BAA6B;IACvD,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CACzB,CAAA;CACa,CAAA"}
+{"version":3,"file":"Differ.d.ts","sourceRoot":"","sources":["../../src/Differ.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAO3C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwC,CAAA;AAEpE;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK;IAChD,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;KACpC,CAAA;IACD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAA;IAC7C,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,KAAK,CAAA;IAC3C,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAA;CAC5C;AAED,QAAA,MAAM,gBAAgB,EAAE,OAAO,MAA2D,CAAA;AAC1F,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,aAAa,EAAE,OAAO,MAAkD,CAAA;AAE9E;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;;;WAOG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAE,SAAQ,KAAK;YACxD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;gBAC3C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;aAC1C,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,KAAK,CAAC;QACrB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,gBAAgB,CAAA;QAC5C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAC9D,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE;gBAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAC1E,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;gBACnC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAChD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,EAAE,CAAC;QAClB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,aAAa,CAAA;QACzC;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAE,SAAQ,KAAK;YAC5F,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE;gBACxB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACzC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;aAC1C,CAAA;SACF;KACF;CACF;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,KAEnD,CAAA;AAEf;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,KAAK,EAC/C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,QAAQ,EAAE,KAAK,EACf,QAAQ,EAAE,KAAK,GACd,KAAK,CAAA;CAQT,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,KAAK,EAC1C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,KAAK,GACZ,KAAK,CAAA;CAQT,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAC7C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,KAAK,GACd,KAAK,CAAA;CAQT,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;IAC1D,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,KAAK,CAAA;IACxD,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;CACzD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAiB,CAAA;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,OAAO,MAAM,CACvC,OAAO,CAAC,CAAC,CAAC,EACV,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CACJ,CAAA;AAExB;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAC/B,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAkB,CAAA;AAE5E;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EACtC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAoB,CAAA;AAE5F;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,OAAO,MAAM,CACvC,OAAO,CAAC,KAAK,CAAC,EACd,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CACT,CAAA;AAEpB;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAC3D,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,MAAM,CACT,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAC9C,CAAA;IACD,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,MAAM,CACP,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAC9C,CAAA;CACsB,CAAA;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE;QACvB,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;QACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KACzC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,OAAO,EAAE;QACP,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;QACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KACzC,GACA,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;CACJ,CAAA;AAEtB;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAmB,CAAA;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAuB,CAAA;AAElG;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAC3D,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,MAAM,CACT,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,6BAA6B;IACvD,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CACzB,CAAA;IACD,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,MAAM,CACP,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,6BAA6B;IACvD,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CACzB,CAAA;CACa,CAAA"}

package/dist/dts/Duration.d.ts

@@ -43,7 +43,7 @@ export type Unit = "nanos" | "micros" | "millis" | "seconds" | "minutes" | "hour
  * @since 2.0.0
  * @category models
  */
-export type DurationInput = Duration | number | bigint | `${number} ${Unit}`;
+export type DurationInput = Duration | number | bigint | [number, number] | `${number} ${Unit}`;
 /**
  * @since 2.0.0
  */
@@ -273,5 +273,16 @@ export declare const equals: {
     (that: DurationInput): (self: DurationInput) => boolean;
     (self: DurationInput, that: DurationInput): boolean;
 };
+/**
+ * Converts a `Duration` to a human readable string.
+ * @since 2.0.0
+ *
+ * @example
+ * import * as Duration from "effect/Duration"
+ *
+ * Duration.format(Duration.millis(1000)) // "1s"
+ * Duration.format(Duration.millis(1001)) // "1s 1ms"
+ */
+export declare const format: (self: DurationInput) => string;
 export {};
 //# sourceMappingURL=Duration.d.ts.map

package/dist/dts/Duration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Duration.d.ts","sourceRoot":"","sources":["../../src/Duration.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAGpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAI7C,QAAA,MAAM,MAAM,EAAE,OAAO,MAAsC,CAAA;AAK3D;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW;IAClE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAC9B;AACD;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAExB;;;GAGG;AACH,MAAM,MAAM,IAAI,GACZ,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,MAAM,GACN,OAAO,CAAA;AAEX;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB,QAAQ,GACR,MAAM,GACN,MAAM,GACN,GAAG,MAAM,IAAI,IAAI,EAAE,CAAA;AAIvB;;GAEG;AACH,eAAO,MAAM,MAAM,UAAW,aAAa,KAAG,QAkC7C,CAAA;AAsDD;;;GAGG;AACH,eAAO,MAAM,UAAU,MAAO,OAAO,kBAA0C,CAAA;AAE/E;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,QAAkB,CAAA;AAErC;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,QAAyB,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAuB,CAAA;AAE7D;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,MAAM,KAAG,QAAoC,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,MAAM,KAAG,QAAwB,CAAA;AAEhE;;;GAGG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,QAAgC,CAAA;AAE1E;;;GAGG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,QAAkC,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAmC,CAAA;AAEzE;;;GAGG;AACH,eAAO,MAAM,IAAI,SAAU,MAAM,KAAG,QAAmC,CAAA;AAEvE;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAqC,CAAA;AAE3E;;;GAGG;AACH,eAAO,MAAM,QAAQ,SAAU,aAAa,KAAG,MAU9C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,SAAU,aAAa,KAAG,MAAgC,CAAA;AAEhF;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,SAAU,aAAa,KAAG,aAAa,CAAC,MAAM,CAUjE,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,SAAU,aAAa,KAAG,MAUnD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,SAAU,aAAa,KAAG,CAAC,SAAS,MAAM,EAAE,OAAO,MAAM,CAgB7E,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EACH,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;QACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KACvC,GACA,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;QACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KACvC,GACA,CAAC,GAAG,CAAC,CAAA;CAiBR,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;KACpD,GACA,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;KACpD,GACA,CAAC,GAAG,CAAC,CAAA;CA8BR,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAKvC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,OAAO,EAAE;QACR,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACpC,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,OAAO,CAAA;CACmC,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,QAAQ,CAItD,CAAA;AAIJ;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAC+C,CAAA;AAIrG;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAC+C,CAAA;AAIrG;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,OAAO,EAAE;QACR,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACrC,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,QAAQ,CAAA;CAWb,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IAClD,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;CAQ/C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAQrD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE;IAC9B,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE;IACjC,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CACsD,CAAA"}
+{"version":3,"file":"Duration.d.ts","sourceRoot":"","sources":["../../src/Duration.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAGpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAI7C,QAAA,MAAM,MAAM,EAAE,OAAO,MAAsC,CAAA;AAK3D;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW;IAClE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAC9B;AACD;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAExB;;;GAGG;AACH,MAAM,MAAM,IAAI,GACZ,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,MAAM,GACN,OAAO,CAAA;AAEX;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB,QAAQ,GACR,MAAM,GACN,MAAM,GACN,CAAC,MAAM,EAAE,MAAM,CAAC,GAChB,GAAG,MAAM,IAAI,IAAI,EAAE,CAAA;AAIvB;;GAEG;AACH,eAAO,MAAM,MAAM,UAAW,aAAa,KAAG,QAsC7C,CAAA;AAsDD;;;GAGG;AACH,eAAO,MAAM,UAAU,MAAO,OAAO,kBAA0C,CAAA;AAE/E;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,QAAkB,CAAA;AAErC;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,QAAyB,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAuB,CAAA;AAE7D;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,MAAM,KAAG,QAAoC,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,MAAM,KAAG,QAAwB,CAAA;AAEhE;;;GAGG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,QAAgC,CAAA;AAE1E;;;GAGG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,QAAkC,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAmC,CAAA;AAEzE;;;GAGG;AACH,eAAO,MAAM,IAAI,SAAU,MAAM,KAAG,QAAmC,CAAA;AAEvE;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAqC,CAAA;AAE3E;;;GAGG;AACH,eAAO,MAAM,QAAQ,SAAU,aAAa,KAAG,MAU9C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,SAAU,aAAa,KAAG,MAAgC,CAAA;AAEhF;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,SAAU,aAAa,KAAG,aAAa,CAAC,MAAM,CAUjE,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,SAAU,aAAa,KAAG,MAUnD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,SAAU,aAAa,KAAG,CAAC,SAAS,MAAM,EAAE,OAAO,MAAM,CAgB7E,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EACH,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;QACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KACvC,GACA,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;QACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KACvC,GACA,CAAC,GAAG,CAAC,CAAA;CAiBR,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;KACpD,GACA,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;KACpD,GACA,CAAC,GAAG,CAAC,CAAA;CA8BR,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAKvC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,OAAO,EAAE;QACR,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACpC,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,OAAO,CAAA;CACmC,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,QAAQ,CAItD,CAAA;AAIJ;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAC+C,CAAA;AAIrG;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAC+C,CAAA;AAIrG;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,OAAO,EAAE;QACR,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACrC,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,QAAQ,CAAA;CAWb,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IAClD,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;CAQ/C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAQrD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE;IAC9B,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE;IACjC,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CACsD,CAAA;AAE3G;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,SAAU,aAAa,KAAG,MAwC5C,CAAA"}

package/dist/dts/Effect.d.ts

@@ -44,7 +44,7 @@ import * as Scheduler from "./Scheduler.js";
 import type * as Scope from "./Scope.js";
 import type * as Supervisor from "./Supervisor.js";
 import type * as Tracer from "./Tracer.js";
-import type { Concurrency } from "./Types.js";
+import type { Concurrency, Covariant, NoInfer } from "./Types.js";
 import type * as Unify from "./Unify.js";
 /**
  * @since 2.0.0
@@ -78,7 +78,7 @@ export type EffectTypeId = typeof EffectTypeId;
  * @since 2.0.0
  * @category models
  */
-export interface Effect<R, E, A> extends Effect.Variance<R, E, A>, Equal.Equal, Pipeable {
+export interface Effect<out R, out E, out A> extends Effect.Variance<R, E, A>, Equal.Equal, Pipeable {
     readonly [Unify.typeSymbol]?: unknown;
     readonly [Unify.unifySymbol]?: EffectUnify<this>;
     readonly [Unify.ignoreSymbol]?: EffectUnifyIgnore;
@@ -112,10 +112,10 @@ export interface EffectTypeLambda extends TypeLambda {
  * @since 2.0.0
  * @category models
  */
-export interface Blocked<R, E, A> extends Effect<R, E, A> {
+export interface Blocked<out E, out A> extends Effect<never, E, A> {
     readonly _op: "Blocked";
-    readonly i0: RequestBlock<R>;
-    readonly i1: Effect<R, E, A>;
+    readonly i0: RequestBlock;
+    readonly i1: Effect<never, E, A>;
 }
 /**
  * @since 2.0.0
@@ -172,18 +172,18 @@ export declare namespace Effect {
      * @since 2.0.0
      * @category models
      */
-    interface Variance<R, E, A> {
+    interface Variance<out R, out E, out A> {
         readonly [EffectTypeId]: VarianceStruct<R, E, A>;
     }
     /**
      * @since 2.0.0
      * @category models
      */
-    interface VarianceStruct<R, E, A> {
+    interface VarianceStruct<out R, out E, out A> {
         readonly _V: string;
-        readonly _R: (_: never) => R;
-        readonly _E: (_: never) => E;
-        readonly _A: (_: never) => A;
+        readonly _R: Covariant<R>;
+        readonly _E: Covariant<E>;
+        readonly _A: Covariant<A>;
     }
     /**
      * @since 2.0.0
@@ -410,7 +410,7 @@ export declare const allSuccesses: <R, E, A>(elements: Iterable<Effect<R, E, A>>
  * @category collecting & elements
  */
 export declare const dropUntil: {
-    <A, R, E>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<A>) => Effect<R, E, Array<A>>;
+    <B extends A, R, E, A = B>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<B>) => Effect<R, E, Array<B>>;
     <A, R, E>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>;
 };
 /**
@@ -420,8 +420,8 @@ export declare const dropUntil: {
  * @category collecting & elements
  */
 export declare const dropWhile: {
-    <R, E, A>(f: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<A>) => Effect<R, E, Array<A>>;
-    <R, E, A>(elements: Iterable<A>, f: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>;
+    <B extends A, R, E, A = B>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<B>) => Effect<R, E, Array<B>>;
+    <A, R, E>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>;
 };
 /**
  * Determines whether all elements of the `Collection<A>` satisfies the effectual
@@ -561,11 +561,11 @@ export declare const partition: {
     <R, E, A, B>(f: (a: A) => Effect<R, E, B>, options?: {
         readonly concurrency?: Concurrency | undefined;
         readonly batching?: boolean | "inherit" | undefined;
-    }): (elements: Iterable<A>) => Effect<R, never, [Array<E>, Array<B>]>;
+    }): (elements: Iterable<A>) => Effect<R, never, [excluded: Array<E>, satisfying: Array<B>]>;
     <R, E, A, B>(elements: Iterable<A>, f: (a: A) => Effect<R, E, B>, options?: {
         readonly concurrency?: Concurrency | undefined;
         readonly batching?: boolean | "inherit" | undefined;
-    }): Effect<R, never, [Array<E>, Array<B>]>;
+    }): Effect<R, never, [excluded: Array<E>, satisfying: Array<B>]>;
 };
 /**
  * Folds an `Iterable<A>` using an effectual function f, working sequentially
@@ -667,7 +667,7 @@ export declare const replicateEffect: {
  * @category collecting & elements
  */
 export declare const takeUntil: {
-    <R, E, A>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<A>) => Effect<R, E, Array<A>>;
+    <B extends A, R, E, A = B>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<B>) => Effect<R, E, Array<B>>;
     <R, E, A>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>;
 };
 /**
@@ -677,7 +677,7 @@ export declare const takeUntil: {
  * @category collecting & elements
  */
 export declare const takeWhile: {
-    <R, E, A>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<A>) => Effect<R, E, Array<A>>;
+    <R, E, B extends A, A = B>(predicate: (a: A, i: number) => Effect<R, E, boolean>): (elements: Iterable<B>) => Effect<R, E, Array<B>>;
     <R, E, A>(elements: Iterable<A>, predicate: (a: A, i: number) => Effect<R, E, boolean>): Effect<R, E, Array<A>>;
 };
 /**
@@ -863,7 +863,7 @@ export declare const gen: {
  * @category models
  * @since 2.0.0
  */
-export interface EffectGen<R, E, A> {
+export interface EffectGen<out R, out E, out A> {
     readonly _R: () => R;
     readonly _E: () => E;
     readonly _A: () => A;
@@ -1006,7 +1006,7 @@ export declare const catchAll: {
 /**
  * Recovers from both recoverable and unrecoverable errors.
  *
- * See `absorb`, `sandbox`, `mapErrorCause` for other functions that can
+ * See `sandbox`, `mapErrorCause` for other functions that can
  * recover from defects.
  *
  * @since 2.0.0
@@ -1107,13 +1107,17 @@ export declare const catchTag: {
  * @category error handling
  */
 export declare const catchTags: {
-    <E, Cases extends (E extends {
-        _tag: string;
-    } ? {
-        [K in E["_tag"]]+?: ((error: Extract<E, {
+    <E, Cases extends {
+        [K in Extract<E, {
+            _tag: string;
+        }>["_tag"]]+?: ((error: Extract<E, {
             _tag: K;
         }>) => Effect<any, any, any>);
-    } : {})>(cases: Cases): <R, A>(self: Effect<R, E, A>) => Effect<R | {
+    } & (unknown extends E ? {} : {
+        [K in Exclude<keyof Cases, Extract<E, {
+            _tag: string;
+        }>["_tag"]>]: never;
+    })>(cases: Cases): <R, A>(self: Effect<R, E, A>) => Effect<R | {
         [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<infer R, any, any> ? R : never;
     }[keyof Cases], Exclude<E, {
         _tag: keyof Cases;
@@ -1122,13 +1126,17 @@ export declare const catchTags: {
     }[keyof Cases], A | {
         [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<any, any, infer A> ? A : never;
     }[keyof Cases]>;
-    <R, E, A, Cases extends (E extends {
-        _tag: string;
-    } ? {
-        [K in E["_tag"]]+?: ((error: Extract<E, {
+    <R, E, A, Cases extends {
+        [K in Extract<E, {
+            _tag: string;
+        }>["_tag"]]+?: ((error: Extract<E, {
             _tag: K;
         }>) => Effect<any, any, any>);
-    } : {})>(self: Effect<R, E, A>, cases: Cases): Effect<R | {
+    } & (unknown extends E ? {} : {
+        [K in Exclude<keyof Cases, Extract<E, {
+            _tag: string;
+        }>["_tag"]>]: never;
+    })>(self: Effect<R, E, A>, cases: Cases): Effect<R | {
         [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<infer R, any, any> ? R : never;
     }[keyof Cases], Exclude<E, {
         _tag: keyof Cases;
@@ -1268,7 +1276,7 @@ declare const try_: {
         readonly try: LazyArg<A>;
         readonly catch: (error: unknown) => E;
     }): Effect<never, E, A>;
-    <A>(evaluate: LazyArg<A>): Effect<never, unknown, A>;
+    <A>(evaluate: LazyArg<A>): Effect<never, Cause.UnknownException, A>;
 };
 export { 
 /**
@@ -1333,7 +1341,7 @@ export declare const tryPromise: {
         readonly try: (signal: AbortSignal) => Promise<A>;
         readonly catch: (error: unknown) => E;
     }): Effect<never, E, A>;
-    <A>(try_: (signal: AbortSignal) => Promise<A>): Effect<never, unknown, A>;
+    <A>(try_: (signal: AbortSignal) => Promise<A>): Effect<never, Cause.UnknownException, A>;
 };
 /**
  * The inverse operation `sandbox(effect)`
@@ -1559,7 +1567,7 @@ export declare const mapError: {
  * function. This can be used to transform errors while preserving the
  * original structure of `Cause`.
  *
- * See `absorb`, `sandbox`, `catchAllCause` for other functions for dealing
+ * See `sandbox`, `catchAllCause` for other functions for dealing
  * with defects.
  *
  * @since 2.0.0
@@ -2562,6 +2570,18 @@ export declare const flatMap: {
     <A, R1, E1, B>(f: (a: A) => Effect<R1, E1, B>): <R, E>(self: Effect<R, E, A>) => Effect<R1 | R, E1 | E, B>;
     <R, E, A, R1, E1, B>(self: Effect<R, E, A>, f: (a: A) => Effect<R1, E1, B>): Effect<R | R1, E | E1, B>;
 };
+/**
+ * Executes a sequence of two `Effect`s. The second `Effect` can be dependent on the result of the first `Effect`.
+ *
+ * @since 2.0.0
+ * @category sequencing
+ */
+export declare const andThen: {
+    <A, X>(f: (a: NoInfer<A>) => X): <R, E>(self: Effect<R, E, A>) => [X] extends [Effect<infer R1, infer E1, infer A1>] ? Effect<R | R1, E | E1, A1> : [X] extends [Promise<infer A1>] ? Effect<R, E | Cause.UnknownException, A1> : Effect<R, E, X>;
+    <X>(f: X): <R, E, A>(self: Effect<R, E, A>) => [X] extends [Effect<infer R1, infer E1, infer A1>] ? Effect<R | R1, E | E1, A1> : [X] extends [Promise<infer A1>] ? Effect<R, Cause.UnknownException | E, A1> : Effect<R, E, X>;
+    <A, R, E, X>(self: Effect<R, E, A>, f: (a: NoInfer<A>) => X): [X] extends [Effect<infer R1, infer E1, infer A1>] ? Effect<R | R1, E | E1, A1> : [X] extends [Promise<infer A1>] ? Effect<R, Cause.UnknownException | E, A1> : Effect<R, E, X>;
+    <A, R, E, X>(self: Effect<R, E, A>, f: X): [X] extends [Effect<infer R1, infer E1, infer A1>] ? Effect<R | R1, E | E1, A1> : [X] extends [Promise<infer A1>] ? Effect<R, Cause.UnknownException | E, A1> : Effect<R, E, X>;
+};
 /**
  * @since 2.0.0
  * @category sequencing
@@ -2642,8 +2662,10 @@ export declare const summarized: {
  * @category sequencing
  */
 export declare const tap: {
-    <A, X extends A, R2, E2, _>(f: (a: X) => Effect<R2, E2, _>): <R, E>(self: Effect<R, E, A>) => Effect<R2 | R, E2 | E, A>;
-    <R, E, A, X extends A, R2, E2, _>(self: Effect<R, E, A>, f: (a: X) => Effect<R2, E2, _>): Effect<R | R2, E | E2, A>;
+    <A, X>(f: (a: NoInfer<A>) => X): <R, E>(self: Effect<R, E, A>) => [X] extends [Effect<infer R1, infer E1, infer _A1>] ? Effect<R | R1, E | E1, A> : [X] extends [Promise<infer _A1>] ? Effect<R, E | Cause.UnknownException, A> : Effect<R, E, A>;
+    <X>(f: X): <R, E, A>(self: Effect<R, E, A>) => [X] extends [Effect<infer R1, infer E1, infer _A1>] ? Effect<R | R1, E | E1, A> : [X] extends [Promise<infer _A1>] ? Effect<R, Cause.UnknownException | E, A> : Effect<R, E, A>;
+    <A, R, E, X>(self: Effect<R, E, A>, f: (a: NoInfer<A>) => X): [X] extends [Effect<infer R1, infer E1, infer _A1>] ? Effect<R | R1, E | E1, A> : [X] extends [Promise<infer _A1>] ? Effect<R, Cause.UnknownException | E, A> : Effect<R, E, A>;
+    <A, R, E, X>(self: Effect<R, E, A>, f: X): [X] extends [Effect<infer R1, infer E1, infer _A1>] ? Effect<R | R1, E | E1, A> : [X] extends [Promise<infer _A1>] ? Effect<R, Cause.UnknownException | E, A> : Effect<R, E, A>;
 };
 /**
  * Returns an effect that effectfully "peeks" at the failure or success of
@@ -3366,9 +3388,9 @@ export interface Permit {
  * @since 2.0.0
  */
 export interface Semaphore {
-    readonly withPermits: (permits: number) => <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, A>;
-    readonly take: (permits: number) => Effect<never, never, number>;
-    readonly release: (permits: number) => Effect<never, never, void>;
+    withPermits(permits: number): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, A>;
+    take(permits: number): Effect<never, never, number>;
+    release(permits: number): Effect<never, never, void>;
 }
 /**
  * Unsafely creates a new Semaphore
@@ -3522,22 +3544,17 @@ export declare const ap: {
  * @category requests & batching
  * @since 2.0.0
  */
-export declare const blocked: <R, E, A>(blockedRequests: RequestBlock<R>, _continue: Effect<R, E, A>) => Blocked<R, E, A>;
-/**
- * @category requests & batching
- * @since 2.0.0
- */
-export declare const runRequestBlock: <R>(blockedRequests: RequestBlock<R>) => Blocked<R, never, void>;
+export declare const blocked: <E, A>(blockedRequests: RequestBlock, _continue: Effect<never, E, A>) => Blocked<E, A>;
 /**
  * @category requests & batching
  * @since 2.0.0
  */
-export declare const step: <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, Exit.Exit<E, A> | Blocked<R, E, A>>;
+export declare const runRequestBlock: <R>(blockedRequests: RequestBlock) => Effect<R, never, void>;
 /**
  * @category requests & batching
  * @since 2.0.0
  */
-export declare const flatMapStep: <R, E, A, R1, E1, B>(self: Effect<R, E, A>, f: (step: Exit.Exit<E, A> | Blocked<R, E, A>) => Effect<R1, E1, B>) => Effect<R | R1, E1, B>;
+export declare const step: <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, Exit.Exit<E, A> | Blocked<E, A>>;
 /**
  * @since 2.0.0
  * @category requests & batching