effect 3.13.6 → 3.13.7

package/dist/dts/Effect.d.ts

@@ -1014,13 +1014,13 @@ export declare const once: <A, E, R>(self: Effect<A, E, R>) => Effect<Effect<voi
  * @since 2.0.0
  * @category Collecting
  */
-export declare const all: <const Arg extends Iterable<Effect<any, any, any>> | Record<string, Effect<any, any, any>>, O extends {
+export declare const all: <const Arg extends Iterable<Effect<any, any, any>> | Record<string, Effect<any, any, any>>, O extends NoExcessProperties<{
     readonly concurrency?: Concurrency | undefined;
     readonly batching?: boolean | "inherit" | undefined;
     readonly discard?: boolean | undefined;
     readonly mode?: "default" | "validate" | "either" | undefined;
     readonly concurrentFinalizers?: boolean | undefined;
-}>(arg: Arg, options?: O) => All.Return<Arg, O>;
+}, O>>(arg: Arg, options?: O) => All.Return<Arg, O>;
 /**
  * A data-last version of {@link all}, designed for use in pipelines.
  *
@@ -1060,13 +1060,13 @@ export declare const all: <const Arg extends Iterable<Effect<any, any, any>> | R
  * @since 2.0.0
  * @category Collecting
  */
-export declare const allWith: <O extends {
+export declare const allWith: <O extends NoExcessProperties<{
     readonly concurrency?: Concurrency | undefined;
     readonly batching?: boolean | "inherit" | undefined;
     readonly discard?: boolean | undefined;
     readonly mode?: "default" | "validate" | "either" | undefined;
     readonly concurrentFinalizers?: boolean | undefined;
-}>(options?: O) => <const Arg extends Iterable<Effect<any, any, any>> | Record<string, Effect<any, any, any>>>(arg: Arg) => All.Return<Arg, O>;
+}, O>>(options?: O) => <const Arg extends Iterable<Effect<any, any, any>> | Record<string, Effect<any, any, any>>>(arg: Arg) => All.Return<Arg, O>;
 /**
  * @since 2.0.0
  */
@@ -1134,13 +1134,13 @@ export declare namespace All {
     /**
      * @since 2.0.0
      */
-    type Return<Arg extends Iterable<EffectAny> | Record<string, EffectAny>, O extends {
+    type Return<Arg extends Iterable<EffectAny> | Record<string, EffectAny>, O extends NoExcessProperties<{
         readonly concurrency?: Concurrency | undefined;
         readonly batching?: boolean | "inherit" | undefined;
         readonly discard?: boolean | undefined;
         readonly mode?: "default" | "validate" | "either" | undefined;
         readonly concurrentFinalizers?: boolean | undefined;
-    }> = [Arg] extends [ReadonlyArray<EffectAny>] ? ReturnTuple<Arg, IsDiscard<O>, ExtractMode<O>> : [Arg] extends [Iterable<EffectAny>] ? ReturnIterable<Arg, IsDiscard<O>, ExtractMode<O>> : [Arg] extends [Record<string, EffectAny>] ? ReturnObject<Arg, IsDiscard<O>, ExtractMode<O>> : never;
+    }, O>> = [Arg] extends [ReadonlyArray<EffectAny>] ? ReturnTuple<Arg, IsDiscard<O>, ExtractMode<O>> : [Arg] extends [Iterable<EffectAny>] ? ReturnIterable<Arg, IsDiscard<O>, ExtractMode<O>> : [Arg] extends [Record<string, EffectAny>] ? ReturnObject<Arg, IsDiscard<O>, ExtractMode<O>> : never;
 }
 /**
  * Evaluates and runs each effect in the iterable, collecting only the
@@ -7181,7 +7181,7 @@ export declare namespace Retry {
      * @since 2.0.0
      * @category Error handling
      */
