Added Vector and Matrix concepts

Author: Przemog1

include/nbl/builtin/hlsl/concepts.hlsl

@@ -118,9 +118,6 @@ concept any_of = (same_as<T, Ts> || ...);
 template <typename T>
 concept scalar = floating_point<T> || integral<T>;
 
-template <typename T>
-concept matricial = is_matrix<T>::value;
-
 #else
 
 

include/nbl/builtin/hlsl/concepts/matrix.hlsl

@@ -0,0 +1,38 @@
+// Copyright (C) 2024-2025 - DevSH Graphics Programming Sp. z O.O.
+// This file is part of the "Nabla Engine".
+// For conditions of distribution and use, see copyright notice in nabla.h
+#ifndef _NBL_BUILTIN_HLSL_CONCEPTS_MATRIX_INCLUDED_
+#define _NBL_BUILTIN_HLSL_CONCEPTS_MATRIX_INCLUDED_
+
+
+#include <nbl/builtin/hlsl/concepts.hlsl>
+#include <nbl/builtin/hlsl/matrix_utils/matrix_traits.hlsl>
+
+namespace nbl
+{
+namespace hlsl
+{
+namespace concepts
+{
+
+template<typename T>
+NBL_BOOL_CONCEPT Matrix = is_matrix<T>::value;
+
+#define NBL_CONCEPT_NAME Matricial
+#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
+#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
+NBL_CONCEPT_BEGIN(0)
+NBL_CONCEPT_END(
+    ((NBL_CONCEPT_REQ_TYPE)(matrix_traits<T>::scalar_type))
+    ((NBL_CONCEPT_REQ_TYPE)(matrix_traits<T>::row_type))
+    ((NBL_CONCEPT_REQ_TYPE)(matrix_traits<T>::transposed_type))
+    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matrix_traits<T>::RowCount), ::nbl::hlsl::is_integral_v))
+    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matrix_traits<T>::ColumnCount), ::nbl::hlsl::is_integral_v))
+    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matrix_traits<T>::Square), ::nbl::hlsl::is_same_v, bool))
+);
+#include <nbl/builtin/hlsl/concepts/__end.hlsl>
+
+}
+}
+}
+#endif

include/nbl/builtin/hlsl/concepts/vector.hlsl

@@ -0,0 +1,39 @@
+// Copyright (C) 2024-2025 - DevSH Graphics Programming Sp. z O.O.
+// This file is part of the "Nabla Engine".
+// For conditions of distribution and use, see copyright notice in nabla.h
+#ifndef _NBL_BUILTIN_HLSL_CONCEPTS_VECTOR_INCLUDED_
+#define _NBL_BUILTIN_HLSL_CONCEPTS_VECTOR_INCLUDED_
+
+
+#include <nbl/builtin/hlsl/concepts.hlsl>
+#include <nbl/builtin/hlsl/vector_utils/vector_traits.hlsl>
+#include <nbl/builtin/hlsl/type_traits.hlsl>
+
+namespace nbl
+{
+namespace hlsl
+{
+namespace concepts
+{
+
+template<typename T>
+NBL_BOOL_CONCEPT Vector = is_vector<T>::value;
+
+// declare concept
+#define NBL_CONCEPT_NAME Vectorial
+#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
+#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
+
+NBL_CONCEPT_BEGIN(0)
+NBL_CONCEPT_END
+(
+    ((NBL_CONCEPT_REQ_TYPE)(vector_traits<T>::scalar_type))
+    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((vector_traits<T>::Dimension), ::nbl::hlsl::is_integral_v))
+);
+
+#include <nbl/builtin/hlsl/concepts/__end.hlsl>
+
+}
+}
+}
+#endif

include/nbl/builtin/hlsl/matrix_utils/matrix_traits.hlsl

@@ -25,10 +25,21 @@ struct matrix_traits<matrix<T, ROW_COUNT, COLUMN_COUNT> > \
     NBL_CONSTEXPR_STATIC_INLINE bool Square = RowCount == ColumnCount; \
 };
 
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(1, 2)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(1, 3)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(1, 4)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(2, 1)
 DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(2, 2)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(2, 3)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(2, 4)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(3, 1)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(3, 2)
 DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(3, 3)
-DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(4, 4)
 DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(3, 4)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(4, 1)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(4, 2)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(4, 3)
+DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION(4, 4)
 
 #undef DEFINE_MATRIX_TRAITS_TEMPLATE_SPECIALIZATION