dedekind::category::is_comonadic< W, ε_t, δ_t > Struct Template Reference

Trait: the comonad laws for ε and δ on W, the duals. More...

Inheritance diagram for dedekind::category::is_comonadic< W, ε_t, δ_t >:

Collaboration diagram for dedekind::category::is_comonadic< W, ε_t, δ_t >:

Detailed Description

template<typename W, typename ε_t, typename δ_t>
struct dedekind::category::is_comonadic< W, ε_t, δ_t >

Trait: the comonad laws for ε and δ on W, the duals.

Template Parameters

W	the endofunctor.
ε_t
δ_t	its counit and comultiplication.

---

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

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