is_tuple.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_TUPLE_HPP
#define STAN_MATH_PRIM_META_IS_TUPLE_HPP
 
#include <cstddef>
#include <stan/math/prim/meta/require_helpers.hpp>
#include <stan/math/prim/meta/conjunction.hpp>
#include <tuple>
#include <type_traits>
 
namespace stan {
namespace math {
namespace internal {
 
template <typename... Types>
struct is_tuple_impl : std::false_type {};
 
template <typename... Types>
struct is_tuple_impl<std::tuple<Types...>> : std::true_type {};
 
template <template <class...> class TypeCheck, typename T>
struct all_tuple_elements : std::false_type {};
 
template <template <class...> class TypeCheck, typename... Types>
struct all_tuple_elements<TypeCheck, std::tuple<Types...>>
    : math::conjunction<TypeCheck<std::decay_t<Types>>...> {};
}  // namespace internal
 
template <typename T>
struct is_tuple : internal::is_tuple_impl<std::decay_t<T>> {};
 
template <typename T>
constexpr bool is_tuple_v = is_tuple<T>::value;
template <typename T>
using require_tuple_t = require_t<is_tuple<std::decay_t<T>>>;
 
template <template <class...> class TypeCheck, typename T>
using require_all_tuple_elements_t
    = require_t<internal::all_tuple_elements<TypeCheck, std::decay_t<T>>>;
 
template <typename T>
using require_not_tuple_t = require_not_t<is_tuple<std::decay_t<T>>>;
 
template <typename... Types>
using require_all_tuple_t = require_all_t<is_tuple<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_all_not_tuple_t
    = require_all_not_t<is_tuple<std::decay_t<Types>>...>;
}  // namespace math
 
template <typename T>
using is_tuple = math::is_tuple<T>;
 
template <typename T>
inline constexpr bool is_tuple_v = math::is_tuple_v<T>;
 
template <typename T, std::size_t N, typename = void>
struct is_tuple_of_size : std::false_type {};
 
template <typename T, std::size_t N>
struct is_tuple_of_size<T, N, std::enable_if_t<stan::is_tuple_v<T>>>
    : std::bool_constant<std::tuple_size_v<std::decay_t<T>> == N> {};
 
template <typename T, std::size_t N>
inline constexpr bool is_tuple_of_size_v = stan::is_tuple_of_size<T, N>::value;
 
template <std::size_t N, typename Tuple, typename CheckType>
inline constexpr bool is_inner_tuple_type_v = std::is_same_v<
    std::decay_t<CheckType>,
    std::decay_t<std::tuple_element_t<N, std::decay_t<Tuple>>>>;
 
}  // namespace stan
 
#endif