Interface LiftEquivalence<F, R, O, E>

The type of a function that given any equivalence of type A, returns an equivalence for F<A>. For example:

Type Parameters

F extends TypeLambda
R = never
O = unknown
E = unknown

LiftEquivalence<T>(equals: Equivalence<T>): Equivalence<Kind<F, R, O, E, T>>
Type Parameters
- T
Parameters
- equals: Equivalence<T>
Returns Equivalence<Kind<F, R, O, E, T>>
- Defined in src/law/equivalence.ts:18