dedekind::algebra::detail_universal::preserves< Arrow, Op, Op2 > Struct Template Reference

Arrow carries Op to Op2, of any arity, by the declared certificate, and the unit to the unit where Op has one, computed: a unary or non-unital operation asks the law alone. More...

Inheritance diagram for dedekind::algebra::detail_universal::preserves< Arrow, Op, Op2 >:

Collaboration diagram for dedekind::algebra::detail_universal::preserves< Arrow, Op, Op2 >:

Detailed Description

template<typename Arrow, typename Op, typename Op2>
struct dedekind::algebra::detail_universal::preserves< Arrow, Op, Op2 >

Arrow carries Op to Op2, of any arity, by the declared certificate, and the unit to the unit where Op has one, computed: a unary or non-unital operation asks the law alone.

---

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

• src/main/modules/dedekind/algebra/universal.cppm