dedekind::category::IsKleisliTriple Concept Reference

A Kleisli triple ⟨T, η, (−)*⟩ (Manes), the monad in its extension form: the unit and bind, their laws certified by is_kleisli_triple. More...

Concept definition

template<typename Functor, typename T, typename U>
concept dedekind::category::IsKleisliTriple = 
    is_kleisli_triple<Functor>::value &&
    requires(T x, typename Functor::template Shape<T> box,
             kleisli_probe_arrow<T, typename Functor::template Shape<U>> f) {
      {
        unit_witness<Functor, T>{}(x)
      } -> std::same_as<typename Functor::template Shape<T>>;
      { box >>= f } -> std::same_as<typename Functor::template Shape<U>>;
    }

Detailed Description

A Kleisli triple ⟨T, η, (−)*⟩ (Manes), the monad in its extension form: the unit and bind, their laws certified by is_kleisli_triple.

Template Parameters

Functor	the functor.
T
U	the element types.