dedekind::category::ZeroAction< A, B, Op > Struct Template Reference

The 'Absorption' logic. More...

Public Member Functions
constexpr B	operator() (const A &) const noexcept

Detailed Description

template<typename A, typename B, typename Op>
struct dedekind::category::ZeroAction< A, B, Op >

The 'Absorption' logic.

Maps any input of species A to the neutral element of species B.

---

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

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