kokkos-utils/concepts_2View_8hpp_source.html

#ifndef KOKKOS_UTILS_CONCEPTS_VIEW_HPP

#define KOKKOS_UTILS_CONCEPTS_VIEW_HPP


#include <concepts>


#include "Kokkos_View.hpp"


#include "kokkos-utils/impl/type_traits.hpp"


namespace Kokkos::utils::concepts

{


template <typename T>

concept View = Kokkos::is_view_v<T>;


template <typename T, std::size_t Rank>

concept ViewOfRank = View<T> && T::rank() == Rank;


template <typename T>

concept ModifiableView = View<T> && ! std::is_const_v<typename T::value_type>;


template <typename T, typename ValueType>

concept ViewOf = View<T> && std::same_as<typename T::value_type, ValueType>;


template <typename T, template <typename...> class U>

concept ViewOfInstanceOf = View<T> && impl::InstanceOf<typename T::value_type, U>;


} // namespace Kokkos::utils::concepts


#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

Kokkos::utils::impl::InstanceOf
Definition type_traits.hpp:32

Kokkos::utils::concepts
Definition DualView.hpp:7

type_traits.hpp