dedekind::sets::ComparesEqualTo Concept Reference

The equality atom {x : T | x == pivot}, the datum of the pure equality theory, the one leaf every regular carrier offers (a point in ℂ is this). On a chain the cut subsumes it, x == p ⟺ x ≥ p ∧ x ≤ p. The pivot is a value; the set is Finite whatever the species. More...

Concept definition

template<typename U, typename T>
concept dedekind::sets::ComparesEqualTo =  requires(const U& x, const T& v) {
  { x == v } -> std::convertible_to<bool>;
}

Detailed Description

The equality atom {x : T | x == pivot}, the datum of the pure equality theory, the one leaf every regular carrier offers (a point in ℂ is this). On a chain the cut subsumes it, x == p ⟺ x ≥ p ∧ x ≤ p. The pivot is a value; the set is Finite whatever the species.

Template Parameters

T	the carrier, equality-comparable.

A cross-type equality: x == v is formed for a U and a T and reads as a truth value.

Template Parameters

U	the foreign value's type.
T	the carrier.