dedekind::category::Copairing< F, G > Struct Template Reference

[f, g] : A + B → C, case analysis out of a sum. More...

Collaboration diagram for dedekind::category::Copairing< F, G >:

Public Types
using	Domain = std::variant<Dom<F>, Dom<G>>
using	Codomain = Cod<F>

Public Member Functions
constexpr Codomain	operator() (const Domain &x) const

Public Attributes
F	f
G	g

Detailed Description

template<IsArrow F, IsArrow G>
requires std::same_as<Cod<F>, Cod<G>>
struct dedekind::category::Copairing< F, G >

[f, g] : A + B → C, case analysis out of a sum.

---

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

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