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

package/src/Pipeable.ts

@@ -7,283 +7,281 @@
  * @category models
  */
 export interface Pipeable {
-  readonly pipe: {
-    <A, B>(this: A, ab: (_: A) => B): B
-    <A, B, C>(this: A, ab: (_: A) => B, bc: (_: B) => C): C
-    <A, B, C, D>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D
-    <A, B, C, D, E>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E): E
-    <A, B, C, D, E, F>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F
-    ): F
-    <A, B, C, D, E, F, G>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G
-    ): G
-    <A, B, C, D, E, F, G, H>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H
-    ): H
-    <A, B, C, D, E, F, G, H, I>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I
-    ): I
-    <A, B, C, D, E, F, G, H, I, J>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J
-    ): J
-    <A, B, C, D, E, F, G, H, I, J, K>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K
-    ): K
-    <A, B, C, D, E, F, G, H, I, J, K, L>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L
-    ): L
-    <A, B, C, D, E, F, G, H, I, J, K, L, M>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M
-    ): M
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N
-    ): N
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O
-    ): O
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P
-    ): P
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P,
-      pq: (_: P) => Q
-    ): Q
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P,
-      pq: (_: P) => Q,
-      qr: (_: Q) => R
-    ): R
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P,
-      pq: (_: P) => Q,
-      qr: (_: Q) => R,
-      rs: (_: R) => S
-    ): S
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P,
-      pq: (_: P) => Q,
-      qr: (_: Q) => R,
-      rs: (_: R) => S,
-      st: (_: S) => T
-    ): T
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P,
-      pq: (_: P) => Q,
-      qr: (_: Q) => R,
-      rs: (_: R) => S,
-      st: (_: S) => T,
-      tu: (_: T) => U
-    ): U
-    <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(
-      this: A,
-      ab: (_: A) => B,
-      bc: (_: B) => C,
-      cd: (_: C) => D,
-      de: (_: D) => E,
-      ef: (_: E) => F,
-      fg: (_: F) => G,
-      gh: (_: G) => H,
-      hi: (_: H) => I,
-      ij: (_: I) => J,
-      jk: (_: J) => K,
-      kl: (_: K) => L,
-      lm: (_: L) => M,
-      mn: (_: M) => N,
-      no: (_: N) => O,
-      op: (_: O) => P,
-      pq: (_: P) => Q,
-      qr: (_: Q) => R,
-      rs: (_: R) => S,
-      st: (_: S) => T,
-      tu: (_: T) => U
-    ): U
-  }
+  pipe<A, B>(this: A, ab: (_: A) => B): B
+  pipe<A, B, C>(this: A, ab: (_: A) => B, bc: (_: B) => C): C
+  pipe<A, B, C, D>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D
+  pipe<A, B, C, D, E>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E): E
+  pipe<A, B, C, D, E, F>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F
+  ): F
+  pipe<A, B, C, D, E, F, G>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G
+  ): G
+  pipe<A, B, C, D, E, F, G, H>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H
+  ): H
+  pipe<A, B, C, D, E, F, G, H, I>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I
+  ): I
+  pipe<A, B, C, D, E, F, G, H, I, J>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J
+  ): J
+  pipe<A, B, C, D, E, F, G, H, I, J, K>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K
+  ): K
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L
+  ): L
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M
+  ): M
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N
+  ): N
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O
+  ): O
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P
+  ): P
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P,
+    pq: (_: P) => Q
+  ): Q
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P,
+    pq: (_: P) => Q,
+    qr: (_: Q) => R
+  ): R
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P,
+    pq: (_: P) => Q,
+    qr: (_: Q) => R,
+    rs: (_: R) => S
+  ): S
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P,
+    pq: (_: P) => Q,
+    qr: (_: Q) => R,
+    rs: (_: R) => S,
+    st: (_: S) => T
+  ): T
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P,
+    pq: (_: P) => Q,
+    qr: (_: Q) => R,
+    rs: (_: R) => S,
+    st: (_: S) => T,
+    tu: (_: T) => U
+  ): U
+  pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(
+    this: A,
+    ab: (_: A) => B,
+    bc: (_: B) => C,
+    cd: (_: C) => D,
+    de: (_: D) => E,
+    ef: (_: E) => F,
+    fg: (_: F) => G,
+    gh: (_: G) => H,
+    hi: (_: H) => I,
+    ij: (_: I) => J,
+    jk: (_: J) => K,
+    kl: (_: K) => L,
+    lm: (_: L) => M,
+    mn: (_: M) => N,
+    no: (_: N) => O,
+    op: (_: O) => P,
+    pq: (_: P) => Q,
+    qr: (_: Q) => R,
+    rs: (_: R) => S,
+    st: (_: S) => T,
+    tu: (_: T) => U
+  ): U
 }
 
 /**

package/src/Pool.ts

@@ -7,6 +7,7 @@ import type * as Effect from "./Effect.js"
 import * as internal from "./internal/pool.js"
 import type { Pipeable } from "./Pipeable.js"
 import type * as Scope from "./Scope.js"
+import type * as Types from "./Types.js"
 
 /**
  * @since 2.0.0
@@ -28,7 +29,7 @@ export type PoolTypeId = typeof PoolTypeId
  * @since 2.0.0
  * @category models
  */
