is_matrix.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_MATRIX_HPP
#define STAN_MATH_PRIM_META_IS_MATRIX_HPP
 
#include <stan/math/prim/meta/disjunction.hpp>
#include <stan/math/prim/meta/is_eigen.hpp>
#include <stan/math/prim/meta/is_var.hpp>
#include <stan/math/prim/meta/is_rev_matrix.hpp>
 
namespace stan {
template <typename T>
struct is_matrix
    : bool_constant<math::disjunction<is_rev_matrix<T>, is_eigen<T>>::value> {};
 
template <typename T>
using require_matrix_t = require_t<is_matrix<std::decay_t<T>>>;
 
template <typename T>
using require_not_matrix_t = require_not_t<is_matrix<std::decay_t<T>>>;
 
template <typename... Types>
using require_all_matrix_t = require_all_t<is_matrix<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_any_matrix_t = require_any_t<is_matrix<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_all_not_matrix_t
    = require_all_not_t<is_matrix<std::decay_t<Types>>...>;
template <template <class...> class TypeCheck, class... Check>
using require_any_matrix_st = require_any_t<
    container_type_check_base<is_matrix, scalar_type_t, TypeCheck, Check>...>;
 
template <template <class...> class TypeCheck, class... Check>
using require_all_matrix_st = require_all_t<
    container_type_check_base<is_matrix, scalar_type_t, TypeCheck, Check>...>;
 
template <template <class...> class TypeCheck, class... Check>
using require_all_not_matrix_st = require_all_not_t<
    container_type_check_base<is_matrix, scalar_type_t, TypeCheck, Check>...>;
}  // namespace stan
 
#endif