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

Requires functor and pure, seq_apply, liftA2, discard2nd and discard1st is valid in applicative_traits . More...

#include <applicative.hpp>

Concept definition

template<class F>
concept mpc::applicative = functor<F> and applicative_traits_specialized<F>
mpc::applicative_traits_specialized
applicative_traits_specialized
Definition: applicative.hpp:22
mpc::applicative
Requires functor and pure, seq_apply, liftA2, discard2nd and discard1st is valid in applicative_trait...
Definition: applicative.hpp:32
mpc::functor
Requires fmap and replace2nd is valid in functor_traits .
Definition: functor.hpp:18

Detailed Description

Requires functor and pure, seq_apply, liftA2, discard2nd and discard1st is valid in applicative_traits .