Type Alias Eq<Lhs, Rhs>

All instances of Eq must satisfy the following conditions:

• Symmetric: Eq<A, B> always equals to Eq<B, A>.
• Transitive: Eq<A, B> and Eq<B, C> always implies Eq<A, C>.
• Reflexive: Passing two same values to Eq<A, A> always returns true.

For example, the comparator below cannot implement Eq because that does not satisfy reflexive due to NaN === NaN always be false.

import { PartialEq } from "./partial-eq.js";

const numPartialEq: PartialEq<number, number> = {
    eq: (x, y) => x === y,
};
Copy