is_var.hpp File Reference

#include <stan/math/prim/meta/require_helpers.hpp>
#include <type_traits>

Go to the source code of this file.

Classes
struct	stan::is_var< T, typename >
	Defines a static member named value which is defined to be false as the primitive scalar types cannot be a stan::math::var type. More...
struct	stan::value_type< T, std::enable_if_t< is_var< T >::value > >

Namespaces
namespace	stan
	The lgamma implementation in stan-math is based on either the reentrant safe lgamma_r implementation from C or the boost::math::lgamma implementation.

Typedefs
template<typename T >
using	stan::require_var_t = require_t< is_var< std::decay_t< T > > >
	Require type satisfies is_var.
template<typename T >
using	stan::require_not_var_t = require_not_t< is_var< std::decay_t< T > > >
	Require type does not satisfy is_var.
template<typename... Types>
using	stan::require_all_var_t = require_all_t< is_var< std::decay_t< Types > >... >
	Require all of the types satisfy is_var.
template<typename... Types>
using	stan::require_any_var_t = require_any_t< is_var< std::decay_t< Types > >... >
	Require any of the types satisfy is_var.
template<typename... Types>
using	stan::require_all_not_var_t = require_all_not_t< is_var< std::decay_t< Types > >... >
	Require none of the types satisfy is_var.
template<typename... Types>
using	stan::require_any_not_var_t = require_any_not_t< is_var< std::decay_t< Types > >... >
	Require at least one of the types do not satisfy is_var.
template<template< class... > class TypeCheck, class... Check>
using	stan::require_var_vt = require_t< container_type_check_base< is_var, value_type_t, TypeCheck, Check... > >
	Require type satisfies is_var.
template<template< class... > class TypeCheck, class... Check>
using	stan::require_any_var_vt = require_any_t< container_type_check_base< is_var, value_type_t, TypeCheck, Check >... >
	Require any of the types satisfy is_var.
template<template< class... > class TypeCheck, class... Check>
using	stan::require_all_var_vt = require_all_t< container_type_check_base< is_var, value_type_t, TypeCheck, Check >... >
	Require all of the types satisfy is_var.
template<typename T >
using	stan::require_not_vt_var = require_not_t< is_var< value_type_t< std::decay_t< T > > > >
	Require value type does not satisfy is_var.
template<typename... Types>
using	stan::require_any_vt_var = require_any_t< is_var< value_type_t< std::decay_t< Types > > >... >
	Require any of the value_types satisfy is_var.
template<typename... Types>
using	stan::require_all_not_vt_var = require_all_not_t< is_var< value_type_t< std::decay_t< Types > > >... >
	Require none of the value_types satisfy is_var.
template<typename T >
using	stan::require_st_var = require_t< is_var< scalar_type_t< std::decay_t< T > > > >
	Require scalar_type satisfies is_var.
template<typename T >
using	stan::require_not_st_var = require_not_t< is_var< scalar_type_t< std::decay_t< T > > > >
	Require scalar type does not satisfy is_var.
template<typename... Types>
using	stan::require_all_st_var = require_all_t< is_var< scalar_type_t< std::decay_t< Types > > >... >
	Require all of the scalar types satisfy is_var.
template<typename... Types>
using	stan::require_any_st_var = require_any_t< is_var< scalar_type_t< std::decay_t< Types > > >... >
	Require any of the scalar types satisfy is_var.
template<typename... Types>
using	stan::require_all_not_st_var = require_all_not_t< is_var< scalar_type_t< std::decay_t< Types > > >... >
	Require none of the scalar types satisfy is_var.