-    type Return<R, E, A, O extends Options<E>> = Effect<A, (O extends {
+    type Return<R, E, A, O extends NoExcessProperties<Options<E>, O>> = Effect<A, (O extends {
         schedule: Schedule.Schedule<infer _O, infer _I, infer _R>;
     } ? E : O extends {
         until: Refinement<E, infer E2>;
@@ -7444,7 +7444,7 @@ export declare const retry: {
      * @since 2.0.0
      * @category Error handling
      */
-    <E, O extends Retry.Options<E>>(options: O): <A, R>(self: Effect<A, E, R>) => Retry.Return<R, E, A, O>;
+    <E, O extends NoExcessProperties<Retry.Options<E>, O>>(options: O): <A, R>(self: Effect<A, E, R>) => Retry.Return<R, E, A, O>;
     /**
      * Retries a failing effect based on a defined retry policy.
      *
@@ -7682,7 +7682,7 @@ export declare const retry: {
      * @since 2.0.0
      * @category Error handling
      */
-    <A, E, R, O extends Retry.Options<E>>(self: Effect<A, E, R>, options: O): Retry.Return<R, E, A, O>;
+    <A, E, R, O extends NoExcessProperties<Retry.Options<E>, O>>(self: Effect<A, E, R>, options: O): Retry.Return<R, E, A, O>;
     /**
      * Retries a failing effect based on a defined retry policy.
      *
@@ -14632,12 +14632,12 @@ export declare const bindAll: {
      * @category Do notation
      * @since 3.7.0
      */
-    <A extends object, X extends Record<string, Effect<any, any, any>>, O extends {
+    <A extends object, X extends Record<string, Effect<any, any, any>>, O extends NoExcessProperties<{
         readonly concurrency?: Concurrency | undefined;
         readonly batching?: boolean | "inherit" | undefined;
         readonly mode?: "default" | "validate" | "either" | undefined;
         readonly concurrentFinalizers?: boolean | undefined;
-    }>(f: (a: NoInfer<A>) => [Extract<keyof X, keyof A>] extends [never] ? X : `Duplicate keys`, options?: undefined | O): <E1, R1>(self: Effect<A, E1, R1>) => [All.ReturnObject<X, false, All.ExtractMode<O>>] extends [Effect<infer Success, infer Error, infer Context>] ? Effect<{
+    }, O>>(f: (a: NoInfer<A>) => [Extract<keyof X, keyof A>] extends [never] ? X : `Duplicate keys`, options?: undefined | O): <E1, R1>(self: Effect<A, E1, R1>) => [All.ReturnObject<X, false, All.ExtractMode<O>>] extends [Effect<infer Success, infer Error, infer Context>] ? Effect<{
         [K in keyof A | keyof Success]: K extends keyof A ? A[K] : K extends keyof Success ? Success[K] : never;
     }, E1 | Error, R1 | Context> : never;
     /**
@@ -14663,12 +14663,12 @@ export declare const bindAll: {
      * @category Do notation
      * @since 3.7.0
      */
-    <A extends object, X extends Record<string, Effect<any, any, any>>, O extends {
+    <A extends object, X extends Record<string, Effect<any, any, any>>, O extends NoExcessProperties<{
         readonly concurrency?: Concurrency | undefined;
         readonly batching?: boolean | "inherit" | undefined;
         readonly mode?: "default" | "validate" | "either" | undefined;
         readonly concurrentFinalizers?: boolean | undefined;
-    }, E1, R1>(self: Effect<A, E1, R1>, f: (a: NoInfer<A>) => [Extract<keyof X, keyof A>] extends [never] ? X : `Duplicate keys`, options?: undefined | {
+    }, O>, E1, R1>(self: Effect<A, E1, R1>, f: (a: NoInfer<A>) => [Extract<keyof X, keyof A>] extends [never] ? X : `Duplicate keys`, options?: undefined | {
         readonly concurrency?: Concurrency | undefined;
         readonly batching?: boolean | "inherit" | undefined;
         readonly mode?: "default" | "validate" | "either" | undefined;
@@ -20171,7 +20171,7 @@ export declare namespace Repeat {
      * @since 2.0.0
      * @category Repetition / Recursion
      */
-    type Return<R, E, A, O extends Options<A>> = Effect<(O extends {
+    type Return<R, E, A, O extends NoExcessProperties<Options<A>, O>> = Effect<(O extends {
         schedule: Schedule.Schedule<infer Out, infer _I, infer _R>;
     } ? Out : O extends {
         until: Refinement<A, infer B>;
@@ -20318,7 +20318,7 @@ export declare const repeat: {
      * @since 2.0.0
      * @category Repetition / Recursion
      */
-    <O extends Repeat.Options<A>, A>(options: O): <E, R>(self: Effect<A, E, R>) => Repeat.Return<R, E, A, O>;
+    <O extends NoExcessProperties<Repeat.Options<A>, O>, A>(options: O): <E, R>(self: Effect<A, E, R>) => Repeat.Return<R, E, A, O>;
     /**
      * Repeats an effect based on a specified schedule or until the first failure.
      *
@@ -20440,7 +20440,7 @@ export declare const repeat: {
      * @since 2.0.0
      * @category Repetition / Recursion
      */
-    <A, E, R, O extends Repeat.Options<A>>(self: Effect<A, E, R>, options: O): Repeat.Return<R, E, A, O>;
+    <A, E, R, O extends NoExcessProperties<Repeat.Options<A>, O>>(self: Effect<A, E, R>, options: O): Repeat.Return<R, E, A, O>;
     /**
      * Repeats an effect based on a specified schedule or until the first failure.
      *