di 0.1.0
Loading...
Searching...
No Matches
di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type Class Reference

#include <di/execution/any/any_sender.h>

Inheritance diagram for di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type:

Public Types

using is_sender = void
using OperationState = Op
using Receiver = Rec
using CompletionSignatures = detail::AnySigs<Sigs>

Public Member Functions

 Type (Type const &)=delete
auto operator= (Type const &) -> Type &=delete
 Type (Type &&)=default
auto operator= (Type &&) -> Type &=default
template<typename E>
requires (concepts::ConstructibleFrom<vocab::Error, E>)
 Type (vocab::Unexpected< E > &&error)
template<typename S, typename T = meta::RemoveCVRef<S>>
requires (!concepts::DerivedFrom<T, Type> && concepts::SenderTo<T, Rec> && concepts::ConstructibleFrom<T, S>)
 Type (S &&sender)

Member Typedef Documentation

◆ CompletionSignatures

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
using di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::CompletionSignatures = detail::AnySigs<Sigs>

◆ is_sender

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
using di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::is_sender = void

◆ OperationState

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
using di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::OperationState = Op

◆ Receiver

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
using di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::Receiver = Rec

Constructor & Destructor Documentation

◆ Type() [1/4]

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::Type ( Type const & )
delete

◆ Type() [2/4]

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::Type ( Type && )
default

◆ Type() [3/4]

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
template<typename E>
requires (concepts::ConstructibleFrom<vocab::Error, E>)
di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::Type ( vocab::Unexpected< E > && error)
inline

◆ Type() [4/4]

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
template<typename S, typename T = meta::RemoveCVRef<S>>
requires (!concepts::DerivedFrom<T, Type> && concepts::SenderTo<T, Rec> && concepts::ConstructibleFrom<T, S>)
di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::Type ( S && sender)
inline

Member Function Documentation

◆ operator=() [1/2]

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
auto di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::operator= ( Type && ) ->Type &=default
default

◆ operator=() [2/2]

template<typename Sigs, typename Env, typename Storage, typename VTablePolicy, typename Op, typename Rec>
auto di::execution::AnySenderT< Sigs, Env, Storage, VTablePolicy, Op, Rec >::Type::operator= ( Type const & ) ->Type &=delete
delete

The documentation for this class was generated from the following file: