require_generics.hpp File Reference

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

Go to the source code of this file.

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 , typename S >
using	stan::require_same_t = require_t< std::is_same< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S satisfies std::is_same.
template<typename T , typename S >
using	stan::require_not_same_t = require_not_t< std::is_same< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S does not satisfy std::is_same.
template<typename T , typename... Types>
using	stan::require_all_same_t = require_all_t< std::is_same< std::decay_t< T >, std::decay_t< Types > >... >
	Require T and all of the Types satisfy std::is_same.
template<typename T , typename... Types>
using	stan::require_any_same_t = require_any_t< std::is_same< std::decay_t< T >, std::decay_t< Types > >... >
	Require any of the Types and T satisfy std::is_same.
template<typename T , typename... Types>
using	stan::require_all_not_same_t = require_all_not_t< std::is_same< std::decay_t< T >, std::decay_t< Types > >... >
	Require none of the Types and T satisfy std::is_same.
template<typename T , typename... Types>
using	stan::require_any_not_same_t = require_any_not_t< std::is_same< std::decay_t< T >, std::decay_t< Types > >... >
	Any one of the Types and T do not satisfy std::is_same.
template<typename T , typename S >
using	stan::require_st_same = require_t< std::is_same< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< S > > > >
	Require that value types of T and S satisfies std::is_same.
template<typename T , typename S >
using	stan::require_not_st_same = require_not_t< std::is_same< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< S > > > >
	Require scalar types of T and S does not satisfy std::is_same.
template<typename T , typename... Types>
using	stan::require_all_st_same = require_all_t< std::is_same< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	All scalar types of T and all of the Types satisfy std::is_same.
template<typename T , typename... Types>
using	stan::require_any_not_st_same = require_any_not_t< std::is_same< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	Any of the scalar types Types and T do not satisfy std::is_same.
template<typename T , typename S >
using	stan::require_vt_same = require_t< std::is_same< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< S > > > >
	Value types of T and S satisfies std::is_same.
template<typename T , typename... Types>
using	stan::require_all_vt_same = require_all_t< std::is_same< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Value types of T and all of the Types satisfy std::is_same.
template<typename T , typename S >
using	stan::require_convertible_t = require_t< std::is_convertible< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S satisfies std::is_convertible.
template<typename T , typename S >
using	stan::require_not_convertible_t = require_not_t< std::is_convertible< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S does not satisfy std::is_convertible.
template<typename T , typename... Types>
using	stan::require_all_convertible_t = require_all_t< std::is_convertible< std::decay_t< T >, std::decay_t< Types > >... >
	Require T and all of the Types satisfy std::is_convertible.
template<typename T , typename... Types>
using	stan::require_any_not_convertible_t = require_any_not_t< std::is_convertible< std::decay_t< T >, std::decay_t< Types > >... >
	Any one of the Types and T do not satisfy.
template<typename T , typename S >
using	stan::require_assignable_t = require_t< std::is_assignable< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S satisfies std::is_assignable.
template<typename T , typename S >
using	stan::require_not_assignable_t = require_not_t< std::is_assignable< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S does not satisfy std::is_assignable.
template<typename T , typename S >
using	stan::require_st_assignable = require_t< std::is_assignable< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< S > > > >
	Require that value types of T and S satisfies std::is_assignable.
template<typename T , typename S >
using	stan::require_not_st_assignable = require_not_t< std::is_assignable< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< S > > > >
	Require scalar types of T and S does not satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_all_st_assignable = require_all_t< std::is_assignable< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	All scalar types of T and all of the Types satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_any_st_assignable = require_any_t< std::is_assignable< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	Any of the scalar types of Types and T satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_all_not_st_assignable = require_all_not_t< std::is_assignable< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	None of the scalar types of Types and T satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_any_not_st_assignable = require_any_not_t< std::is_assignable< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	Any of the scalar types Types and T do not satisfy std::is_assignable.
template<typename T , typename S >
using	stan::require_vt_assignable = require_t< std::is_assignable< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< S > > > >
	Value types of T and S satisfies std::is_assignable.
template<typename T , typename S >
using	stan::require_not_vt_assignable = require_not_t< std::is_assignable< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< S > > > >
	Value types of T and S does not satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_all_vt_assignable = require_all_t< std::is_assignable< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Value types of T and all of the Types satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_any_vt_assignable = require_any_t< std::is_assignable< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Any of the value types of Types and T satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_all_not_vt_assignable = require_all_not_t< std::is_assignable< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	None of the value types of Types and T satisfy std::is_assignable.
template<typename T , typename... Types>
using	stan::require_any_not_vt_assignable = require_any_not_t< std::is_assignable< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Any of the value types Types and T do not satisfy std::is_assignable.
template<typename T , typename S >
using	stan::require_constructible_t = require_t< std::is_constructible< std::decay_t< T >, std::decay_t< S > > >
	Require types T and S satisfies std::is_constructible.
