2022-04-23 09:59:50 +01:00
|
|
|
// SPDX-FileCopyrightText: Copyright 2020 yuzu Emulator Project
|
|
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
2020-08-03 12:28:54 +01:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2022-10-26 05:41:54 +01:00
|
|
|
#include <iterator>
|
2020-08-03 12:28:54 +01:00
|
|
|
#include <type_traits>
|
|
|
|
|
2020-08-18 19:24:51 +01:00
|
|
|
namespace Common {
|
|
|
|
|
2022-10-26 05:41:54 +01:00
|
|
|
// Check if type satisfies the ContiguousContainer named requirement.
|
2020-08-03 12:28:54 +01:00
|
|
|
template <typename T>
|
2022-10-26 05:41:54 +01:00
|
|
|
concept IsContiguousContainer = std::contiguous_iterator<typename T::iterator>;
|
2020-08-03 12:28:54 +01:00
|
|
|
|
2020-08-07 12:55:50 +01:00
|
|
|
// TODO: Replace with std::derived_from when the <concepts> header
|
|
|
|
// is available on all supported platforms.
|
|
|
|
template <typename Derived, typename Base>
|
|
|
|
concept DerivedFrom = requires {
|
2023-01-29 20:54:13 +00:00
|
|
|
std::is_base_of_v<Base, Derived>;
|
|
|
|
std::is_convertible_v<const volatile Derived*, const volatile Base*>;
|
|
|
|
};
|
2020-08-03 12:28:54 +01:00
|
|
|
|
2020-12-29 19:26:16 +00:00
|
|
|
// TODO: Replace with std::convertible_to when libc++ implements it.
|
|
|
|
template <typename From, typename To>
|
|
|
|
concept ConvertibleTo = std::is_convertible_v<From, To>;
|
|
|
|
|
2022-10-18 17:54:53 +01:00
|
|
|
// No equivalents in the stdlib
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
concept IsArithmetic = std::is_arithmetic_v<T>;
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
concept IsIntegral = std::is_integral_v<T>;
|
|
|
|
|
2020-08-03 12:28:54 +01:00
|
|
|
} // namespace Common
|