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

Trait: Functor's unit and bind satisfy the Kleisli-triple laws (Manes): \(\eta(x)^* f = f(x)\), \(m^* \eta = m\) and \((m^* f)^* g = m^* (x \mapsto f(x)^* g)\). A certificate, primary false, declared where a container's bind keeps them by construction. More...

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

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

Detailed Description

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

Trait: Functor's unit and bind satisfy the Kleisli-triple laws (Manes): \(\eta(x)^* f = f(x)\), \(m^* \eta = m\) and \((m^* f)^* g = m^* (x \mapsto f(x)^* g)\). A certificate, primary false, declared where a container's bind keeps them by construction.

kleisli__Extension_Concepts

Template Parameters

Functor

the functor.

---

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

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