fub::is_equality_comparable_impl< T, S > Struct Template Reference

#include <type_traits.hpp>

Public Types
template<typename L , typename R >
using	equality_t = decltype(std::declval< L >()==std::declval< R >())
template<typename L , typename R >
using	inequality_t = decltype(std::declval< L >() !=std::declval< R >())
using	type = conjunction< is_detected< equality_t, T, S >, is_detected< inequality_t, T, S > >

Member Typedef Documentation

equality_t

template<typename T , typename S = T>

template<typename L , typename R >

using fub::is_equality_comparable_impl< T, S >::equality_t = decltype(std::declval<L>() == std::declval<R>())

inequality_t

template<typename T , typename S = T>

template<typename L , typename R >

using fub::is_equality_comparable_impl< T, S >::inequality_t = decltype(std::declval<L>() != std::declval<R>())

type

template<typename T , typename S = T>

using fub::is_equality_comparable_impl< T, S >::type = conjunction<is_detected<equality_t, T, S>, is_detected<inequality_t, T, S> >

---

The documentation for this struct was generated from the following file:

• type_traits.hpp