mpc
Haskell-like feature supports in C++
mpc::functor Concept Reference

Requires fmap and replace2nd is valid in functor_traits . More...

#include <functor.hpp>

Concept definition

template<class F>
concept mpc::functor = requires {
functor_traits<std::remove_cvref_t<F>>::fmap;
functor_traits<std::remove_cvref_t<F>>::replace2nd;
}
mpc::functor
Requires fmap and replace2nd is valid in functor_traits .
Definition: functor.hpp:18
mpc::cpo::fmap
constexpr partial< detail::fmap_op > fmap
fmap :: (a -> b) -> f a -> f b
Definition: functor.hpp:50
mpc::functors::replace2nd
constexpr auto replace2nd
replace2nd :: a -> f b -> f a
Definition: functor.hpp:65
mpc::functor_traits
class Functor f where
Definition: functor.hpp:14

Detailed Description

Requires fmap and replace2nd is valid in functor_traits .