dedekind::sets::detail_sum_witness::Injections< A, B > Struct Template Reference

The injections of the coproduct std::variant<A, B> as a named operation (IsCoproduct's Op, #881): inl / inr place a value by index, so equal summands stay apart (variant<int, int>). Static members, as the concept asks for Op::inl(a) / Op::inr(b). More...

Static Public Member Functions
static constexpr std::variant< A, B >	inl (const A &a)
static constexpr std::variant< A, B >	inr (const B &b)

Detailed Description

template<typename A, typename B>
struct dedekind::sets::detail_sum_witness::Injections< A, B >

The injections of the coproduct std::variant<A, B> as a named operation (IsCoproduct's Op, #881): inl / inr place a value by index, so equal summands stay apart (variant<int, int>). Static members, as the concept asks for Op::inl(a) / Op::inr(b).

Template Parameters

A,B	the summands.

---

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

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