template<typename T , typename S >
using	stan::require_st_constructible = require_t< std::is_constructible< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< S > > > >
	Require that value types of T and S satisfies std::is_constructible.
template<typename T , typename S >
using	stan::require_not_st_constructible = require_not_t< std::is_constructible< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< S > > > >
	Require scalar types of T and S does not satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_all_st_constructible = require_all_t< std::is_constructible< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	All scalar types of T and all of the Types satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_any_st_constructible = require_any_t< std::is_constructible< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	Any of the scalar types of Types and T satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_all_not_st_constructible = require_all_not_t< std::is_constructible< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	None of the scalar types of Types and T satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_any_not_st_constructible = require_any_not_t< std::is_constructible< scalar_type_t< std::decay_t< T > >, scalar_type_t< std::decay_t< Types > > >... >
	Any of the scalar types Types and T do not satisfy std::is_constructible.
template<typename T , typename S >
using	stan::require_vt_constructible = require_t< std::is_constructible< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< S > > > >
	Value types of T and S satisfies std::is_constructible.
template<typename T , typename S >
using	stan::require_not_vt_constructible = require_not_t< std::is_constructible< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< S > > > >
	Value types of T and S does not satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_all_vt_constructible = require_all_t< std::is_constructible< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Value types of T and all of the Types satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_any_vt_constructible = require_any_t< std::is_constructible< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Any of the value types of Types and T satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_all_not_vt_constructible = require_all_not_t< std::is_constructible< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	None of the value types of Types and T satisfy std::is_constructible.
template<typename T , typename... Types>
using	stan::require_any_not_vt_constructible = require_any_not_t< std::is_constructible< value_type_t< std::decay_t< T > >, value_type_t< std::decay_t< Types > > >... >
	Any of the value types Types and T do not satisfy std::is_constructible.
template<typename T >
using	stan::require_arithmetic_t = require_t< std::is_arithmetic< std::decay_t< T > > >
	Require type satisfies std::is_arithmetic.
template<typename T >
using	stan::require_not_arithmetic_t = require_not_t< std::is_arithmetic< std::decay_t< T > > >
	Require type does not satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_all_arithmetic_t = require_all_t< std::is_arithmetic< std::decay_t< Types > >... >
	Require all of the types satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_any_arithmetic_t = require_any_t< std::is_arithmetic< std::decay_t< Types > >... >
	Require any of the types satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_all_not_arithmetic_t = require_all_not_t< std::is_arithmetic< std::decay_t< Types > >... >
	Require none of the types satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_any_not_arithmetic_t = require_any_not_t< std::is_arithmetic< std::decay_t< Types > >... >
	Require at least one of the types do not satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_all_vt_arithmetic = require_all_t< std::is_arithmetic< value_type_t< std::decay_t< Types > > >... >
	Require all of the value types satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_any_not_vt_arithmetic = require_any_not_t< std::is_arithmetic< value_type_t< std::decay_t< Types > > >... >
	Require at least one of the value types do not satisfy std::is_arithmetic.
template<typename T >
using	stan::require_st_arithmetic = require_t< std::is_arithmetic< scalar_type_t< std::decay_t< T > > > >
	Require scalar type satisfies std::is_arithmetic.
template<typename T >
using	stan::require_not_st_arithmetic = require_not_t< std::is_arithmetic< scalar_type_t< std::decay_t< T > > > >
	Require scalar type does not satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_all_st_arithmetic = require_all_t< std::is_arithmetic< scalar_type_t< std::decay_t< Types > > >... >
	Require all of the scalar types satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_any_st_arithmetic = require_any_t< std::is_arithmetic< scalar_type_t< std::decay_t< Types > > >... >
	Require any of the scalar types satisfy std::is_arithmetic.
template<typename... Types>
using	stan::require_any_not_st_arithmetic = require_any_not_t< std::is_arithmetic< scalar_type_t< std::decay_t< Types > > >... >
	Any of the scalar types do not satisfy std::is_arithmetic.
template<typename T >
using	stan::require_floating_point_t = require_t< std::is_floating_point< std::decay_t< T > > >
	Require type satisfies std::is_floating_point.
template<typename T >
using	stan::require_integral_t = require_t< std::is_integral< std::decay_t< T > > >
	Require type satisfies std::is_integral.
template<typename T >
using	stan::require_vt_integral = require_t< std::is_integral< value_type_t< std::decay_t< T > > > >
	Require value type satisfies std::is_integral.
template<typename T >
using	stan::require_st_integral = require_t< std::is_integral< scalar_type_t< std::decay_t< T > > > >
	Require scalar type satisfies std::is_integral.
template<typename T >
using	stan::require_not_st_integral = require_not_t< std::is_integral< scalar_type_t< std::decay_t< T > > > >
	Require scalar type does not satisfy std::is_integral.
template<typename... Types>
using	stan::require_all_not_st_integral = require_all_not_t< std::is_integral< scalar_type_t< std::decay_t< Types > > >... >
	Require none of the scalar types satisfy std::is_integral.