tetl 0.1.0
Embedded Template Library
Loading...
Searching...
No Matches
etl::common_reference_with Concept Reference
Concepts Library » concepts

#include <common_reference_with.hpp>

Concept definition

template<typename T, typename U>
concept etl::common_reference_with =
same_as<common_reference_t<T, U>, common_reference_t<U, T>>
and convertible_to<T, common_reference_t<T, U>>
and convertible_to<U, common_reference_t<T, U>>
etl::common_reference_with
Definition common_reference_with.hpp:16
etl::convertible_to
The concept convertible_to<From, To> specifies that an expression of the same type and value category...
Definition convertible_to.hpp:18
etl::same_as
The concept same_as<T, U> is satisfied if and only if T and U denote the same type....
Definition same_as.hpp:19
etl::common_reference_t
typename common_reference< T... >::type common_reference_t
Definition common_reference.hpp:38