Type: SpecializesValue

Author: MorganCaron

modules/Type/Concept.mpp

@@ -1,6 +1,7 @@
 export module CppUtils.Type.Concept;
 
 import std;
+export import CppUtils.Type.Specialization;
 
 export namespace CppUtils::Type
 {
@@ -22,15 +23,6 @@ export namespace CppUtils::Type
 		{ std::hash<std::remove_cvref_t<T>>{}(a) } -> std::convertible_to<std::size_t>;
 	};
 
-	template<class T, template<class...> class IncompleteType>
-	inline constexpr auto isSpecializationOf = false;
-
-	template<template<class...> class IncompleteType, class... Args>
-	inline constexpr auto isSpecializationOf<IncompleteType<Args...>, IncompleteType> = true;
-
-	template<class T, template<class...> class IncompleteType>
-	concept Specializes = isSpecializationOf<std::remove_cvref_t<T>, IncompleteType>;
-
 	template<class T>
 	concept Function = std::is_function_v<T>;
 

modules/Type/Specialization.mpp

@@ -0,0 +1,24 @@
+export module CppUtils.Type.Specialization;
+
+import std;
+
+export namespace CppUtils::Type
+{
+	template<class T, template<class...> class>
+	inline constexpr auto isSpecializationOfTypes = false;
+
+	template<template<class...> class IncompleteType, class... Args>
+	inline constexpr auto isSpecializationOfTypes<IncompleteType<Args...>, IncompleteType> = true;
+
+	template<class T, template<class...> class IncompleteType>
+	concept Specializes = isSpecializationOfTypes<std::remove_cvref_t<T>, IncompleteType>;
+
+	template<class T, template<auto...> class>
+	inline constexpr auto isSpecializationOfValues = false;
+
+	template<template<auto...> class IncompleteType, auto... Args>
+	inline constexpr auto isSpecializationOfValues<IncompleteType<Args...>, IncompleteType> = true;
+
+	template<class T, template<auto...> class IncompleteType>
+	concept SpecializesValue = isSpecializationOfValues<std::remove_cvref_t<T>, IncompleteType>;
+}