dedekind::category::detail_involution::Reversed< Op > Struct Template Reference

Op with its arguments exchanged, \(a \cdot^{op} b = b \cdot a\). More...

Public Member Functions
template<typename A, typename B> requires std::invocable<const Op&, const B&, const A&>
constexpr auto	operator() (const A &a, const B &b) const
constexpr bool	operator== (const Reversed &) const =default

Detailed Description

template<std::semiregular Op>
struct dedekind::category::detail_involution::Reversed< Op >

Op with its arguments exchanged, \(a \cdot^{op} b = b \cdot a\).

Template Parameters

Op	the operation.

Member Function Documentation

operator()()

template<std::semiregular Op>

template<typename A, typename B>
requires std::invocable<const Op&, const B&, const A&>

auto dedekind::category::detail_involution::Reversed< Op >::operator() ( const A & a, const B & b ) const

inlineconstexpr

Parameters

a

param b the operands.

Returns

Op{}(b, a).

---

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

• src/main/modules/dedekind/category/involution.cppm