mpc::monads::detail::seq_apply_op Struct Reference

seq_apply :: f (a -> b) -> f a -> f b More...

#include <monad.hpp>

Classes
struct	closure

Public Member Functions
template<class Mab , class Ma >
constexpr auto	operator() (Mab &&mab, Ma &&ma) const noexcept(noexcept(mpc::bind(std::forward< Mab >(mab), partial(closure{}, std::forward< Ma >(ma))))) -> decltype(mpc::bind(std::forward< Mab >(mab), partial(closure{}, std::forward< Ma >(ma))))

Detailed Description

seq_apply :: f (a -> b) -> f a -> f b

(<*>) in Haskell

seq_apply mf xs = mf `bind` (\f -> xs `bind` (returns . f))

---

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

• include/mpc/control/monad.hpp