Listener.hpp

Go to the documentation of this file.

#ifndef KOKKOS_UTILS_CALLBACKS_LISTENER_HPP
#define KOKKOS_UTILS_CALLBACKS_LISTENER_HPP
 
#include "kokkos-utils/callbacks/Events.hpp"
 
namespace Kokkos::utils::callbacks
{
 
namespace impl
{

template <typename Callable>
struct IsListenerFor
{
    template <Event EventType>
    using type = std::is_invocable_r<void, Callable, const EventType&>;
};
 
template <typename T>
concept has_event_type_list = requires { typename T::event_type_list_t; };
 
template <typename Callable>
struct ListenerEventTypeList
{
    using type = Kokkos::Impl::filter_type_list_t<
        impl::IsListenerFor<Callable>::template type, EventTypeList>;
};
 
template <has_event_type_list Callable>
struct ListenerEventTypeList<Callable>
{
    using type = typename Callable::event_type_list_t;
};

template <typename Callable>
concept ImplicitListener = Kokkos::utils::impl::type_list_any_v<impl::IsListenerFor<Callable>::template type, EventTypeList>;

template <typename Callable>
concept ExplicitListener = has_event_type_list<Callable> &&
    Kokkos::utils::impl::type_list_all_v<
        impl::IsListenerFor<Callable>::template type,
        typename Callable::event_type_list_t
    >;
} // namespace impl

template <typename Callable>
concept Listener = impl::ExplicitListener<Callable> || impl::ImplicitListener<Callable>;

template <typename Callable, typename... EventTypes>
concept ListenerFor = Kokkos::utils::impl::type_list_all_v<impl::IsListenerFor<Callable>::template type, EventTypes...>;

template <typename Callable>
using listener_event_type_list_t = typename impl::ListenerEventTypeList<Callable>::type;
 
} // namespace Kokkos::utils::callbacks
 
#endif // KOKKOS_UTILS_CALLBACKS_LISTENER_HPP