Github Link
      ⚠️ Internal: This API is not publically exported by the package.

      Interface EffectUnify<A>

      Since

      2.0.0

      interface EffectUnify {
          Effect?: (() => A[typeof typeSymbol] extends Effect<R0, E0, A0> | _
              ? Effect<R0, E0, A0>
              : never);
          Either?: (() => A[typeof typeSymbol] extends Either<E0, A0> | _
              ? Either<E0, A0>
              : never);
          Option?: (() => A[typeof typeSymbol] extends Option<A0> | _
              ? Option<A0>
              : never);
          Tag?: (() => A[typeof typeSymbol] extends Tag<I0, S0> | _
              ? Tag<I0, S0>
              : never);
      }

      Type Parameters

      • A extends {
            [typeSymbol]?: any;
        }

      Hierarchy

      Properties

      Effect? Either? Option? Tag?

      Properties

      Optional Effect

      Effect?: (() => A[typeof typeSymbol] extends Effect<R0, E0, A0> | _
          ? Effect<R0, E0, A0>
          : never)

      Type declaration

        • (): A[typeof typeSymbol] extends Effect<R0, E0, A0> | _
              ? Effect<R0, E0, A0>
              : never

        • Returns A[typeof typeSymbol] extends Effect<R0, E0, A0> | _
              ? Effect<R0, E0, A0>
              : never

      Optional Either

      Either?: (() => A[typeof typeSymbol] extends Either<E0, A0> | _
          ? Either<E0, A0>
          : never)

      Type declaration

      Optional Option

      Option?: (() => A[typeof typeSymbol] extends Option<A0> | _
          ? Option<A0>
          : never)

      Type declaration

      Optional Tag

      Tag?: (() => A[typeof typeSymbol] extends Tag<I0, S0> | _
          ? Tag<I0, S0>
          : never)

      Type declaration

        • (): A[typeof typeSymbol] extends Tag<I0, S0> | _
              ? Tag<I0, S0>
              : never

        • Returns A[typeof typeSymbol] extends Tag<I0, S0> | _
              ? Tag<I0, S0>
              : never

      Settings

      Member Visibility

      Theme

      On This Page