mpc::detail::liftA2_op Struct Reference

liftA2 :: (a -> b -> c) -> f a -> f b -> f c More...

#include <applicative.hpp>

Public Member Functions
template<class Fn , class Fa , class Fb >
constexpr auto	operator() (Fn &&fn, Fa &&fa, Fb &&fb) const noexcept(noexcept(applicative_traits< std::remove_cvref_t< Fa > >::liftA2(std::forward< Fn >(fn), std::forward< Fa >(fa), std::forward< Fb >(fb)))) -> decltype(applicative_traits< std::remove_cvref_t< Fa > >::liftA2(std::forward< Fn >(fn), std::forward< Fa >(fa), std::forward< Fb >(fb)))

Detailed Description

liftA2 :: (a -> b -> c) -> f a -> f b -> f c

---

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

• include/mpc/control/applicative.hpp