dedekind::sets::Point< T > Struct Template Reference

Collaboration diagram for dedekind::sets::Point< T >:

Public Types
using	Domain = T
using	Codomain = bool
using	cardinality_type = Finite

Public Member Functions
template<std::convertible_to< T > U>
constexpr	Point (U v)
	Implicit and converting, so a literal of another type is one user-defined conversion, the carrier's own.
constexpr bool	operator() (const T &v) const
	χ(x) = [x == pivot].
template<typename U> requires (!std::same_as<std::remove_cvref_t<U>, T>) && ComparesEqualTo<U, T>
constexpr bool	operator() (const U &x) const
	Membership of a foreign value, compared unnarrowed: Point<int>{1}(1.5) is false. The constraint is admits spelled out, so it names the comparison it uses (Rule 2).
constexpr std::size_t	size () const

Public Attributes
T	pivot {}

Static Public Attributes
template<typename U>
static constexpr bool	admits
	The foreign carriers this datum admits: any U with a cross-type == against T. Read by the comprehension's heterogeneous χ.

Member Data Documentation

admits

template<std::equality_comparable T>

template<typename U>

bool dedekind::sets::Point< T >::admits

staticconstexpr

Initial value:

=
      !std::same_as<std::remove_cvref_t<U>, T> && ComparesEqualTo<U, T>

The foreign carriers this datum admits: any U with a cross-type == against T. Read by the comprehension's heterogeneous χ.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sets/singleton.cppm