type_traits.hpp

Go to the documentation of this file.

#ifndef KOKKOS_UTILS_IMPL_TYPE_TRAITS_HPP
#define KOKKOS_UTILS_IMPL_TYPE_TRAITS_HPP
 
#include <type_traits>

 
namespace Kokkos::utils::impl
{

template <class T, template <typename...> class U>
inline constexpr bool is_instance_of_v = std::false_type{};
 
template <template <typename...> class U, typename... Vs>
inline constexpr bool is_instance_of_v<U<Vs...>, U> = std::true_type{};
 
template <typename T, template <typename...> class U>
concept InstanceOf = is_instance_of_v<T, U>;

template <typename T, typename... Ts>
concept IsTypeOneOf = std::disjunction_v<std::is_same<T, Ts>...>;
 
} // namespace Kokkos::utils::impl
 
#endif // KOKKOS_UTILS_IMPL_TYPE_TRAITS_HPP