effect-io-ai

Package: effect
Module: Effect

Effect.EffectUnify

Type-level unification support for Effect values.

Signature

export interface EffectUnify<A extends { [Unify.typeSymbol]?: any }> {
  Effect?: () => A[Unify.typeSymbol] extends
    | Effect<infer A0, infer E0, infer R0>
    | infer _ ? Effect<A0, E0, R0>
    : never
}

Source

Since v2.0.0