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

has_alternative_traits_empty More...

#include <alternative.hpp>

Concept definition

template<class F>
concept mpc::detail::has_alternative_traits_empty = requires {
alternative_traits<std::remove_cvref_t<F>>::empty();
}
mpc::detail::has_alternative_traits_empty
has_alternative_traits_empty
Definition: alternative.hpp:19
mpc::cpo::empty
constexpr detail::empty_op< F > empty
empty :: f a
Definition: alternative.hpp:71
mpc::alternative_traits
class Applicative f => Alternative f where
Definition: alternative.hpp:14

Detailed Description

has_alternative_traits_empty