concepts

Fundamental library concepts.

Concepts
concept	etl::assignable_from
concept	etl::boolean_testable
concept	etl::builtin_integer
concept	etl::builtin_signed_integer
concept	etl::builtin_unsigned_integer
concept	etl::common_reference_with
concept	etl::common_with
concept	etl::constructible_from
	The constructible_from concept specifies that a variable of type T can be initialized with the given set of argument types Args....
concept	etl::convertible_to
	The concept convertible_to<From, To> specifies that an expression of the same type and value category as those of declval<From>() can be implicitly and explicitly converted to the type To, and the two forms of conversion are equivalent.
concept	etl::copy_constructible
	The concept 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 copy-initialization contexts with the usual semantics (a copy is constructed with the source unchanged).
concept	etl::copyable
concept	etl::default_initializable
	The default_initializable concept checks whether variables of type T can be value-initialized (T() is well-formed); direct-list-initialized from an empty initializer list (T{} is well-formed); and default-initialized (T t; is well-formed). Access checking is performed as if in a context unrelated to T. Only the validity of the immediate context of the variable initialization is considered.
concept	etl::derived_from
	The concept 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 cv-qualifiers. Note that this behaviour is different to is_base_of when Base is a private or protected base of Derived.
concept	etl::destructible
	The concept destructible specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types).
concept	etl::equality_comparable
concept	etl::equivalence_relation
concept	etl::floating_point
	The concept floating_point<T> is satisfied if and only if T is a floating-point type.
concept	etl::integral
	The concept integral<T> is satisfied if and only if T is an integral type.
concept	etl::invocable
concept	etl::movable
concept	etl::move_constructible
	The concept move_constructible is satisfied if T is a reference type, or if it is an object type where an object of that type can be constructed from an rvalue of that type in both direct- and copy-initialization contexts, with the usual semantics.
concept	etl::predicate
concept	etl::referenceable
concept	etl::regular
concept	etl::regular_invocable
concept	etl::relation
concept	etl::same_as
	The concept same_as<T, U> is satisfied if and only if T and U denote the same type. same_as<T, U> subsumes same_as<U, T> and vice versa.
concept	etl::semiregular
concept	etl::signed_integral
	The concept signed_integral<T> is satisfied if and only if T is an integral type and is_signed_v<T> is true.
concept	etl::strict_weak_order
concept	etl::swappable
concept	etl::unsigned_integral
	The concept unsigned_integral<T> is satisfied if and only if T is an integral type and is_unsigned_v<T> is true.
concept	etl::weakly_equality_comparable_with

Fundamental library concepts.