1 #ifndef STAN_MATH_PRIM_SCAL_ERR_CHECK_POSITIVE_HPP
2 #define STAN_MATH_PRIM_SCAL_ERR_CHECK_POSITIVE_HPP
10 #include <boost/type_traits/is_unsigned.hpp>
18 template <
typename T_y,
bool is_vec>
20 static bool check(
const char*
function,
25 if (!boost::is_unsigned<T_y>::value && !(y > 0))
27 "is ",
", but must be > 0!");
32 template <
typename T_y>
33 struct positive<T_y, true> {
34 static bool check(
const char*
function,
39 for (
size_t n = 0; n <
length(y); n++) {
40 if (!boost::is_unsigned<
typename value_type<T_y>::type>::value
43 "is ",
", but must be > 0!");
67 template <
typename T_y>
71 return positive<T_y, is_vector_like<T_y>::value>
72 ::check(
function, name, y);
size_t length(const std::vector< T > &x)
bool check_positive(const char *function, const char *name, const T_y &y)
Return true if y is positive.
void domain_error_vec(const char *function, const char *name, const T &y, const size_t i, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.
T get(const std::vector< T > &x, size_t n)
void domain_error(const char *function, const char *name, const T &y, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.
Primary template class for metaprogram to compute the type of values stored in a container.