di::concepts::MonadInstance Concept Reference

#include <di/function/monad/monad_concept.h>

Concept definition

template<typename T>
concept di::concepts::MonadInstance =  requires(T&& value) {
    
    {
        function::monad::fmap(util::forward<T>(value), detail::MonadFmapId<meta::RemoveCVRef<T>> {})
    } -> SameAs<meta::RemoveCVRef<T>>;
 
    
    {
        function::monad::bind(util::forward<T>(value), detail::MonadBindId<meta::RemoveCVRef<T>> {})
    } -> SameAs<meta::RemoveCVRef<T>>;
} && function::monad::enable_monad(types::in_place_type<meta::RemoveCVRef<T>>)