stl_extensions.hpp File Reference

#include <compare>
#include <concepts>

Include dependency graph for stl_extensions.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	sl
namespace	sl::concepts

Concepts
concept	sl::concepts::pointer
	Checks whether the T denotes a (possibly cv-qualified) pointer type.
concept	sl::concepts::reference
	Checks whether the T denotes a reference type.
concept	sl::concepts::decayed
	Checks whether the T denotes a decayed type.
concept	sl::concepts::unqualified
	Checks whether the T denotes an unqualified type.
concept	sl::concepts::not_same_as
	Checks whether the left-hand-side type is unequal to the right-hand-side type.
concept	sl::concepts::initializes
	Checks whether the target type is constructible from the source type.
concept	sl::concepts::assignable_to
	Checks whether the target type is assignable from the source type.
concept	sl::concepts::weakly_equality_comparable
	Checks whether the given type is comparable via operator == and !=.
concept	sl::concepts::nothrow_weakly_equality_comparable
	Checks whether the given type is comparable via operator == and != and has noexcept specifier.
concept	sl::concepts::weakly_equality_comparable_with
	Checks whether a symmetrical set of operators == and != to compare both types with each other exists.
concept	sl::concepts::nothrow_weakly_equality_comparable_with
	Checks whether a symmetrical set of operators == and != to compare both types with each other exists and has noexcept specifier.
concept	sl::concepts::comparison_category
	Checks whether the given type denotes a common stl comparison category.
concept	sl::concepts::explicitly_convertible_to
	Checks whether a type is explicit convertible to another.
concept	sl::concepts::nothrow_explicitly_convertible_to
	Checks whether a type is explicit convertible to another and does not throw.
concept	sl::concepts::weakly_three_way_comparable
	Checks whether the given type is comparable <=> with the minimal comparison category. This also implies equality comparable.
concept	sl::concepts::nothrow_weakly_three_way_comparable
	Checks whether the given type is comparable <=> with the minimal comparison category and noexcept specifier. This also implies equality comparable.
concept	sl::concepts::weakly_three_way_comparable_with
	Checks whether a symmetrical set of operator <=> to compare both types with each other exists.
concept	sl::concepts::nothrow_weakly_three_way_comparable_with
	Checks whether a symmetrical set of operator <=> to compare both types with each other with noexcept specifier exists.