dedekind::category::IsKleisliArrow Concept Reference

An arrow declared to live in the Kleisli category indexed by the monad tag M (constrained by IsDefaultMonadTag). More...

Concept definition

template<typename E, typename M>
concept dedekind::category::IsKleisliArrow = 
    IsArrow<E> && IsDefaultMonadTag<M> && is_kleisli_arrow_v<E, M>

Detailed Description

An arrow declared to live in the Kleisli category indexed by the monad tag M (constrained by IsDefaultMonadTag).

Opt-in via is_kleisli_arrow_v<E, M> = true.