Classes | |
struct | concepts::return_t_< typename > |
Macros | |
#define | concept(NAME) concept NAME CPP_CONCEPT_EQUALS_ |
#define | CPP_and && |
#define | CPP_and_sfinae && CPP_BOOL(CPP_true), int> = 0, std::enable_if_t< |
INTERNAL ONLY. | |
#define | CPP_and_sfinae_def && CPP_BOOL(CPP_true), int>, std::enable_if_t< |
INTERNAL ONLY. | |
#define | CPP_assert(...) |
#define | CPP_assert_msg static_assert |
#define | CPP_auto_fun(X) X CPP_AUTO_FUN_IMPL_ |
#define | CPP_AUTO_FUN_DECLTYPE_NOEXCEPT_(...) |
INTERNAL ONLY. More... | |
#define | CPP_AUTO_FUN_IMPL_(...) (__VA_ARGS__) CPP_AUTO_FUN_RETURNS_ |
INTERNAL ONLY. | |
#define | CPP_AUTO_FUN_RETURNS_(...) |
INTERNAL ONLY. More... | |
#define | CPP_AUTO_FUN_RETURNS_CONST_0(...) |
INTERNAL ONLY. More... | |
#define | CPP_AUTO_FUN_RETURNS_CONST_1(...) __VA_ARGS__ CPP_AUTO_FUN_RETURNS_CONST_0 |
INTERNAL ONLY. | |
#define | CPP_AUTO_FUN_RETURNS_CONST_2(...) CPP_PP_CAT(CPP_PP_EAT_MUTABLE_, __VA_ARGS__) CPP_AUTO_FUN_RETURNS_CONST_0 |
INTERNAL ONLY. | |
#define | CPP_AUTO_FUN_RETURNS_return |
INTERNAL ONLY. | |
#define | CPP_AUTO_FUN_SELECT_RETURNS_(MAYBE_CONST, ...) |
INTERNAL ONLY. More... | |
#define | CPP_auto_member |
#define | CPP_BOOL(...) __VA_ARGS__ |
#define | CPP_broken_friend_ret(...) __VA_ARGS__ CPP_PP_EXPAND |
INTERNAL ONLY. | |
#define | CPP_concept META_CONCEPT |
#define | CPP_CONCEPT_EQUALS_(...) = |
#define | CPP_CONCEPT_NAME_(DECL) |
INTERNAL ONLY. More... | |
#define | CPP_CONCEPT_PARAMS_(DECL) CPP_PP_EVAL(CPP_PP_SECOND, CPP_EAT_CONCEPT_(DECL)) |
INTERNAL ONLY. | |
#define | CPP_concept_ref(NAME, ...) NAME<__VA_ARGS__> |
#define | CPP_ctor(TYPE) TYPE CPP_CTOR_IMPL_1_ |
#define | CPP_CTOR_IMPL_1_(...) (__VA_ARGS__) CPP_PP_EXPAND |
INTERNAL ONLY. | |
#define | CPP_ctor_sfinae(TYPE) |
INTERNAL ONLY. More... | |
#define | CPP_CTOR_SFINAE_EAT_NOEXCEPT_noexcept(...) |
INTERNAL ONLY. | |
#define | CPP_CTOR_SFINAE_IMPL_1_(...) |
INTERNAL ONLY. More... | |
#define | CPP_CTOR_SFINAE_MAKE_PROBE(FIRST, ...) CPP_PP_CAT(CPP_CTOR_SFINAE_PROBE_NOEXCEPT_, FIRST) |
INTERNAL ONLY. | |
#define | CPP_CTOR_SFINAE_PROBE_NOEXCEPT_noexcept CPP_PP_PROBE(~) |
INTERNAL ONLY. | |
#define | CPP_CTOR_SFINAE_REQUIRES(...) |
INTERNAL ONLY. More... | |
#define | CPP_CTOR_SFINAE_REQUIRES_0(...) |
INTERNAL ONLY. More... | |
#define | CPP_CTOR_SFINAE_REQUIRES_1(...) |
INTERNAL ONLY. More... | |
#define | CPP_CTOR_SFINAE_SHOW_NOEXCEPT_noexcept(...) |
INTERNAL ONLY. More... | |
#define | CPP_CXX_CONCEPTS 201800L |
#define | CPP_CXX_VA_OPT 0 |
#define | CPP_EAT_CONCEPT_(DECL) CPP_PP_CAT(CPP_EAT_CONCEPT_, DECL) |
INTERNAL ONLY. | |
#define | CPP_EAT_CONCEPT_concept |
INTERNAL ONLY. | |
#define | CPP_fun(X) X CPP_FUN_IMPL_1_ |
#define | CPP_FUN_IMPL_1_(...) |
INTERNAL ONLY. More... | |
#define | CPP_member |
#define | CPP_member_sfinae CPP_broken_friend_member |
INTERNAL ONLY. | |
#define | CPP_NOT(...) (!(__VA_ARGS__)) |
#define | CPP_PP_CAT(X, ...) CPP_PP_CAT_(X, __VA_ARGS__) |
#define | CPP_PP_CAT_(X, ...) X ## __VA_ARGS__ |
#define | CPP_PP_CHECK(...) CPP_PP_EXPAND(CPP_PP_CHECK_N(__VA_ARGS__, 0,)) |
#define | CPP_PP_CHECK_N(x, n, ...) n |
#define | CPP_PP_COMMA() , |
#define | CPP_PP_COMMA_IIF(X) CPP_PP_IIF(X)(CPP_PP_EMPTY, CPP_PP_COMMA)() |
#define | CPP_PP_COUNT(...) |
#define | CPP_PP_COUNT_( _01, _02, _03, _04, _05, _06, _07, _08, _09, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19, _20, _21, _22, _23, _24, _25, _26, _27, _28, _29, _30, _31, _32, _33, _34, _35, _36, _37, _38, _39, _40, _41, _42, _43, _44, _45, _46, _47, _48, _49, _50, N, ...) N |
#define | CPP_PP_EAT(...) |
#define | CPP_PP_EAT_MUTABLE_mutable |
INTERNAL ONLY. | |
#define | CPP_PP_EMPTY() |
#define | CPP_PP_EVAL(X, ...) CPP_PP_EVAL_(X, (__VA_ARGS__)) |
#define | CPP_PP_EVAL2(X, ...) CPP_PP_EVAL2_(X, (__VA_ARGS__)) |
#define | CPP_PP_EVAL2_(X, ARGS) X ARGS |
#define | CPP_PP_EVAL_(X, ARGS) X ARGS |
#define | CPP_PP_EXPAND(...) __VA_ARGS__ |
#define | CPP_PP_FIRST(LIST) CPP_PP_FIRST_ LIST |
#define | CPP_PP_FIRST_(...) __VA_ARGS__ CPP_PP_EAT |
#define | CPP_PP_FOR_EACH(M, ...) CPP_PP_FOR_EACH_N(CPP_PP_COUNT(__VA_ARGS__), M, __VA_ARGS__) |
#define | CPP_PP_FOR_EACH_1(M, _1) M(_1) |
#define | CPP_PP_FOR_EACH_2(M, _1, _2) M(_1), M(_2) |
#define | CPP_PP_FOR_EACH_3(M, _1, _2, _3) M(_1), M(_2), M(_3) |
#define | CPP_PP_FOR_EACH_4(M, _1, _2, _3, _4) M(_1), M(_2), M(_3), M(_4) |
#define | CPP_PP_FOR_EACH_5(M, _1, _2, _3, _4, _5) M(_1), M(_2), M(_3), M(_4), M(_5) |
#define | CPP_PP_FOR_EACH_6(M, _1, _2, _3, _4, _5, _6) M(_1), M(_2), M(_3), M(_4), M(_5), M(_6) |
#define | CPP_PP_FOR_EACH_7(M, _1, _2, _3, _4, _5, _6, _7) M(_1), M(_2), M(_3), M(_4), M(_5), M(_6), M(_7) |
#define | CPP_PP_FOR_EACH_8(M, _1, _2, _3, _4, _5, _6, _7, _8) M(_1), M(_2), M(_3), M(_4), M(_5), M(_6), M(_7), M(_8) |
#define | CPP_PP_FOR_EACH_N(N, M, ...) CPP_PP_CAT(CPP_PP_FOR_EACH_, N)(M, __VA_ARGS__) |
#define | CPP_PP_IGNORE_CXX2A_COMPAT_BEGIN |
#define | CPP_PP_IGNORE_CXX2A_COMPAT_END |
#define | CPP_PP_IIF(BIT) CPP_PP_CAT_(CPP_PP_IIF_, BIT) |
#define | CPP_PP_IIF_0(TRUE, ...) __VA_ARGS__ |
#define | CPP_PP_IIF_1(TRUE, ...) TRUE |
#define | CPP_PP_IS_NOT_EMPTY(...) |
#define | CPP_PP_IS_PAREN(x) CPP_PP_CHECK(CPP_PP_IS_PAREN_PROBE x) |
#define | CPP_PP_IS_PAREN_PROBE(...) CPP_PP_PROBE(~) |
#define | CPP_PP_LBRACE() { |
#define | CPP_PP_LPAREN ( |
#define | CPP_PP_NOT(BIT) CPP_PP_CAT_(CPP_PP_NOT_, BIT) |
#define | CPP_PP_NOT_0 1 |
#define | CPP_PP_NOT_1 0 |
#define | CPP_PP_PROBE(x) x, 1, |
#define | CPP_PP_PROBE_CONST_MUTABLE_PROBE_const CPP_PP_PROBE_N(~, 1) |
INTERNAL ONLY. | |
#define | CPP_PP_PROBE_CONST_MUTABLE_PROBE_mutable CPP_PP_PROBE_N(~, 2) |
INTERNAL ONLY. | |
#define | CPP_PP_PROBE_EMPTY() |
#define | CPP_PP_PROBE_EMPTY_PROBE_CPP_PP_PROBE_EMPTY CPP_PP_PROBE(~) |
#define | CPP_PP_PROBE_N(x, n) x, n, |
#define | CPP_PP_RBRACE() } |
#define | CPP_PP_RPAREN ) |
#define | CPP_PP_SECOND(LIST) CPP_PP_SECOND_ LIST |
#define | CPP_PP_SECOND_(...) CPP_PP_EXPAND |
#define | CPP_requires(NAME, REQS) |
#define | CPP_REQUIRES_AUX_(...) { __VA_ARGS__; } |
INTERNAL ONLY. | |
#define | CPP_requires_ref(NAME, ...) NAME<__VA_ARGS__> |
#define | CPP_REQUIRES_requires(...) requires(__VA_ARGS__) CPP_REQUIRES_AUX_ |
INTERNAL ONLY. | |
#define | CPP_ret(...) __VA_ARGS__ CPP_PP_EXPAND |
#define | CPP_template(...) template<__VA_ARGS__> CPP_TEMPLATE_EXPAND_ |
#define | CPP_TEMPLATE_AUX_(...) |
INTERNAL ONLY. More... | |
#define | CPP_TEMPLATE_AUX_0(...) __VA_ARGS__ |
INTERNAL ONLY. | |
#define | CPP_TEMPLATE_AUX_1(DECL, ...) CPP_concept CPP_CONCEPT_NAME_(DECL) = __VA_ARGS__ |
INTERNAL ONLY. | |
#define | CPP_TEMPLATE_AUX_WHICH_(FIRST, ...) |
INTERNAL ONLY. More... | |
#define | CPP_template_def CPP_template |
#define | CPP_template_def_sfinae(...) template<__VA_ARGS__ CPP_TEMPLATE_DEF_SFINAE_AUX_ |
INTERNAL ONLY. | |
#define | CPP_TEMPLATE_DEF_SFINAE_AUX_(...) |
INTERNAL ONLY. More... | |
#define | CPP_TEMPLATE_EXPAND_(X, Y) X Y |
#define | CPP_TEMPLATE_PROBE_CONCEPT_concept CPP_PP_PROBE(~) |
INTERNAL ONLY. | |
#define | CPP_template_sfinae(...) |
#define | CPP_TEMPLATE_SFINAE_AUX_(...) |
INTERNAL ONLY. More... | |
#define | CPP_TEMPLATE_SFINAE_AUX_0(...) |
INTERNAL ONLY. More... | |
#define | CPP_TEMPLATE_SFINAE_AUX_1(DECL, ...) |
INTERNAL ONLY. More... | |
#define | CPP_TEMPLATE_SFINAE_AUX_3_requires |
INTERNAL ONLY. | |
#define | CPP_TEMPLATE_SFINAE_AUX_WHICH_(FIRST, ...) |
INTERNAL ONLY. More... | |
#define | CPP_TEMPLATE_SFINAE_PROBE_CONCEPT_concept CPP_PP_PROBE(~) |
INTERNAL ONLY. | |
#define | CPP_TRUE_FN CPP_true_fn(::concepts::detail::xNil{}) |
Typedefs | |
template<bool B> | |
using | concepts::bool_ = std::integral_constant< bool, B > |
template<typename T , typename EnableIf > | |
using | concepts::return_t = meta::invoke< return_t_< EnableIf >, T > |
Variables | |
template<typename T , typename U > | |
concept | concepts::aassignable_from |
\concept assignable_from More... | |
template<bool... Bs> | |
constexpr bool | concepts::and_v |
template<typename T , typename U > | |
concept | concepts::assignable_from_ = requires( T t, U && u ) { t = (U &&) u, requires_<same_as<T, decltype(t = (U &&) u)>> ; } |
\concept assignable_from_ More... | |
template<typename T > | |
concept | concepts::detail::bboolean_testable_ |
\concept boolean_testable_ More... | |
template<typename T > | |
concept | concepts::detail::bboolean_testable_impl_ = convertible_to<T, bool> |
\concept boolean_testable_impl_ More... | |
template<typename T > | |
concept | concepts::detail::boolean_testable_frag_ = requires( T && t ) { !(T&&) t, concepts::requires_<boolean_testable_impl_<decltype(!(T&&) t)>> ; } |
\concept boolean_testable_frag_ More... | |
template<typename T , typename U > | |
concept | concepts::ccommon_reference_with |
\concept common_reference_with More... | |
template<typename T , typename U > | |
concept | concepts::ccommon_with |
\concept common_with More... | |
template<typename T , typename... Args> | |
concept | concepts::cconstructible_from |
\concept constructible_from More... | |
template<typename From , typename To > | |
concept | concepts::cconvertible_to |
\concept convertible_to More... | |
template<typename T > | |
concept | concepts::ccopy_constructible |
\concept copy_constructible More... | |
template<typename T > | |
concept | concepts::ccopyable |
\concept copyable More... | |
template<typename T , typename U > | |
concept | concepts::common_reference_with_ |
\concept common_reference_with_ More... | |
template<typename T , typename U > | |
concept | concepts::common_with_ |
\concept common_with_ More... | |
template<typename T > | |
concept | concepts::copy_assignable_ |
\concept copy_assignable_ More... | |
template<typename T > | |
concept | concepts::copy_constructible_ |
\concept copy_constructible_ More... | |
template<typename T > | |
concept | concepts::ddefault_constructible |
\concept default_constructible More... | |
template<typename T , typename U > | |
concept | concepts::dderived_from |
\concept derived_from More... | |
template<typename T > | |
concept | concepts::ddestructible |
\concept destructible More... | |
template<typename T , typename U > | |
concept | concepts::derived_from_ |
\concept derived_from_ More... | |
template<typename T > | |
concept | concepts::eequality_comparable |
\concept equality_comparable More... | |
template<typename T , typename U > | |
concept | concepts::eequality_comparable_with |
\concept equality_comparable_with More... | |
template<typename From , typename To > | |
concept | concepts::eexplicitly_convertible_to |
\concept explicitly_convertible_to More... | |
template<typename T , typename U > | |
concept | concepts::equality_comparable_with_ |
\concept equality_comparable_with_ More... | |
template<typename From , typename To > | |
concept | concepts::explicitly_convertible_to_ = requires( From(*from)() ) { static_cast<To>(from()) ; } |
\concept explicitly_convertible_to_ More... | |
template<typename From , typename To > | |
concept | concepts::iimplicitly_convertible_to |
\concept implicitly_convertible_to More... | |
template<typename T > | |
concept | concepts::iintegral |
\concept integral More... | |
template<bool B> | |
concept | concepts::iis_true = B |
\concept is_true More... | |
template<typename T > | |
concept | concepts::mmovable |
\concept movable More... | |
template<typename T > | |
concept | concepts::mmove_constructible |
\concept move_constructible More... | |
template<typename T > | |
concept | concepts::move_assignable_ |
\concept move_assignable_ More... | |
template<bool... Bs> | |
constexpr bool | concepts::or_v |
template<typename T , typename U > | |
concept | concepts::detail::partially_ordered_with_frag_ = requires( detail::as_cref_t<T>& t, detail::as_cref_t<U>& u ) { concepts::requires_<boolean_testable_<decltype(t < u)>>, concepts::requires_<boolean_testable_<decltype(t > u)>>, concepts::requires_<boolean_testable_<decltype(t <= u)>>, concepts::requires_<boolean_testable_<decltype(t >= u)>>, concepts::requires_<boolean_testable_<decltype(u < t)>>, concepts::requires_<boolean_testable_<decltype(u > t)>>, concepts::requires_<boolean_testable_<decltype(u <= t)>>, concepts::requires_<boolean_testable_<decltype(u >= t)>> ; } |
\concept partially_ordered_with_frag_ More... | |
template<typename T , typename U > | |
concept | concepts::detail::ppartially_ordered_with_ |
\concept partially_ordered_with_ More... | |
template<bool B> | |
constexpr std::enable_if_t< B, int > | concepts::requires_ = 0 |
template<typename T > | |
concept | concepts::rregular |
\concept regular More... | |
template<typename A , typename B > | |
concept | concepts::ssame_as |
\concept same_as More... | |
template<class T , template< typename... > class Trait, typename... Args> | |
concept | concepts::ssatisfies |
\concept satisfies More... | |
template<typename T > | |
concept | concepts::ssemiregular |
\concept semiregular More... | |
template<typename T > | |
concept | concepts::ssigned_integral |
\concept signed_integral More... | |
template<typename T > | |
concept | concepts::sswappable |
\concept swappable More... | |
template<typename T , typename U > | |
concept | concepts::sswappable_with |
\concept swappable_with More... | |
template<typename T > | |
concept | concepts::swappable_ = requires( T & t, T & u ) { concepts::swap(t, u) ; } |
\concept swappable_ More... | |
template<typename T , typename U > | |
concept | concepts::swappable_with_ = requires( T && t, U && u ) { concepts::swap((T &&) t, (T &&) t), concepts::swap((U &&) u, (U &&) u), concepts::swap((U &&) u, (T &&) t), concepts::swap((T &&) t, (U &&) u) ; } |
\concept swappable_with_ More... | |
template<typename T , typename U > | |
concept | concepts::totally_ordered_with_ |
\concept totally_ordered_with_ More... | |
template<typename T > | |
concept | concepts::ttotally_ordered |
\concept totally_ordered More... | |
template<typename T , typename U > | |
concept | concepts::ttotally_ordered_with |
\concept totally_ordered_with More... | |
template<typename... Args> | |
concept | concepts::ttype = true |
\concept type More... | |
template<typename T > | |
concept | concepts::uunsigned_integral |
\concept unsigned_integral More... | |
template<typename T , typename U > | |
concept | concepts::detail::weakly_equality_comparable_with_frag_ = requires( detail::as_cref_t<T> t, detail::as_cref_t<U> u ) { concepts::requires_<boolean_testable_<decltype(t == u)>>, concepts::requires_<boolean_testable_<decltype(t != u)>>, concepts::requires_<boolean_testable_<decltype(u == t)>>, concepts::requires_<boolean_testable_<decltype(u != t)>> ; } |
\concept weakly_equality_comparable_with_frag_ More... | |
template<typename T , typename U > | |
concept | concepts::detail::wweakly_equality_comparable_with_ |
\concept weakly_equality_comparable_with_ More... | |
#define CPP_assert | ( | ... | ) |
#define CPP_AUTO_FUN_DECLTYPE_NOEXCEPT_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_AUTO_FUN_RETURNS_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_AUTO_FUN_RETURNS_CONST_0 | ( | ... | ) |
INTERNAL ONLY.
#define CPP_AUTO_FUN_SELECT_RETURNS_ | ( | MAYBE_CONST, | |
... | |||
) |
INTERNAL ONLY.
#define CPP_CONCEPT_NAME_ | ( | DECL | ) |
INTERNAL ONLY.
#define CPP_ctor_sfinae | ( | TYPE | ) |
INTERNAL ONLY.
#define CPP_CTOR_SFINAE_IMPL_1_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_CTOR_SFINAE_REQUIRES | ( | ... | ) |
INTERNAL ONLY.
#define CPP_CTOR_SFINAE_REQUIRES_0 | ( | ... | ) |
INTERNAL ONLY.
#define CPP_CTOR_SFINAE_REQUIRES_1 | ( | ... | ) |
INTERNAL ONLY.
#define CPP_CTOR_SFINAE_SHOW_NOEXCEPT_noexcept | ( | ... | ) |
INTERNAL ONLY.
#define CPP_FUN_IMPL_1_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_PP_COUNT | ( | ... | ) |
#define CPP_PP_IS_NOT_EMPTY | ( | ... | ) |
#define CPP_requires | ( | NAME, | |
REQS | |||
) |
#define CPP_TEMPLATE_AUX_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_TEMPLATE_AUX_WHICH_ | ( | FIRST, | |
... | |||
) |
INTERNAL ONLY.
#define CPP_TEMPLATE_DEF_SFINAE_AUX_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_template_sfinae | ( | ... | ) |
#define CPP_TEMPLATE_SFINAE_AUX_ | ( | ... | ) |
INTERNAL ONLY.
#define CPP_TEMPLATE_SFINAE_AUX_0 | ( | ... | ) |
INTERNAL ONLY.
#define CPP_TEMPLATE_SFINAE_AUX_1 | ( | DECL, | |
... | |||
) |
INTERNAL ONLY.
#define CPP_TEMPLATE_SFINAE_AUX_WHICH_ | ( | FIRST, | |
... | |||
) |
INTERNAL ONLY.
concept concepts::defs::aassignable_from |
\concept assignable_from
The assignable_from
concept
|
constexpr |
concept concepts::defs::assignable_from_ = requires( T t, U && u ) { t = (U &&) u, requires_<same_as<T, decltype(t = (U &&) u)>> ; } |
\concept assignable_from_
The assignable_from_
concept
concept concepts::detail::bboolean_testable_ |
\concept boolean_testable_
The boolean_testable_
concept
concept concepts::detail::bboolean_testable_impl_ = convertible_to<T, bool> |
\concept boolean_testable_impl_
The boolean_testable_impl_
concept
concept concepts::detail::boolean_testable_frag_ = requires( T && t ) { !(T&&) t, concepts::requires_<boolean_testable_impl_<decltype(!(T&&) t)>> ; } |
\concept boolean_testable_frag_
The boolean_testable_frag_
concept
concept concepts::defs::ccommon_reference_with |
\concept common_reference_with
The common_reference_with
concept
concept concepts::defs::ccommon_with |
\concept common_with
The common_with
concept
concept concepts::defs::cconstructible_from |
\concept constructible_from
The constructible_from
concept
concept concepts::defs::cconvertible_to |
\concept convertible_to
The convertible_to
concept
concept concepts::defs::ccopy_constructible |
\concept copy_constructible
The copy_constructible
concept
concept concepts::defs::ccopyable |
\concept copyable
The copyable
concept
concept concepts::defs::common_reference_with_ |
\concept common_reference_with_
The common_reference_with_
concept
concept concepts::defs::common_with_ |
\concept common_with_
The common_with_
concept
concept concepts::defs::copy_assignable_ |
\concept copy_assignable_
The copy_assignable_
concept
concept concepts::defs::copy_constructible_ |
\concept copy_constructible_
The copy_constructible_
concept
concept concepts::defs::ddefault_constructible |
\concept default_constructible
The default_constructible
concept
concept concepts::defs::dderived_from |
\concept derived_from
The derived_from
concept
concept concepts::defs::ddestructible |
\concept destructible
The destructible
concept
concept concepts::defs::derived_from_ |
\concept derived_from_
The derived_from_
concept
concept concepts::defs::eequality_comparable |
\concept equality_comparable
The equality_comparable
concept
concept concepts::defs::eequality_comparable_with |
\concept equality_comparable_with
The equality_comparable_with
concept
concept concepts::defs::eexplicitly_convertible_to |
\concept explicitly_convertible_to
The explicitly_convertible_to
concept
concept concepts::defs::equality_comparable_with_ |
\concept equality_comparable_with_
The equality_comparable_with_
concept
concept concepts::defs::explicitly_convertible_to_ = requires( From(*from)() ) { static_cast<To>(from()) ; } |
\concept explicitly_convertible_to_
The explicitly_convertible_to_
concept
concept concepts::defs::iimplicitly_convertible_to |
concept concepts::defs::iintegral |
\concept integral
The integral
concept
concept concepts::defs::iis_true = B |
\concept is_true
The is_true
concept
concept concepts::defs::mmovable |
\concept movable
The movable
concept
concept concepts::defs::mmove_constructible |
\concept move_constructible
The move_constructible
concept
concept concepts::defs::move_assignable_ |
\concept move_assignable_
The move_assignable_
concept
|
constexpr |
concept concepts::detail::partially_ordered_with_frag_ = requires( detail::as_cref_t<T>& t, detail::as_cref_t<U>& u ) { concepts::requires_<boolean_testable_<decltype(t < u)>>, concepts::requires_<boolean_testable_<decltype(t > u)>>, concepts::requires_<boolean_testable_<decltype(t <= u)>>, concepts::requires_<boolean_testable_<decltype(t >= u)>>, concepts::requires_<boolean_testable_<decltype(u < t)>>, concepts::requires_<boolean_testable_<decltype(u > t)>>, concepts::requires_<boolean_testable_<decltype(u <= t)>>, concepts::requires_<boolean_testable_<decltype(u >= t)>> ; } |
\concept partially_ordered_with_frag_
The partially_ordered_with_frag_
concept
concept concepts::detail::ppartially_ordered_with_ |
\concept partially_ordered_with_
The partially_ordered_with_
concept
concept concepts::defs::rregular |
\concept regular
The regular
concept
concept concepts::defs::ssame_as |
\concept same_as
The same_as
concept
concept concepts::defs::ssatisfies |
\concept satisfies
The satisfies
concept
concept concepts::defs::ssemiregular |
\concept semiregular
The semiregular
concept
concept concepts::defs::ssigned_integral |
\concept signed_integral
The signed_integral
concept
concept concepts::defs::sswappable |
\concept swappable
The swappable
concept
concept concepts::defs::sswappable_with |
\concept swappable_with
The swappable_with
concept
concept concepts::defs::swappable_ = requires( T & t, T & u ) { concepts::swap(t, u) ; } |
\concept swappable_
The swappable_
concept
concept concepts::defs::swappable_with_ = requires( T && t, U && u ) { concepts::swap((T &&) t, (T &&) t), concepts::swap((U &&) u, (U &&) u), concepts::swap((U &&) u, (T &&) t), concepts::swap((T &&) t, (U &&) u) ; } |
\concept swappable_with_
The swappable_with_
concept
concept concepts::defs::totally_ordered_with_ |
\concept totally_ordered_with_
The totally_ordered_with_
concept
concept concepts::defs::ttotally_ordered |
\concept totally_ordered
The totally_ordered
concept
concept concepts::defs::ttotally_ordered_with |
\concept totally_ordered_with
The totally_ordered_with
concept
concept concepts::defs::ttype = true |
\concept type
The type
concept
concept concepts::defs::uunsigned_integral |
\concept unsigned_integral
The unsigned_integral
concept
concept concepts::detail::weakly_equality_comparable_with_frag_ = requires( detail::as_cref_t<T> t, detail::as_cref_t<U> u ) { concepts::requires_<boolean_testable_<decltype(t == u)>>, concepts::requires_<boolean_testable_<decltype(t != u)>>, concepts::requires_<boolean_testable_<decltype(u == t)>>, concepts::requires_<boolean_testable_<decltype(u != t)>> ; } |
\concept weakly_equality_comparable_with_frag_
The weakly_equality_comparable_with_frag_
concept
concept concepts::detail::wweakly_equality_comparable_with_ |
\concept weakly_equality_comparable_with_
The weakly_equality_comparable_with_
concept