-export interface Pool<E, A> extends Data.Case, Pool.Variance<E, A>, Pipeable {
+export interface Pool<out E, in out A> extends Data.Case, Pool.Variance<E, A>, Pipeable {
   /**
    * Retrieves an item from the pool in a scoped effect. Note that if
    * acquisition fails, then the returned effect will fail for that same reason.
@@ -41,7 +42,7 @@ export interface Pool<E, A> extends Data.Case, Pool.Variance<E, A>, Pipeable {
    * reallocate the item, although this reallocation may occur lazily rather
    * than eagerly.
    */
-  readonly invalidate: (item: A) => Effect.Effect<never, never, void>
+  invalidate(item: A): Effect.Effect<never, never, void>
 }
 
 /**
@@ -52,10 +53,10 @@ export declare namespace Pool {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<E, A> {
+  export interface Variance<out E, in out A> {
     readonly [PoolTypeId]: {
-      readonly _E: (_: never) => E
-      readonly _A: (_: never) => A
+      readonly _E: Types.Covariant<E>
+      readonly _A: Types.Invariant<A>
     }
   }
 }
@@ -93,24 +94,22 @@ export const make: <R, E, A>(
  * unspecified order.
  *
  * ```ts
- * import * as Duration from "./Duration"
- * import * as Effect from "effect/Effect"
- * import * as Pool from "effect/Pool"
- * import * as Scope from "effect/Scope"
- * import { pipe } from "./Function"
+ * import { createConnection } from "mysql2";
+ * import { Duration, Effect, Pool } from "effect"
  *
- * Effect.scoped(
- *   pipe(
- *     Pool.make(acquireDbConnection, 10, 20, Duration.seconds(60)),
- *     Effect.flatMap((pool) =>
- *       Effect.scoped(
- *         pipe(
- *           pool.get(),
- *           Effect.flatMap((connection) => useConnection(connection))
- *         )
- *       )
- *     )
- *   )
+ * const acquireDBConnection = Effect.acquireRelease(
+ *   Effect.sync(() => createConnection('mysql://...')),
+ *   (connection) => Effect.sync(() => connection.end(() => {})),
+ * )
+ *
+ * const connectionPool = Effect.flatMap(
+ *  Pool.makeWithTTL({
+ *     acquire: acquireDBConnection,
+ *     min: 10,
+ *     max: 20,
+ *     timeToLive: Duration.seconds(60)
+ *   }),
+ *   (pool) => pool.get
  * )
  * ```
  *