Function liftEquivalences

liftEquivalences<F extends TypeLambda, R = never, O = unknown, E = unknown>(
liftEquivalence: LiftEquivalence<F, R, O, E>,
): <const Eqs extends Equivalence<never>[]>(
...eqs: Eqs,
) => LiftedEquivalences<Eqs, F, R, O, E>

Given a LiftEquivalence function, and 1..n Equivalences for different types A₁, A₂, ...Aₙ, returns the given list except every equivalence for type Aᵢ has been replaced by an equivalence for type Kind<F, R, O, E, Aᵢ>. For example:

Type Parameters

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

Parameters

liftEquivalence: LiftEquivalence<F, R, O, E>

Returns <const Eqs extends Equivalence<never>[]>(
...eqs: Eqs,
) => LiftedEquivalences<Eqs, F, R, O, E>

Example

import {liftEquivalences} from 'effect-ts-laws'
import {Number as NU, Option as OP, String as STR} from 'effect'
import {OptionTypeLambda} from 'effect/Option'

export const [eqOptionNumber, eqOptionString] =
  liftEquivalences<OptionTypeLambda>(OP.getEquivalence)(
    NU.Equivalence,
    STR.Equivalence,
  )
// eqOptionNumber ≡ Equivalence<Option<number>>
// eqOptionString ≡ Equivalence<Option<string>>

assert.ok(eqOptionNumber(OP.some(1), OP.some(1)))
assert.equal(eqOptionNumber(OP.some(1), OP.some(2)), false)

assert.ok(eqOptionString(OP.some('a'), OP.some('a')))
assert.equal(eqOptionString(OP.some('a'), OP.some('b')), false)