2022-04-23 04:59:50 -04:00
|
|
|
// SPDX-FileCopyrightText: Copyright 2020 yuzu Emulator Project
|
|
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
2020-08-03 07:28:54 -04:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2022-10-26 00:41:54 -04:00
|
|
|
#include <iterator>
|
2020-08-03 07:28:54 -04:00
|
|
|
#include <type_traits>
|
|
|
|
|
2020-08-18 14:24:51 -04:00
|
|
|
namespace Common {
|
|
|
|
|
2022-10-26 00:41:54 -04:00
|
|
|
// Check if type satisfies the ContiguousContainer named requirement.
|
2020-08-03 07:28:54 -04:00
|
|
|
template <typename T>
|
2022-10-26 00:41:54 -04:00
|
|
|
concept IsContiguousContainer = std::contiguous_iterator<typename T::iterator>;
|
2020-08-03 07:28:54 -04:00
|
|
|
|
2020-08-07 07:55:50 -04: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 15:54:13 -05:00
|
|
|
std::is_base_of_v<Base, Derived>;
|
|
|
|
std::is_convertible_v<const volatile Derived*, const volatile Base*>;
|
|
|
|
};
|
2020-08-03 07:28:54 -04:00
|
|
|
|
2020-12-29 14:26:16 -05: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 12:54:53 -04: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 07:28:54 -04:00
|
|
|
} // namespace Common
|