Type Alias LiftedEquivalences<Eqs, F, In1, Out2, Out1>

LiftedEquivalences<Eqs, F, In1, Out2, Out1>: {
    [K in keyof Eqs]: EQ.Equivalence<Kind<F, In1, Out2, Out1, Eqs[K] extends EQ.Equivalence<infer T>
        ? T
        : never>>
}

Given the tuple of equalities for types A₁, A₂, ...Aₙ, returns the tuple of equalities for types F<A₁>, F<A₂>, ...F<Aₙ>.

Type Parameters

  • Eqs extends EQ.Equivalence<never>[]
  • F extends TypeLambda
  • In1
  • Out2
  • Out1

Settings

Member Visibility