is_fvar.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_FVAR_HPP
#define STAN_MATH_PRIM_META_IS_FVAR_HPP
 
#include <stan/math/prim/meta/base_type.hpp>
#include <stan/math/prim/meta/require_helpers.hpp>
#include <stan/math/prim/meta/scalar_type.hpp>
#include <stan/math/prim/meta/value_type.hpp>
#include <type_traits>
 
namespace stan {
template <typename T, typename = void>
struct is_fvar : std::false_type {};
 
template <typename T>
inline constexpr bool is_fvar_v = is_fvar<T>::value;
 
template <typename T>
struct value_type<T, std::enable_if_t<is_fvar<std::decay_t<T>>::value>> {
  using type = typename std::decay_t<T>::Scalar;
};
 
template <typename T>
using require_fvar_t = require_t<is_fvar<std::decay_t<T>>>;
 
template <typename T>
using require_not_fvar_t = require_not_t<is_fvar<std::decay_t<T>>>;
 
template <typename... Types>
using require_all_fvar_t = require_all_t<is_fvar<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_any_fvar_t = require_any_t<is_fvar<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_all_not_fvar_t
    = require_all_not_t<is_fvar<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_any_not_fvar_t
    = require_any_not_t<is_fvar<std::decay_t<Types>>...>;
template <typename... Types>
using require_any_vt_fvar
    = require_any_t<is_fvar<value_type_t<std::decay_t<Types>>>...>;
 
template <typename... Types>
using require_all_not_vt_fvar
    = require_all_not_t<is_fvar<value_type_t<std::decay_t<Types>>>...>;
 
template <typename T>
using require_st_fvar = require_t<is_fvar<scalar_type_t<std::decay_t<T>>>>;
 
template <typename T>
using require_not_st_fvar
    = require_not_t<is_fvar<scalar_type_t<std::decay_t<T>>>>;
 
template <typename... Types>
using require_any_st_fvar
    = require_any_t<is_fvar<scalar_type_t<std::decay_t<Types>>>...>;
 
template <typename... Types>
using require_all_not_st_fvar
    = require_all_not_t<is_fvar<scalar_type_t<std::decay_t<Types>>>...>;
 
template <typename... Types>
using require_any_bt_fvar
    = require_any_t<is_fvar<base_type_t<std::decay_t<Types>>>...>;
}  // namespace stan
#endif