123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- #ifndef BOOST_HANA_DETAIL_HAS_COMMON_EMBEDDING_HPP
- #define BOOST_HANA_DETAIL_HAS_COMMON_EMBEDDING_HPP
- #include <boost/hana/config.hpp>
- #include <boost/hana/core/common.hpp>
- #include <boost/hana/core/to.hpp>
- #include <boost/hana/detail/void_t.hpp>
- #include <type_traits>
- namespace boost { namespace hana { namespace detail {
- template <template <typename...> class Concept, typename T, typename U, typename = void>
- struct has_common_embedding_impl : std::false_type { };
- template <template <typename...> class Concept, typename T, typename U>
- struct has_common_embedding_impl<Concept, T, U, detail::void_t<
- typename common<T, U>::type
- >> {
- using Common = typename common<T, U>::type;
- using type = std::integral_constant<bool,
- Concept<T>::value &&
- Concept<U>::value &&
- Concept<Common>::value &&
- is_embedded<T, Common>::value &&
- is_embedded<U, Common>::value
- >;
- };
-
-
-
-
-
-
- template <template <typename...> class Concept, typename T, typename U>
- using has_common_embedding = typename has_common_embedding_impl<Concept, T, U>::type;
- template <template <typename...> class Concept, typename T, typename U>
- struct has_nontrivial_common_embedding_impl
- : has_common_embedding_impl<Concept, T, U>
- { };
- template <template <typename...> class Concept, typename T>
- struct has_nontrivial_common_embedding_impl<Concept, T, T>
- : std::false_type
- { };
-
-
-
-
-
-
- template <template <typename...> class Concept, typename T, typename U>
- using has_nontrivial_common_embedding =
- typename has_nontrivial_common_embedding_impl<Concept, T, U>::type;
- } }}
- #endif
|