effect 4.0.0-beta.19 → 4.0.0-beta.20

package/dist/Effect.d.ts

@@ -636,7 +636,7 @@ export declare const all: <const Arg extends Iterable<Effect<any, any, any>> | R
     readonly mode?: "default" | "result" | undefined;
 }>(arg: Arg, options?: O) => All.Return<Arg, O>;
 /**
- * Applies an effectful `Filter` to each element and partitions failures and
+ * Applies an effectful function to each element and partitions failures and
  * successes.
  *
  * The returned tuple is `[excluded, satisfying]`, where:
@@ -649,10 +649,10 @@ export declare const all: <const Arg extends Iterable<Effect<any, any, any>> | R
  *
  * @example
  * ```ts
- * import { Effect, Result } from "effect"
+ * import { Effect } from "effect"
  *
  * const program = Effect.partition([0, 1, 2, 3], (n) =>
- *   Effect.succeed(n % 2 === 0 ? Result.fail(`${n} is even`) : Result.succeed(n))
+ *   n % 2 === 0 ? Effect.fail(`${n} is even`) : Effect.succeed(n)
  * )
  *
  * Effect.runPromise(program).then(console.log)
@@ -664,7 +664,7 @@ export declare const all: <const Arg extends Iterable<Effect<any, any, any>> | R
  */
 export declare const partition: {
     /**
-     * Applies an effectful `Filter` to each element and partitions failures and
+     * Applies an effectful function to each element and partitions failures and
      * successes.
      *
      * The returned tuple is `[excluded, satisfying]`, where:
@@ -677,10 +677,10 @@ export declare const partition: {
      *
      * @example
      * ```ts
-     * import { Effect, Result } from "effect"
+     * import { Effect } from "effect"
      *
      * const program = Effect.partition([0, 1, 2, 3], (n) =>
-     *   Effect.succeed(n % 2 === 0 ? Result.fail(`${n} is even`) : Result.succeed(n))
+     *   n % 2 === 0 ? Effect.fail(`${n} is even`) : Effect.succeed(n)
      * )
      *
      * Effect.runPromise(program).then(console.log)
@@ -690,11 +690,11 @@ export declare const partition: {
      * @since 3.0.0
      * @category Collecting
      */
-    <A, Pass, Fail, E, R>(filter: Filter.FilterEffect<NoInfer<A>, Pass, Fail, E, R, [i: number]>, options?: {
+    <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
         readonly concurrency?: Concurrency | undefined;
-    }): (elements: Iterable<A>) => Effect<[excluded: Array<Fail>, satisfying: Array<Pass>], E, R>;
+    }): (elements: Iterable<A>) => Effect<[excluded: Array<E>, satisfying: Array<B>], never, R>;
     /**
-     * Applies an effectful `Filter` to each element and partitions failures and
+     * Applies an effectful function to each element and partitions failures and
      * successes.
      *
      * The returned tuple is `[excluded, satisfying]`, where:
@@ -707,10 +707,10 @@ export declare const partition: {
      *
      * @example
      * ```ts
-     * import { Effect, Result } from "effect"
+     * import { Effect } from "effect"
      *
      * const program = Effect.partition([0, 1, 2, 3], (n) =>
-     *   Effect.succeed(n % 2 === 0 ? Result.fail(`${n} is even`) : Result.succeed(n))
+     *   n % 2 === 0 ? Effect.fail(`${n} is even`) : Effect.succeed(n)
      * )
      *
      * Effect.runPromise(program).then(console.log)
@@ -720,9 +720,9 @@ export declare const partition: {
      * @since 3.0.0
      * @category Collecting
      */
-    <A, Pass, Fail, E, R>(elements: Iterable<A>, filter: Filter.FilterEffect<NoInfer<A>, Pass, Fail, E, R, [i: number]>, options?: {
+    <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
         readonly concurrency?: Concurrency | undefined;
-    }): Effect<[excluded: Array<Fail>, satisfying: Array<Pass>], E, R>;
+    }): Effect<[excluded: Array<E>, satisfying: Array<B>], never, R>;
 };
 /**
  * Applies an effectful function to each element and accumulates all failures.
@@ -9950,7 +9950,7 @@ export declare const provideServices: {
  * @since 4.0.0
  * @category ServiceMap
  */
