mpc
Haskell-like feature supports in C++
|
pure :: a -> f a More...
#include <applicative.hpp>
Public Member Functions | |
template<class A > | |
constexpr auto | operator() (A &&a) const noexcept(noexcept(applicative_traits< std::remove_cvref_t< F > >::pure(std::forward< A >(a)))) -> decltype(applicative_traits< std::remove_cvref_t< F > >::pure(std::forward< A >(a))) |
pure :: a -> f a