mpc::detail::bind_op Struct Reference

bind :: forall a b. m a -> (a -> m b) -> m b More...

#include <monad.hpp>

Public Member Functions
template<class Ma , class Fn >
constexpr auto	operator() (Ma &&ma, Fn &&fn) const noexcept(noexcept(monad_traits< std::remove_cvref_t< Ma > >::bind(std::forward< Ma >(ma), std::forward< Fn >(fn)))) -> decltype(monad_traits< std::remove_cvref_t< Ma > >::bind(std::forward< Ma >(ma), std::forward< Fn >(fn)))

Detailed Description

bind :: forall a b. m a -> (a -> m b) -> m b

(>>=) in Haskell

---

The documentation for this struct was generated from the following file:

• include/mpc/control/monad.hpp