dedekind::category::IsCoKleisliTriple Concept Reference

A co-Kleisli triple ⟨W, ε, (−)†⟩, the comonad in its extension form: the counit and extend, their laws certified by is_cokleisli_triple. More...

Concept definition

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

Detailed Description

A co-Kleisli triple ⟨W, ε, (−)†⟩, the comonad in its extension form: the counit and extend, their laws certified by is_cokleisli_triple.

Template Parameters

Functor	the functor.
T
U	the element types.