|
template<class C , class... T> |
constexpr bool | models () |
|
template<class C , class... T, decltype(std::declval< C >().require(std::declval< T >()...), 0) = 0> |
constexpr std::true_type | matchesRequirement (PriorityTag< 1 >) |
|
template<class C , class... T> |
constexpr std::false_type | matchesRequirement (PriorityTag< 0 >) |
|
template<class... T> |
constexpr bool | modelsConceptList (TypeList<>) |
|
template<class... T, class C0 , class... CC> |
constexpr bool | modelsConceptList (TypeList< C0, CC...>) |
|
template<class C , class... T> |
constexpr bool | modelsConcept (PriorityTag< 0 >) |
|
template<class C , class... T, decltype(typename C::BaseConceptList(), 0) = 0> |
constexpr bool | modelsConcept (PriorityTag< 1 >) |
|