|
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...
|
|
Определениеboost::hana::detail::has_[nontrivial_]common_embedding
.
- Copyright
- Louis Dionne 2013-2016 Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)