From bcc7f0ef689884487bc594d9b744159f834b2660 Mon Sep 17 00:00:00 2001
From: Daniel Lee <bearlee@alum.mit.edu>
Date: Sat, 2 Dec 2023 21:26:22 -0500
Subject: [PATCH] adding back in some requires traits

---
 stan/math/prim/meta/is_complex.hpp             | 3 +++
 stan/math/prim/meta/is_eigen_dense_dynamic.hpp | 4 ++++
 stan/math/prim/meta/is_var_dense_dynamic.hpp   | 4 ++++
 stan/math/prim/meta/is_var_matrix.hpp          | 4 ++++
 stan/math/prim/meta/is_vector.hpp              | 3 +++
 5 files changed, 18 insertions(+)

diff --git a/stan/math/prim/meta/is_complex.hpp b/stan/math/prim/meta/is_complex.hpp
index 07268469496..e81a587ed38 100644
--- a/stan/math/prim/meta/is_complex.hpp
+++ b/stan/math/prim/meta/is_complex.hpp
@@ -74,6 +74,9 @@ using require_all_not_complex_t
 
 // STAN_ADD_REQUIRE_UNARY_INNER(complex, is_complex,
 // require_stan_scalar_complex);
+template <typename T>
+using require_vt_complex = require_t<is_complex<value_type_t<std::decay_t<T>>>>;
+
 template <typename T>
 using require_not_vt_complex
     = require_not_t<is_complex<value_type_t<std::decay_t<T>>>>;
diff --git a/stan/math/prim/meta/is_eigen_dense_dynamic.hpp b/stan/math/prim/meta/is_eigen_dense_dynamic.hpp
index 87505db8642..9bf2d538572 100644
--- a/stan/math/prim/meta/is_eigen_dense_dynamic.hpp
+++ b/stan/math/prim/meta/is_eigen_dense_dynamic.hpp
@@ -28,6 +28,10 @@ template <typename T>
 using require_eigen_dense_dynamic_t
     = require_t<is_eigen_dense_dynamic<std::decay_t<T>>>;
 
+template <typename... Types>
+using require_all_eigen_dense_dynamic_t
+    = require_all_t<is_eigen_dense_dynamic<std::decay_t<Types>>...>;
+  
 // STAN_ADD_REQUIRE_CONTAINER(eigen_dense_dynamic, is_eigen_dense_dynamic,
 // require_eigens_types);
 template <template <class...> class TypeCheck, class... Check>
diff --git a/stan/math/prim/meta/is_var_dense_dynamic.hpp b/stan/math/prim/meta/is_var_dense_dynamic.hpp
index b01b13561cf..c17c98f4d64 100644
--- a/stan/math/prim/meta/is_var_dense_dynamic.hpp
+++ b/stan/math/prim/meta/is_var_dense_dynamic.hpp
@@ -20,6 +20,10 @@ struct is_var_dense_dynamic
 
 // STAN_ADD_REQUIRE_UNARY(var_dense_dynamic, is_var_dense_dynamic,
 // require_eigens_types);
+template <typename T>
+using require_var_dense_dynamic_t
+    = require_t<is_var_dense_dynamic<std::decay_t<T>>>;
+  
 // STAN_ADD_REQUIRE_UNARY_INNER(var_dense_dynamic, is_var_dense_dynamic,
 // require_eigens_types);
 }  // namespace stan
diff --git a/stan/math/prim/meta/is_var_matrix.hpp b/stan/math/prim/meta/is_var_matrix.hpp
index d22e4d400c1..11b600a09e4 100644
--- a/stan/math/prim/meta/is_var_matrix.hpp
+++ b/stan/math/prim/meta/is_var_matrix.hpp
@@ -26,6 +26,10 @@ using require_var_matrix_t = require_t<is_var_matrix<std::decay_t<T>>>;
 template <typename T>
 using require_not_var_matrix_t = require_not_t<is_var_matrix<std::decay_t<T>>>;
 
+template <typename... Types>
+using require_all_var_matrix_t
+    = require_all_t<is_var_matrix<std::decay_t<Types>>...>;
+  
 template <typename... Types>
 using require_any_var_matrix_t
     = require_any_t<is_var_matrix<std::decay_t<Types>>...>;
diff --git a/stan/math/prim/meta/is_vector.hpp b/stan/math/prim/meta/is_vector.hpp
index 4f6332a2d91..a0ee69c968a 100644
--- a/stan/math/prim/meta/is_vector.hpp
+++ b/stan/math/prim/meta/is_vector.hpp
@@ -154,6 +154,9 @@ template <typename T>
 struct is_row_vector : internal::is_row_vector_impl<T> {};
 
 // STAN_ADD_REQUIRE_UNARY(row_vector, is_row_vector, require_eigens_types);
+template <typename T>
+using require_row_vector_t = require_t<is_row_vector<std::decay_t<T>>>;
+  
 // STAN_ADD_REQUIRE_CONTAINER(row_vector, is_row_vector, require_eigens_types);
 /** \ingroup type_trait
  * If the input type T is an eigen matrix with 1 column or 1 row at compile time