is_constant.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_CONSTANT_HPP
#define STAN_MATH_PRIM_META_IS_CONSTANT_HPP
 
#include <stan/math/prim/fun/Eigen.hpp>
#include <stan/math/prim/meta/bool_constant.hpp>
#include <stan/math/prim/meta/conjunction.hpp>
#include <stan/math/prim/meta/is_vector.hpp>
#include <stan/math/prim/meta/is_eigen.hpp>
#include <stan/math/prim/meta/scalar_type.hpp>
#include <stan/math/prim/meta/value_type.hpp>
#include <stan/math/prim/meta/require_generics.hpp>
#include <type_traits>
#include <vector>
namespace stan {
 
template <typename T, typename = void>
struct is_constant : bool_constant<std::is_convertible<T, double>::value> {};
 
template <typename... T>
using is_constant_all = math::conjunction<is_constant<T>...>;
 
template <typename... T>
inline constexpr bool is_constant_all_v
    = is_constant_all<std::decay_t<T>...>::value;
 
template <typename T>
struct is_constant<T, require_std_vector_t<T>>
    : bool_constant<is_constant<typename std::decay_t<T>::value_type>::value> {
};
 
template <typename T>
struct is_constant<T, require_eigen_t<T>>
    : bool_constant<is_constant<typename std::decay_t<T>::Scalar>::value> {};
 
template <typename T>
inline constexpr bool is_constant_v = is_constant<std::decay_t<T>>::value;
 
}  // namespace stan
#endif