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

Requires applicative and empty and combine is valid in alternative_traits . More...

#include <alternative.hpp>

Concept definition

template<class F>
concept mpc::alternative = applicative<F> and alternative_traits_specialized<F>
mpc::alternative_traits_specialized
alternative_traits_specialized
Definition: alternative.hpp:32
mpc::alternative
Requires applicative and empty and combine is valid in alternative_traits .
Definition: alternative.hpp:37
mpc::applicative
Requires functor and pure, seq_apply, liftA2, discard2nd and discard1st is valid in applicative_trait...
Definition: applicative.hpp:32

Detailed Description

Requires applicative and empty and combine is valid in alternative_traits .