dedekind::category::IsMonad Concept Reference

Concept definition

template<typename T, typename η_t, typename μ_t>
concept dedekind::category::IsMonad = 
    IsEndofunctor<T> &&
    
    IsNaturalTransformation<η_t, identity_functor<typename T::Σ_cat>, T> &&
    
    IsNaturalTransformation<μ_t, composite_functor<T, T>, T> &&
 
    
    
    (requires(η_t η, μ_t μ, typename T::Σ_cat::Arrow::Domain c) {
      requires IsIdentityArrow<decltype(η(c))> &&
                   IsIdentityArrow<decltype(μ(c))>;
    } || is_monadic<T, η_t, μ_t>::value)