is_var_matrix.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_VAR_MATRIX
#define STAN_MATH_PRIM_META_IS_VAR_MATRIX
 
#include <stan/math/prim/meta/conjunction.hpp>
#include <stan/math/prim/meta/disjunction.hpp>
#include <stan/math/prim/meta/is_var.hpp>
#include <stan/math/prim/meta/is_eigen.hpp>
#include <stan/math/prim/meta/is_vector.hpp>
 
namespace stan {
template <typename T>
struct is_var_matrix
    : bool_constant<
          math::conjunction<is_var<T>, is_eigen<value_type_t<T>>>::value> {};
 
template <typename T>
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>>...>;
 
template <typename... Types>
using require_all_not_var_matrix_t
    = require_all_not_t<is_var_matrix<std::decay_t<Types>>...>;
template <typename T>
struct is_var_col_vector
    : bool_constant<math::conjunction<
          is_var<T>, is_eigen_col_vector<value_type_t<T>>>::value> {};
 
template <typename T>
using require_var_col_vector_t = require_t<is_var_col_vector<std::decay_t<T>>>;
 
template <typename T>
using require_not_var_col_vector_t
    = require_not_t<is_var_col_vector<std::decay_t<T>>>;
template <typename T>
struct is_var_row_vector
    : bool_constant<math::conjunction<
          is_var<T>, is_eigen_row_vector<value_type_t<T>>>::value> {};
 
template <typename T>
using require_var_row_vector_t = require_t<is_var_row_vector<std::decay_t<T>>>;
template <typename T>
struct is_var_vector
    : bool_constant<math::disjunction<is_var_col_vector<T>,
                                      is_var_row_vector<T>>::value> {};
 
template <typename T>
using require_var_vector_t = require_t<is_var_vector<std::decay_t<T>>>;
 
template <typename... Types>
using require_all_var_vector_t
    = require_all_t<is_var_vector<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_any_var_vector_t
    = require_any_t<is_var_vector<std::decay_t<Types>>...>;
template <typename... Types>
struct is_any_var_matrix
    : bool_constant<math::disjunction<is_var_matrix<Types>...>::value> {};
 
}  // namespace stan
 
#endif