mpc
Haskell-like feature supports in C++
mpc::monad_traits_specialized Concept Reference

monad_traits_specialized More...

#include <monad.hpp>

Concept definition

template<class M>
concept mpc::monad_traits_specialized = requires {
monad_traits<std::remove_cvref_t<M>>::bind;
}
mpc::monad_traits_specialized
monad_traits_specialized
Definition: monad.hpp:19
mpc::cpo::bind
constexpr partial< detail::bind_op > bind
bind :: forall a b. m a -> (a -> m b) -> m b
Definition: monad.hpp:45
mpc::monad_traits
class Applicative m => Monad m where
Definition: monad.hpp:15

Detailed Description

monad_traits_specialized