dedekind::category::is_cokleisli_triple< Functor > Struct Template Reference

Trait: the co-Kleisli-triple laws, the duals, for Functor's counit and extend. More...

Inheritance diagram for dedekind::category::is_cokleisli_triple< Functor >:

Collaboration diagram for dedekind::category::is_cokleisli_triple< Functor >:

Detailed Description

template<typename Functor>
struct dedekind::category::is_cokleisli_triple< Functor >

Trait: the co-Kleisli-triple laws, the duals, for Functor's counit and extend.

Template Parameters

Functor

the functor.

---

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

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