kokkos-utils 0.0.1
 
Loading...
Searching...
No Matches
View.hpp
Go to the documentation of this file.
1#ifndef KOKKOS_UTILS_CONCEPTS_VIEW_HPP
2#define KOKKOS_UTILS_CONCEPTS_VIEW_HPP
3
4#include <concepts>
5
6#include "Kokkos_View.hpp"
7
8#include "kokkos-utils/impl/type_traits.hpp"
9
10namespace Kokkos::utils::concepts
11{
12
14template <typename T>
15concept View = Kokkos::is_view_v<T>;
16
18template <typename T, std::size_t Rank>
19concept ViewOfRank = View<T> && T::rank() == Rank;
20
22template <typename T>
23concept ModifiableView = View<T> && ! std::is_const_v<typename T::value_type>;
24
26template <typename T, typename ValueType>
27concept ViewOf = View<T> && std::same_as<typename T::value_type, ValueType>;
28
30template <typename T, template <typename...> class U>
31concept ViewOfInstanceOf = View<T> && impl::InstanceOf<typename T::value_type, U>;
32
33} // namespace Kokkos::utils::concepts
34
35#endif // KOKKOS_UTILS_CONCEPTS_VIEW_HPP
Kokkos::utils::concepts::ModifiableView
Specify that a type is a modifiable Kokkos::View.
Definition View.hpp:23
Kokkos::utils::concepts::ViewOfInstanceOf
Specify that a type is a Kokkos::View, whose value type is an instance of a given class template U.
Definition View.hpp:31
Kokkos::utils::concepts::ViewOfRank
Specify that a type is a Kokkos::View of given rank Rank.
Definition View.hpp:19
Kokkos::utils::concepts::ViewOf
Specify that a type is a Kokkos::View with value type ValueType.
Definition View.hpp:27
Kokkos::utils::concepts::View
Specify that a type is a Kokkos::View.
Definition View.hpp:15
type_traits.hpp