effect 2.0.0-next.55 → 2.0.0-next.56

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

@@ -28,7 +28,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 +41,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 +52,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 _A: (_: A) => A
     }
   }
 }

package/src/Predicate.ts

@@ -8,7 +8,7 @@ import type { TypeLambda } from "./HKT.js"
  * @category models
  * @since 2.0.0
  */
-export interface Predicate<A> {
+export interface Predicate<in A> {
   (a: A): boolean
 }
 
@@ -24,7 +24,7 @@ export interface PredicateTypeLambda extends TypeLambda {
  * @category models
  * @since 2.0.0
  */
-export interface Refinement<A, B extends A> {
+export interface Refinement<in A, out B extends A> {
   (a: A): a is B
 }
 
@@ -487,6 +487,25 @@ export const isReadonlyRecord: (
   input: unknown
 ) => input is { readonly [x: string | symbol]: unknown } = isRecord
 
+/**
+ * A guard that succeeds when the input is a Promise.
+ *
+ * @param input - The value to test.
+ *
+ * @example
+ * import { isPromise } from "effect/Predicate"
+ *
+ * assert.deepStrictEqual(isPromise({}), false)
+ * assert.deepStrictEqual(isPromise(Promise.resolve("hello")), true)
+ *
+ * @category guards
+ * @since 2.0.0
+ */
+export const isPromise = (
+  input: unknown
+): input is Promise<unknown> =>
+  hasProperty(input, "then") && "catch" in input && isFunction(input.then) && isFunction(input.catch)
+
 /**
  * @since 2.0.0
  */

package/src/PrimaryKey.ts

@@ -0,0 +1,17 @@
+/**
+ * @since 2.0.0
+ */
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const symbol: unique symbol = Symbol.for("effect/PrimaryKey")
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface PrimaryKey {
+  [symbol](): string
+}