mpc::detail::lift_op< TR > Struct Template Reference

lift :: (Monad m) => m a -> t m a More...

#include <class.hpp>

Public Member Functions
template<class M >
constexpr auto	operator() (M &&m) const noexcept(noexcept(monad_trans_traits< std::remove_cvref_t< TR > >::lift(std::forward< M >(m)))) -> decltype(monad_trans_traits< std::remove_cvref_t< TR > >::lift(std::forward< M >(m)))

Detailed Description

template<class TR>
struct mpc::detail::lift_op< TR >

lift :: (Monad m) => m a -> t m a

---

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

• include/mpc/control/trans/class.hpp