1#ifndef STAN_MATH_PRIM_META_IS_VAR_HPP
2#define STAN_MATH_PRIM_META_IS_VAR_HPP
13template <
typename T,
typename =
void>
33template <
typename... Types>
38template <
typename... Types>
43template <
typename... Types>
48template <
typename... Types>
62template <
template <
class...>
class TypeCheck,
class... Check>
71template <
template <
class...>
class TypeCheck,
class... Check>
80template <
template <
class...>
class TypeCheck,
class... Check>
97template <
typename... Types>
104template <
typename... Types>
122template <
typename... Types>
129template <
typename... Types>
136template <
typename... Types>
143 using type =
typename std::decay_t<T>::value_type;
typename value_type< T >::type value_type_t
Helper function for accessing underlying type.
require_all_not_t< is_var< scalar_type_t< std::decay_t< Types > > >... > require_all_not_st_var
Require none of the scalar types satisfy is_var.
require_not_t< is_var< std::decay_t< T > > > require_not_var_t
Require type does not satisfy is_var.
require_not_t< is_var< scalar_type_t< std::decay_t< T > > > > require_not_st_var
Require scalar type does not satisfy is_var.
require_t< container_type_check_base< is_var, value_type_t, TypeCheck, Check... > > require_var_vt
Require type satisfies is_var.
require_all_t< is_var< std::decay_t< Types > >... > require_all_var_t
Require all of the types satisfy is_var.
require_any_t< is_var< value_type_t< std::decay_t< Types > > >... > require_any_vt_var
Require any of the value_types satisfy is_var.
require_all_not_t< is_var< value_type_t< std::decay_t< Types > > >... > require_all_not_vt_var
Require none of the value_types satisfy is_var.
require_any_not_t< is_var< std::decay_t< Types > >... > require_any_not_var_t
Require at least one of the types do not satisfy is_var.
require_not_t< is_var< value_type_t< std::decay_t< T > > > > require_not_vt_var
Require value type does not satisfy is_var.
require_any_t< is_var< std::decay_t< Types > >... > require_any_var_t
Require any of the types satisfy is_var.
require_any_t< container_type_check_base< is_var, value_type_t, TypeCheck, Check >... > require_any_var_vt
Require any of the types satisfy is_var.
require_t< is_var< scalar_type_t< std::decay_t< T > > > > require_st_var
Require scalar_type satisfies is_var.
require_t< is_var< std::decay_t< T > > > require_var_t
Require type satisfies is_var.
require_all_t< is_var< scalar_type_t< std::decay_t< Types > > >... > require_all_st_var
Require all of the scalar types satisfy is_var.
require_all_not_t< is_var< std::decay_t< Types > >... > require_all_not_var_t
Require none of the types satisfy is_var.
require_all_t< container_type_check_base< is_var, value_type_t, TypeCheck, Check >... > require_all_var_vt
Require all of the types satisfy is_var.
require_any_t< is_var< scalar_type_t< std::decay_t< Types > > >... > require_any_st_var
Require any of the scalar types satisfy is_var.
std::enable_if_t<!Check::value > require_not_t
If condition is false, template is disabled.
std::enable_if_t< math::disjunction< Checks... >::value > require_any_t
If any condition is true, template is enabled.
std::enable_if_t<!math::disjunction< Checks... >::value > require_all_not_t
If all conditions are false, template is enabled.
bool_constant< math::conjunction< ContainerCheck< std::decay_t< Check > >..., TypeCheck< ValueCheck< Check > >... >::value > container_type_check_base
Used as the base for checking whether a type is a container with an underlying scalar type.
std::enable_if_t<!math::conjunction< Checks... >::value > require_any_not_t
If any condition is false, template is enabled.
std::enable_if_t< Check::value > require_t
If condition is true, template is enabled.
std::enable_if_t< math::conjunction< Checks... >::value > require_all_t
If all conditions are true, template is enabled Returns a type void if all conditions are true and ot...
The lgamma implementation in stan-math is based on either the reentrant safe lgamma_r implementation ...
Defines a static member named value which is defined to be false as the primitive scalar types cannot...
typename std::decay_t< T >::value_type type
Primary template class for metaprogram to compute the type of values stored in a container.