AK: Introduce the DerivedFrom concept

This commit is contained in:
Lucas CHOLLET 2022-12-06 23:02:58 +01:00 committed by Linus Groh
parent 3750687821
commit 6c83bd8fd4
Notes: sideshowbarker 2024-07-17 03:21:47 +09:00

View file

@ -45,6 +45,9 @@ concept OneOfIgnoringCV = IsOneOfIgnoringCV<U, Ts...>;
template<typename T, template<typename...> typename S>
concept SpecializationOf = IsSpecializationOf<T, S>;
template<typename T, typename S>
concept DerivedFrom = IsBaseOf<S, T>;
template<typename T>
concept AnyString = IsConstructible<StringView, T>;
@ -136,6 +139,7 @@ namespace AK {
#endif
using AK::Concepts::Arithmetic;
using AK::Concepts::ArrayLike;
using AK::Concepts::DerivedFrom;
using AK::Concepts::Enum;
using AK::Concepts::FallibleFunction;
using AK::Concepts::FloatingPoint;