-export declare const service: <I, S>(service: ServiceMap.Service<I, S>) => Effect<S, never, I>;
+export declare const service: <I, S>(service: ServiceMap.Key<I, S>) => Effect<S, never, I>;
 /**
  * Optionally accesses a service from the environment.
  *
@@ -9985,7 +9985,7 @@ export declare const service: <I, S>(service: ServiceMap.Service<I, S>) => Effec
  * @since 2.0.0
  * @category ServiceMap
  */
-export declare const serviceOption: <I, S>(key: ServiceMap.Service<I, S>) => Effect<Option<S>>;
+export declare const serviceOption: <I, S>(key: ServiceMap.Key<I, S>) => Effect<Option<S>>;
 /**
  * Provides part of the required context while leaving the rest unchanged.
  *
@@ -10167,7 +10167,7 @@ export declare const updateService: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <I, A>(service: ServiceMap.Service<I, A>, f: (value: A) => A): <XA, E, R>(self: Effect<XA, E, R>) => Effect<XA, E, R | I>;
+    <I, A>(service: ServiceMap.Key<I, A>, f: (value: A) => A): <XA, E, R>(self: Effect<XA, E, R>) => Effect<XA, E, R | I>;
     /**
      * Updates the service with the required service entry.
      *
@@ -10196,7 +10196,7 @@ export declare const updateService: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <XA, E, R, I, A>(self: Effect<XA, E, R>, service: ServiceMap.Service<I, A>, f: (value: A) => A): Effect<XA, E, R | I>;
+    <XA, E, R, I, A>(self: Effect<XA, E, R>, service: ServiceMap.Key<I, A>, f: (value: A) => A): Effect<XA, E, R | I>;
 };
 /**
  * The `provideService` function is used to provide an actual
@@ -10289,7 +10289,7 @@ export declare const provideService: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <I, S>(service: ServiceMap.Service<I, S>): {
+    <I, S>(service: ServiceMap.Key<I, S>): {
         /**
          * The `provideService` function is used to provide an actual
          * implementation for a service in the context of an effect.
@@ -10428,7 +10428,7 @@ export declare const provideService: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <I, S>(service: ServiceMap.Service<I, S>, implementation: S): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, I>>;
+    <I, S>(service: ServiceMap.Key<I, S>, implementation: S): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, I>>;
     /**
      * The `provideService` function is used to provide an actual
      * implementation for a service in the context of an effect.
@@ -10474,7 +10474,7 @@ export declare const provideService: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <A, E, R, I, S>(self: Effect<A, E, R>, service: ServiceMap.Service<I, S>, implementation: S): Effect<A, E, Exclude<R, I>>;
+    <A, E, R, I, S>(self: Effect<A, E, R>, service: ServiceMap.Key<I, S>, implementation: S): Effect<A, E, Exclude<R, I>>;
 };
 /**
  * Provides the effect with the single service it requires. If the effect
@@ -10581,7 +10581,7 @@ export declare const provideServiceEffect: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <I, S, E2, R2>(service: ServiceMap.Service<I, S>, acquire: Effect<S, E2, R2>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E2, Exclude<R, I> | R2>;
+    <I, S, E2, R2>(service: ServiceMap.Key<I, S>, acquire: Effect<S, E2, R2>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E2, Exclude<R, I> | R2>;
     /**
      * Provides the effect with the single service it requires. If the effect
      * requires more than one service use `provide` instead.
@@ -10634,7 +10634,7 @@ export declare const provideServiceEffect: {
      * @since 2.0.0
      * @category ServiceMap
      */
-    <A, E, R, I, S, E2, R2>(self: Effect<A, E, R>, service: ServiceMap.Service<I, S>, acquire: Effect<S, E2, R2>): Effect<A, E | E2, Exclude<R, I> | R2>;
+    <A, E, R, I, S, E2, R2>(self: Effect<A, E, R>, service: ServiceMap.Key<I, S>, acquire: Effect<S, E2, R2>): Effect<A, E | E2, Exclude<R, I> | R2>;
 };
 /**
  * Sets the concurrency level for parallel operations within an effect.