mpc::detail::state_op< ST > Struct Template Reference

state :: (s -> (a, s)) -> m a More...

#include <class.hpp>

Public Member Functions
template<class Fn >
constexpr auto	operator() (Fn &&fn) const noexcept(noexcept(monad_state_traits< std::remove_cvref_t< ST > >::state(std::forward< Fn >(fn)))) -> decltype(monad_state_traits< std::remove_cvref_t< ST > >::state(std::forward< Fn >(fn)))

Detailed Description

template<class ST>
struct mpc::detail::state_op< ST >

state :: (s -> (a, s)) -> m a

---

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

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