dedekind::category::DiagPred< A > Struct Template Reference

The equality-of-coordinates predicate for the diagonal \(\Delta = \{(a,a)\}\). A plain std::equality_comparable check — the diagonal is pure equality, no ordering, so it lives here at the base. More...

Public Types
using	is_rel_predicate = void

Public Member Functions
constexpr bool	operator() (const std::pair< A, A > &p) const

Detailed Description

template<typename A>
struct dedekind::category::DiagPred< A >

The equality-of-coordinates predicate for the diagonal \(\Delta = \{(a,a)\}\). A plain std::equality_comparable check — the diagonal is pure equality, no ordering, so it lives here at the base.

---

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

• src/main/modules/dedekind/relational/dyadic.cppm