Simple-Utility v2.3.1
|
#include <concepts>
Go to the source code of this file.
Namespaces | |
namespace | sl |
namespace | sl::concepts |
Concepts | |
concept | sl::concepts::unique_types |
Checks whether each given type appears only once in the template argument pack. | |
Variables | |
template<class T , class... TArgs> | |
constexpr bool | sl::concepts::are_types_unique_v = (!std::same_as<T, TArgs> && ...) && are_types_unique_v<TArgs...> |
Trait for determining if all types of a parameter pack are unique. | |
template<class T > | |
constexpr bool | sl::concepts::are_types_unique_v< T > = true |
Trait overload for single type parameter packs. Returns always true. | |