kokkos-execution 0.0.1
Loading...
Searching...
No Matches
experimental::execution::detail::within::state< Scope, Sender, Receiver > Class Template Reference

#include <within.hpp>

Classes

struct  receiver_base_
struct  enter_receiver_type_
struct  exit_receiver_type_
struct  receiver_type_
struct  enter_state_type_
struct  state_type_

Public Member Functions

template<typename S>
constexpr state (Scope &&scope, S &&sender, Receiver r) noexcept(std::is_nothrow_constructible_v< Sender, S > &&nothrow_construct_connect_)
constexpr void start () &noexcept

Private Types

using env_type_ = ::stdexec::env_of_t<Receiver>
using exit_scope_sender_type_ = ::exec::exit_scope_sender_of_t<Scope, env_type_>
using enter_operation_state_type_ = ::stdexec::connect_result_t<Scope, enter_receiver_type_>
using exit_operation_state_type_ = ::stdexec::connect_result_t<exit_scope_sender_type_, exit_receiver_type_>
using operation_state_type_ = ::stdexec::connect_result_t<Sender, receiver_type_>

Private Member Functions

constexpr void exit_ () noexcept
template<typename... Args>
constexpr void complete_ (Args &&... args) noexcept

Private Attributes

Receiver r_
storage_for_completion_signatures_t< Sender, env_type_ > storage_
std::variant< enter_state_type_, state_type_, exit_operation_state_type_ > state_

Static Private Attributes

static constexpr bool nothrow_construct_connect_ = ::stdexec::__nothrow_connectable<Scope, enter_receiver_type_>

Detailed Description

template<typename Scope, typename Sender, typename Receiver>
class experimental::execution::detail::within::state< Scope, Sender, Receiver >

Definition at line 85 of file within.hpp.

Member Typedef Documentation

◆ enter_operation_state_type_

template<typename Scope, typename Sender, typename Receiver>
using experimental::execution::detail::within::state< Scope, Sender, Receiver >::enter_operation_state_type_ = ::stdexec::connect_result_t<Scope, enter_receiver_type_>
private

Definition at line 105 of file within.hpp.

◆ env_type_

template<typename Scope, typename Sender, typename Receiver>
using experimental::execution::detail::within::state< Scope, Sender, Receiver >::env_type_ = ::stdexec::env_of_t<Receiver>
private

Definition at line 86 of file within.hpp.

◆ exit_operation_state_type_

template<typename Scope, typename Sender, typename Receiver>
using experimental::execution::detail::within::state< Scope, Sender, Receiver >::exit_operation_state_type_ = ::stdexec::connect_result_t<exit_scope_sender_type_, exit_receiver_type_>
private

Definition at line 112 of file within.hpp.

◆ exit_scope_sender_type_

template<typename Scope, typename Sender, typename Receiver>
using experimental::execution::detail::within::state< Scope, Sender, Receiver >::exit_scope_sender_type_ = ::exec::exit_scope_sender_of_t<Scope, env_type_>
private

Definition at line 94 of file within.hpp.

◆ operation_state_type_

template<typename Scope, typename Sender, typename Receiver>
using experimental::execution::detail::within::state< Scope, Sender, Receiver >::operation_state_type_ = ::stdexec::connect_result_t<Sender, receiver_type_>
private

Definition at line 124 of file within.hpp.

Constructor & Destructor Documentation

◆ state()

template<typename Scope, typename Sender, typename Receiver>
template<typename S>
experimental::execution::detail::within::state< Scope, Sender, Receiver >::state ( Scope && scope,
S && sender,
Receiver r )
inlineexplicitconstexprnoexcept

Definition at line 157 of file within.hpp.

Member Function Documentation

◆ complete_()

template<typename Scope, typename Sender, typename Receiver>
template<typename... Args>
void experimental::execution::detail::within::state< Scope, Sender, Receiver >::complete_ ( Args &&... args)
inlineconstexprprivatenoexcept

Definition at line 149 of file within.hpp.

◆ exit_()

template<typename Scope, typename Sender, typename Receiver>
void experimental::execution::detail::within::state< Scope, Sender, Receiver >::exit_ ( )
inlineconstexprprivatenoexcept

Definition at line 140 of file within.hpp.

◆ start()

template<typename Scope, typename Sender, typename Receiver>
void experimental::execution::detail::within::state< Scope, Sender, Receiver >::start ( ) &
inlineconstexprnoexcept

Definition at line 166 of file within.hpp.

Member Data Documentation

◆ nothrow_construct_connect_

template<typename Scope, typename Sender, typename Receiver>
bool experimental::execution::detail::within::state< Scope, Sender, Receiver >::nothrow_construct_connect_ = ::stdexec::__nothrow_connectable<Scope, enter_receiver_type_>
staticconstexprprivate

Definition at line 154 of file within.hpp.

◆ r_

template<typename Scope, typename Sender, typename Receiver>
Receiver experimental::execution::detail::within::state< Scope, Sender, Receiver >::r_
private

Definition at line 125 of file within.hpp.

◆ state_

template<typename Scope, typename Sender, typename Receiver>
std::variant<enter_state_type_, state_type_, exit_operation_state_type_> experimental::execution::detail::within::state< Scope, Sender, Receiver >::state_
private

Definition at line 138 of file within.hpp.

◆ storage_

template<typename Scope, typename Sender, typename Receiver>
storage_for_completion_signatures_t<Sender, env_type_> experimental::execution::detail::within::state< Scope, Sender, Receiver >::storage_
private

Definition at line 126 of file within.hpp.

The documentation for this class was generated from the following file:
  • /__w/kokkos-execution/kokkos-execution/kokkos-execution/stdexec/P3955/within.hpp