has_common_embedding.hpp File Reference

Defines boost::hana::detail::has_[nontrivial_]common_embedding. More...

Namespaces
	boost::hana
	Namespace containing everything in the library.

Typedefs
template<template< typename... > class Concept, typename T , typename U >
using	boost::hana::detail::has_common_embedding = typename has_common_embedding_impl< Concept, T, U >::type
	Returns whether T and U both have an embedding into a common type. More...
template<template< typename... > class Concept, typename T , typename U >
using	boost::hana::detail::has_nontrivial_common_embedding = typename has_nontrivial_common_embedding_impl< Concept, T, U >::type
	Returns whether T and U are distinct and both have an embedding into a common type. More...

Detailed Description

Defines boost::hana::detail::has_[nontrivial_]common_embedding.

Copyright

Louis Dionne 2013-2017 Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)