Concepts

Here is a list of all concepts with brief descriptions:

[detail level 123]

▼Nsl
►Nconcepts
Rright_shiftable_with	Determines whether two types can be used in operator >> statements
Rright_shiftable_with_r	Determines whether two types can be used in operator >> statements and checks if the return type is convertible to the expected
Rright_shiftable	Determines whether the given type can be used on both sides of operator >> statements
Rright_shiftable_r	Determines whether the given type can be used on both sides of operator >> statements and checks if the return type is convertible to the expected
Rleft_shiftable_with	Determines whether two types can be used in operator << statements
Rleft_shiftable_with_r	Determines whether two types can be used in operator << statements and checks if the return type is convertible to the expected
Rleft_shiftable	Determines whether the given type can be used on both sides of operator << statements
Rleft_shiftable_r	Determines whether the given type can be used on both sides of operator << statements and checks if the return type is convertible to the expected
Rbidirectional_shiftable_with	Determines whether two types can be used in operator >> and operator << statements
Rbidirectional_shiftable_with_r	Determines whether two types can be used in operator >> and operator << statements and checks if the return type is convertible to the expected
Rbidirectional_shiftable	Determines whether the given type can be used on both sides of operator << and operator >> statements
Rbidirectional_shiftable_r	Determines whether the given type can be used on both sides of operator >> and operator << statements and checks if the return type is convertible to the expected
Rright_shift_assignable_with	Determines whether two types can be used in operator >>= statements
Rright_shift_assignable_with_r	Determines whether two types can be used in operator >>= statements and checks if the return type is convertible to the expected
Rright_shift_assignable	Determines whether the given type can be used on both sides of operator >>= statements
Rright_shift_assignable_r	Determines whether the given type can be used on both sides of operator >>= statements and checks if the return type is convertible to the expected
Rleft_shift_assignable_with	Determines whether two types can be used in operator <<= statements
Rleft_shift_assignable_with_r	Determines whether two types can be used in operator <<= statements and checks if the return type is convertible to the expected
Rleft_shift_assignable	Determines whether the given type can be used on both sides of operator <<= statements
Rleft_shift_assignable_r	Determines whether the given type can be used on both sides of operator <<= statements and checks if the return type is convertible to the expected
Rbidirectional_shift_assignable_with	Determines whether two types can be used in operator >>= and operator <<= statements
Rbidirectional_shift_assignable_with_r	Determines whether two types can be used in operator >>= and operator <<= statements and checks if the return type is convertible to the expected
Rbidirectional_shift_assignable	Determines whether the given type can be used on both sides of operator <<= and operator >>= statements
Rbidirectional_shift_assignable_r	Determines whether the given type can be used on both sides of operator <<= and operator >>= statements and checks if the return type is convertible to the expected
Rfully_shiftable_with	Determines whether two types can be used in operator <<, >>, <<= and >>= statements
Rfully_shiftable_with_r	Determines whether two types can be used in operator <<, >>, <<= and >>= statements and checks if the return types are convertible to the expected ones
Rfully_shiftable	Determines whether the given type can be used on both sides of operator <<, >>, <<= and >>= statements
Rfully_shiftable_r	Determines whether the given type can be used on both sides of operator <<, >>, <<= and >>= statements and checks if the return types are convertible to the expected ones
Rcomplemented	Determines whether a type can be used in operator ~ expression
Rcomplemented_r	Determines whether a type can be used in operator ~ expression and if the return type is convertible to the expected one
Rconjunctive_with	Determines whether two types can be used in operator & expressions
Rconjunctive_with_r	Determines whether two types can be used in operator & expressions and if the return type is convertible to the expected one
Rconjunctive	Determines whether a type can be used on both sides of operator & expressions
Rconjunctive_r	Determines whether a type can be used on both sides of operator & expressions and if the return type is convertible to the expected one
Rconjunctive_assign_with	Determines whether two types can be used in operator &= expressions
Rconjunctive_assign_with_r	Determines whether two types can be used in operator &= expressions and if the return type is convertible to the expected one
Rconjunctive_assign	Determines whether a type can be used on both sides of operator &= expressions
Rconjunctive_assign_r	Determines whether a type can be used on both sides of operator &= expressions and if the return type is convertible to the expected one
Rdisjunctive_with	Determines whether two types can be used in operator | expressions
Rdisjunctive_with_r	Determines whether two types can be used in operator | expressions and if the return type is convertible to the expected one
Rdisjunctive	Determines whether a type can be used on both sides of operator | expressions
Rdisjunctive_r	Determines whether a type can be used on both sides of operator | expressions and if the return type is convertible to the expected one
Rdisjunctive_assign_with	Determines whether two types can be used in operator |= expressions
Rdisjunctive_assign_with_r	Determines whether two types can be used in operator |= expressions and if the return type is convertible to the expected one
Rdisjunctive_assign	Determines whether a type can be used on both sides of operator |= expressions
Rdisjunctive_assign_r	Determines whether a type can be used on both sides of operator |= expressions and if the return type is convertible to the expected one
Rexclusive_disjunctive_with	Determines whether two types can be used in operator ^ expressions
Rexclusive_disjunctive_with_r	Determines whether two types can be used in operator ^ expressions and if the return type is convertible to the expected one
Rexclusive_disjunctive	Determines whether a type can be used on both sides of operator ^ expressions
Rexclusive_disjunctive_r	Determines whether a type can be used on both sides of operator ^ expressions and if the return type is convertible to the expected one
Rexclusive_disjunctive_assign_with	Determines whether two types can be used in operator ^= expressions
Rexclusive_disjunctive_assign_with_r	Determines whether two types can be used in operator ^= expressions and if the return type is convertible to the expected one
Rexclusive_disjunctive_assign	Determines whether a type can be used on both sides of operator ^= expressions
Rexclusive_disjunctive_assign_r	Determines whether a type can be used on both sides of operator ^= expressions and if the return type is convertible to the expected one
Rlogically_combinable_with	Determines whether two types can be used in operator &, | amd ^ expressions
Rlogically_combinable_with_r	Determines whether two types can be used in operator &, | amd ^ expressions and if the return type is convertible to the expected one
Rlogically_combinable	Determines whether a type can be used on both sides of operator &, | and ^ expressions
Rlogically_combinable_r	Determines whether a type can be used on both sides of operator &, | and ^ expressions and if the return type is convertible to the expected one
Rlogically_assignable_with	Determines whether two types can be used in operator &=, |= and ^= expressions
Rlogically_assignable_with_r	Determines whether two types can be used in operator &=, |= and ^= expressions and if the return type is convertible to the expected one
Rlogically_assignable	Determines whether a type can be used on both sides of operator &=, |= and ^= expressions
Rlogically_assignable_r	Determines whether a type can be used on both sides of operator &=, |= and ^= expressions and if the return type is convertible to the expected one
Rfully_logical_with	Determines whether two types can be used in operator &, |, ^, &=, |=, ^= and ~ expressions
Rfully_logical_with_r	Determines whether two types can be used in operator &, |, ^, &=, |=, ^= and ~ expressions and if the return types are convertible to the expected ones
Rfully_logical	Determines whether a type can be used on both sides of operator &, |, ^, &=, |=, ^= and ~ expressions
Rfully_logical_r	Determines whether a type can be used on both sides of operator &, |, ^, &=, |=, ^= and ~ expressions and if the return types are convertible to the expected ones
Rinvertible
Rinvertible_r
Rdereferencable	Determines whether a type can be used in unary operator * expressions
Rdereferencable_r	Determines whether a type can be used in unary operator * expressions and if the return type is convertible to the expected one
Rarrow_dereferencable	Determines whether a type can be used in operator -> expressions
Rarrow_dereferencable_r	Determines whether a type can be used in operator -> expressions and if the return type is convertible to the expected one
Rindex_dereferencable	Determines whether a type can be used in operator [] expressions
Rindex_dereferencable_r	Determines whether a type can be used in operator -> expressions and if the return type is convertible to the expected one
Rnegate	Determines whether a type can be used in operator - expression
Rnegate_r	Determines whether a type can be used in operator - expression and if the return type is convertible to the expected one
Rplus_with	Determines whether two types can be used in operator + expressions
Rplus_with_r	Determines whether two types can be used in operator + expressions and if the return type is convertible to the expected one
Rplus	Determines whether a type can be used on both sides of operator + expressions
Rplus_r	Determines whether a type can be used on both sides of operator + expressions and if the return type is convertible to the expected one
Rplus_assign_with	Determines whether two types can be used in operator += expressions
Rplus_assign_with_r	Determines whether two types can be used in operator += expressions and if the return type is convertible to the expected one
Rplus_assign	Determines whether a type can be used on both sides of operator += expressions
Rplus_assign_r	Determines whether a type can be used on both sides of operator += expressions and if the return type is convertible to the expected one
Rminus_with	Determines whether two types can be used in operator - expressions
Rminus_with_r	Determines whether two types can be used in operator - expressions and if the return type is convertible to the expected one
Rminus	Determines whether a type can be used on both sides of operator - expressions
Rminus_r	Determines whether a type can be used on both sides of operator - expressions and if the return type is convertible to the expected one
Rminus_assign_with	Determines whether two types can be used in operator -= expressions
Rminus_assign_with_r	Determines whether two types can be used in operator -= expressions and if the return type is convertible to the expected one
Rminus_assign	Determines whether a type can be used on both sides of operator -= expressions
Rminus_assign_r	Determines whether a type can be used on both sides of operator -= expressions and if the return type is convertible to the expected one
Rmultiplies_with	Determines whether two types can be used in operator * expressions
Rmultiplies_with_r	Determines whether two types can be used in operator * expressions and if the return type is convertible to the expected one
Rmultiplies	Determines whether a type can be used on both sides of operator * expressions
Rmultiplies_r	Determines whether a type can be used on both sides of operator * expressions and if the return type is convertible to the expected one
Rmultiplies_assign_with	Determines whether two types can be used in operator *= expressions
Rmultiplies_assign_with_r	Determines whether two types can be used in operator *= expressions and if the return type is convertible to the expected one
Rmultiplies_assign	Determines whether a type can be used on both sides of operator *= expressions
Rmultiplies_assign_r	Determines whether a type can be used on both sides of operator *= expressions and if the return type is convertible to the expected one
Rdivides_with	Determines whether two types can be used in operator / expressions
Rdivides_with_r	Determines whether two types can be used in operator / expressions and if the return type is convertible to the expected one
Rdivides	Determines whether a type can be used on both sides of operator / expressions
Rdivides_r	Determines whether a type can be used on both sides of operator / expressions and if the return type is convertible to the expected one
Rdivides_assign_with	Determines whether two types can be used in operator /= expressions
Rdivides_assign_with_r	Determines whether two types can be used in operator /= expressions and if the return type is convertible to the expected one
Rdivides_assign	Determines whether a type can be used on both sides of operator /= expressions
Rdivides_assign_r	Determines whether a type can be used on both sides of operator /= expressions and if the return type is convertible to the expected one
Rmodulus_with	Determines whether two types can be used in operator % expressions
Rmodulus_with_r	Determines whether two types can be used in operator % expressions and if the return type is convertible to the expected one
Rmodulus	Determines whether a type can be used on both sides of operator % expressions
Rmodulus_r	Determines whether a type can be used on both sides of operator % expressions and if the return type is convertible to the expected one
Rmodulus_assign_with	Determines whether two types can be used in operator %= expressions
Rmodulus_assign_with_r	Determines whether two types can be used in operator %= expressions and if the return type is convertible to the expected one
Rmodulus_assign	Determines whether a type can be used on both sides of operator %= expressions
Rmodulus_assign_r	Determines whether a type can be used on both sides of operator %= expressions and if the return type is convertible to the expected one
Rarithmetically_combinable_with	Determines whether two types can be used in operator +, -, * and / expressions
Rarithmetically_combinable_with_r	Determines whether two types can be used in operator +, -, * and / expressions and if the return type is convertible to the expected one
Rarithmetically_combinable	Determines whether a type can be used on both sides of operator +, -, * and / expressions
Rarithmetically_combinable_r	Determines whether a type can be used on both sides of operator +, -, * and / expressions and if the return type is convertible to the expected one
Rarithmetically_assignable_with	Determines whether two types can be used in operator +=, -=, *= and /= expressions
Rarithmetically_assignable_with_r	Determines whether two types can be used in operator +=, -=, *= and /= expressions and if the return type is convertible to the expected one
Rarithmetically_assignable	Determines whether a type can be used on both sides of operator +=, -=, *= and /= expressions
Rarithmetically_assignable_r	Determines whether a type can be used on both sides of operator +=, -=, *= and /= expressions and if the return type is convertible to the expected one
Rfully_arithmetical_with	Determines whether two types can be used in operator +, -, *, /, +=, -=, *=, /= and unary - expressions
Rfully_arithmetical_with_r	Determines whether two types can be used in operator +, -, *, /, +=, -=, *=, /= and unary - expressions and if the return types are convertible to the expected ones
Rfully_arithmetical	Determines whether a type can be used on both sides of operator +, -, *, /, +=, -=, *=, /= and unary - expressions
Rfully_arithmetical_r	Determines whether a type can be used on both sides of operator +, -, *, /, +=, -=, *=, /= and unary - expressions and if the return types are convertible to the expected ones
Rpointer	Checks whether the T denotes a (possibly cv-qualified) pointer type
Rreference	Checks whether the T denotes a reference type
Rdecayed	Checks whether the T denotes a decayed type
Runqualified	Checks whether the T denotes an unqualified type
Rnot_same_as	Checks whether the left-hand-side type is unequal to the right-hand-side type
Rinitializes	Checks whether the target type is constructible from the source type
Rassignable_to	Checks whether the target type is assignable from the source type
Rweakly_equality_comparable	Checks whether the given type is comparable via operator == and !=
Rnothrow_weakly_equality_comparable	Checks whether the given type is comparable via operator == and != and has noexcept specifier
Rweakly_equality_comparable_with	Checks whether a symmetrical set of operators == and != to compare both types with each other exists
Rnothrow_weakly_equality_comparable_with	Checks whether a symmetrical set of operators == and != to compare both types with each other exists and has noexcept specifier
Rcomparison_category	Checks whether the given type denotes a common stl comparison category
Rexplicitly_convertible_to	Checks whether a type is explicit convertible to another
Rnothrow_explicitly_convertible_to	Checks whether a type is explicit convertible to another and does not throw
Rweakly_three_way_comparable	Checks whether the given type is comparable <=> with the minimal comparison category. This also implies equality comparable
Rnothrow_weakly_three_way_comparable	Checks whether the given type is comparable <=> with the minimal comparison category and noexcept specifier. This also implies equality comparable
Rweakly_three_way_comparable_with	Checks whether a symmetrical set of operator <=> to compare both types with each other exists
Rnothrow_weakly_three_way_comparable_with	Checks whether a symmetrical set of operator <=> to compare both types with each other with noexcept specifier exists
Runique_types	Checks whether each given type appears only once in the template argument pack
Rtuple	Determines whether a type can be used as a tuple-like
Rapplicable	Determines whether the function is invocable with the elements of the given tuple
Rnothrow_applicable	Determines whether the function is invocable with the elements of the given tuple without throwing
Rtype_list	Determines whether a type satisfies the requirements of a type-list
Rpopulated_type_list	Determines whether a type is a type-list and contains elements
►Nfunctional
Rfunction	Determines whether the given type satisfies the constraints of a function type
Rinvoke_policy	Determines whether the given type satisfies the constraints of an invoke-policy
Roperator_policy	Determines whether the given type satisfies the constraints of a operator-policy
Rcomposition_strategy	Determines whether the given type satisfies the requirements of a composition strategy
►Nnullables
Radaptable_with	Determines whether the given adapted and null type satisfy the requirements to be used within a adapter
Rinput_nullable	Checks whether a type is an input_nullable
Rnullable	Checks whether a type is nullable
Rderived_from_unified_base	Determines whether T is derived of unified_base with the provided tag type
Rvalue	Checks whether the given template type is usable as value type for unique_handle types
Rdelete_action_for	Checks whether the given template type is usable as delete action type for unique_handle types