effect 2.0.0-next.56 → 2.0.0-next.57

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, NoInfer } from "./Types.js";
+import type { Concurrency, Covariant, NoInfer } from "./Types.js";
 import type * as Unify from "./Unify.js";
 /**
  * @since 2.0.0
@@ -112,10 +112,10 @@ export interface EffectTypeLambda extends TypeLambda {
  * @since 2.0.0
  * @category models
  */
-export interface Blocked<out R, out E, out 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
@@ -181,9 +181,9 @@ export declare namespace Effect {
      */
     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
@@ -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;
@@ -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
@@ -3536,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