mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Antonio Frighetto
43 lines
846 B
C++
43 lines
846 B
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include <concepts>
|
|
#include <iterator>
|
|
#include <type_traits>
|
|
|
|
template<typename T, typename U>
|
|
concept convertible_to = std::is_convertible_v<T, U>;
|
|
|
|
template<typename T>
|
|
concept NotVoid = not std::is_void_v<T>;
|
|
|
|
template<class Derived, class Base>
|
|
concept DerivesFrom = std::is_base_of_v<Base, Derived>;
|
|
|
|
template<typename T, typename R>
|
|
concept ConstOrNot = std::is_same_v<R, T> or std::is_same_v<const R, T>;
|
|
|
|
template<typename T>
|
|
concept Integral = std::is_integral_v<T>;
|
|
|
|
// clang-format off
|
|
namespace ranges {
|
|
|
|
template<class T>
|
|
concept range = requires(T &R) {
|
|
std::begin(R);
|
|
std::end(R);
|
|
};
|
|
|
|
template<class T>
|
|
concept sized_range = ranges::range<T> && requires(T &R) {
|
|
std::size(R);
|
|
};
|
|
|
|
} // namespace ranges
|
|
|
|
// clang-format off
|