dedekind::category::PairwisePred< Op > Struct Template Reference

A binary predicate on A read at the pair ⟨a, b⟩: the other direction of the bridge a set over a product crosses (#1047), so std::less_equal<bool> is a set of pairs. Named, so it carries op and the set inherits every law op has on A (the rules below). More...

Collaboration diagram for dedekind::category::PairwisePred< Op >:

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename Pair> requires IsPairLike<Pair> && std::invocable<const Op&, const typename Pair::first_type&, const typename Pair::second_type&>
constexpr auto	operator() (const Pair &p) const

Public Attributes
Op	op

Detailed Description

template<typename Op>
struct dedekind::category::PairwisePred< Op >

A binary predicate on A read at the pair ⟨a, b⟩: the other direction of the bridge a set over a product crosses (#1047), so std::less_equal<bool> is a set of pairs. Named, so it carries op and the set inherits every law op has on A (the rules below).

---

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

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