
interface  assignable_from 
 The concept std::assignable_from<LHS, RHS> specifies that an expression of the type and value category specified by RHS can be assigned to an lvalue expression whose type is specified by LHS. More...


interface  boolean 
 Specifies that a type can be used in boolean contexts. More...


interface  common_reference_with 
 The concept std::common_reference_with<T, U> specifies that two types T and U share a common reference type (as computed by std::common_reference_t) to which both can be converted. More...


interface  common_with 
 The concept std::common_with<T, U> specifies that two types T and U share a common type (as computed by std::common_type_t) to which both can be converted. More...


interface  constructible_from 
 The std::constructible_from concept specifies that a variable of type T can be initialized with the given set of argument types Args.... More...


interface  convertible_to 
 The concept std::convertible_to<From, To> specifies that an expression of the type and value category specified by From can be implicitly and explicitly converted to the type To, and the two forms of conversion are equivalent. More...


interface  copy_constructible 
 The concept std::copy_constructible is satisfied if T is an lvalue reference type, or if it is a move_constructible object type where an object of that type can constructed from a (possibly const) lvalue or const rvalue of that type in both direct and copyinitialization contexts with the usual semantics (a copy is constructed with the source unchanged). More...


interface  copyable 
 Subsumes std::movable, std::copy_constructible, and requires that the type be std::assignable_from bool from a const & of itself. More...


interface  default_constructible 
 The std::default_constructible concept provides a shorthand for the common case when the question is whether a type can be constructed with no arguments. More...


interface  derived_from 
 The concept std::derived_from<Derived, Base> is satisfied if and only if Base is a class type that is either Derived or a public and unambiguous base of Derived, ignoring cvqualifiers. More...


interface  destructible 
 The concept std::destructible specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types). More...


interface  equality_comparable 
 The same as std::weakly_equality_comparable_with<t,t>. More...


interface  equality_comparable_with 
 Requires seqan3::detail::weakly_equality_comparable_witht<t1,t2>, but also that t1 and t2, as well as their common_reference_t satisfy std::equality_comparable. More...


interface  integral 
 The concept integral is satisfied if and only if T is an integral type. More...


interface  invocable 
 Specifies whether the given callable is invocable with the given arguments. More...


interface  movable 
 Subsumes std::Object, std::move_constructible, std::swappable bool and requires that the type be std::assignable_from bool from a value of itself. More...


interface  move_constructible 
 The concept std::move_constructible is satisfied if T is a reference type, or if it is an object type where an object of that type can constructed from an rvalue of that type in both direct and copyinitialization contexts, with the usual semantics. More...


interface  predicate 
 Specifies whether the given callable is std::regular_invocable and returns bool. More...


interface  regular 
 Subsumes std::semiregular and std::equality_comparable. More...


interface  regular_invocable 
 Specifies whether the given callable is invocable with the given arguments and equality preserving (invocations change neither the callable, nor the arguments). More...


interface  relation 
 Specifies that R defines a binary relation over the set of expressions whose type and value category are those encoded by either t or u. More...


interface  same_as 
 The concept std::same_as<T, U> is satisfied if and only if T and U denote the same type. More...


interface  semiregular 
 Subsumes std::copyable and std::default_constructible. More...


interface  signed_integral 
 The concept std::signed_integral is satisfied if and only if T is an integral type and std::is_signed_v<T> is true. More...


interface  strict_weak_order 
 The concept strict_weak_order<R, T, U> specifies that the relation R imposes a strict weak ordering on its arguments. More...


interface  swappable 
 The concept std::swappable specifies that lvalues of type T are swappable. More...


interface  swappable_with 
 The concept std::swappable_with<T, U> specifies that expressions of the type and value category encoded by T and U are swappable with each other. More...


interface  totally_ordered 
 Requires std::equality_comparable and all remaing comparison operators (< , <= , > , >= ). More...


interface  totally_ordered_with 
 Requires std::equality_comparable and all remaing comparison operators (< , <= , > , >= ). More...


interface  unsigned_integral 
 The concept std::unsigned_integral is satisfied if and only if T is an integral type and std::is_signed_v<T> is false. More...

