diagnostics.hpp File Reference

#include "kokkos-execution/stdexec.hpp"

Go to the source code of this file.

Classes
struct	Kokkos::Execution::Impl::TryDiagnose< T >
struct	Kokkos::Execution::Impl::TryDiagnose< T >
struct	Kokkos::Execution::Impl::Diagnose< T >
struct	Kokkos::Execution::Impl::Diagnose< Ts >
struct	Kokkos::Execution::Impl::FirstErrorOf< T >
struct	Kokkos::Execution::Impl::FirstErrorOf< T, Ts... >
struct	Kokkos::Execution::Impl::FirstError< T >
struct	Kokkos::Execution::Impl::FirstError< stdexec::__mlist< Ts... > >
struct	Kokkos::Execution::Impl::Collapse< T >
struct	Kokkos::Execution::Impl::Collapse< stdexec::__mlist< T > >
struct	Kokkos::Execution::Impl::KeepErrors< T >
struct	Kokkos::Execution::Impl::KeepErrors< stdexec::__mlist< Ts... > >

Namespaces
namespace	Kokkos
namespace	Kokkos::Execution
namespace	Kokkos::Execution::Impl

Typedefs
Diagnosis of @c T if it provides @c diagnose. @note It is considered @c stdexec::__msuccess otherwise.
template<typename T>
using	Kokkos::Execution::Impl::try_diagnose_t = typename TryDiagnose<T>::type
Diagnose one or more types.
template<typename... Ts>
using	Kokkos::Execution::Impl::diagnose_t = typename Diagnose<Ts...>::type
Keep the first encountered error, @c stdexec::__msuccess otherwise.
template<typename T>
using	Kokkos::Execution::Impl::first_error_t = typename FirstError<T>::type
Collapse a one-item list to the item itself.
template<typename T>
using	Kokkos::Execution::Impl::collapse_t = typename Collapse<T>::type
Filter-out anything that is not an error.
If no error is found, return stdexec::__mlist<> if the input was a list, stdexec::__msuccess otherwise. If one error E is found, return stdexec::__mlist<E> if the input was a list, E otherwise. If many errors Es... are found, return them as a stdexec::__mlist<Es...>.
template<typename T>
using	Kokkos::Execution::Impl::keep_if_error_t = std::conditional_t<stdexec::__merror<T>, stdexec::__mlist<T>, stdexec::__mlist<>>
template<typename List>
using	Kokkos::Execution::Impl::keep_errors_t = typename KeepErrors<List>::type

Functions
template<typename T>
constexpr bool	Kokkos::Execution::Impl::mandate_or_explain () noexcept
	If T::value is false, diagnose.

Rebinds the template arguments of @p From onto the template @p To.
template<template< typename... > class To, typename From>
using	Kokkos::Execution::Impl::rebind_t = decltype(rebind<To>(static_cast<From*>(nullptr)))
template<template< typename... > class To, template< typename... > class From, typename... As>
auto	Kokkos::Execution::Impl::rebind (From< As... > *) -> To< As... >

Detailed Description

This file contains generic diagnostic utilities.

Definition in file diagnostics.hpp.