system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-07-21 18:15:58 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

AK: Add a 'SpecializationOf' concept

Browse source 
The counterpart to the IsSpecializationOf<...> template.
This commit is contained in:
Ali Mohammad Pur 2022-02-14 16:48:51 +03:30 committed by Idan Horowitz
parent bc38155b9c
commit 7a58c510e5
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
AK/Concepts.h
View file

@ -33,6 +33,9 @@ concept Enum = IsEnum<T>;
template<typename T, typename U>
concept SameAs = IsSame<T, U>;
template<typename T, template<typename...> typename S>
concept SpecializationOf = IsSpecializationOf<T, S>;
template<typename T>
concept AnyString = Detail::IsConstructible<StringView, T>;
@ -112,5 +115,6 @@ using AK::Concepts::IteratorFunction;
using AK::Concepts::IteratorPairWith;
using AK::Concepts::SameAs;
using AK::Concepts::Signed;
using AK::Concepts::SpecializationOf;
using AK::Concepts::Unsigned;
using AK::Concepts::VoidFunction;