|
template<class C , class Tuple > |
constexpr auto | tupleEntriesModel () -> typename Impl::TupleEntriesModelHelper< C, Tuple >::Result |
|
template<bool b, typename std::enable_if< b, int >::type = 0> |
constexpr bool | requireTrue () |
|
template<class C , class... T, typename std::enable_if< models< C, T... >(), int >::type = 0> |
constexpr bool | requireConcept () |
|
template<class C , class... T, typename std::enable_if< models< C, T... >(), int >::type = 0> |
constexpr bool | requireConcept (T &&...) |
|
template<class C , class Tuple , typename std::enable_if< tupleEntriesModel< C, Tuple >(), int >::type = 0> |
constexpr bool | requireConceptForTupleEntries () |
|
template<class From , class To , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0> |
constexpr bool | requireConvertible () |
|
template<class To , class From , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0> |
constexpr bool | requireConvertible (const From &) |
|
template<typename T > |
constexpr bool | requireType () |
|
template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0> |
constexpr bool | requireBaseOf () |
|
template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0> |
constexpr bool | requireBaseOf (const Derived &) |
|
template<class A , class B , typename std::enable_if< std::is_same< A, B >::value, int >::type = 0> |
constexpr bool | requireSameType () |
|
Namespace for concepts.
This namespace contains helper functions for concept definitions and the concept definitions themselves.