effect-ts-laws/src/law/equivalence.js

effect-ts law testing using fast-check.

/**
 * @module equivalence Helpers for dealing with equality.
 */
import { Array as AR } from 'effect';
/**
 * Given a {@link LiftEquivalence} function, and 1..n `Equivalence`s 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:
 * @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)
 * @category lifting
 */
export const liftEquivalences = (liftEquivalence) => (...eqs) => AR.map(eqs, liftEquivalence);
//# sourceMappingURL=equivalence.js.map