folly::pushmi::any_constrained_executor_ref< E, CV > Struct Template Reference

#include <executor.h>

Classes
struct	vtable

Public Types
using	properties = property_set< is_constrained<>, is_executor<>, is_single<>>

Public Member Functions
	any_constrained_executor_ref ()=delete
	any_constrained_executor_ref (const any_constrained_executor_ref &)=default
requires ConstrainedSender< wrapped_t< Wrapped >, is_single<> >	any_constrained_executor_ref (Wrapped &w)
CV	top ()
any_constrained_executor_ref	executor ()
template<class SingleReceiver >
void	submit (CV cv, SingleReceiver &&sa)

Private Types
using	This = any_constrained_executor_ref
template<class T >
using	wrapped_t = detail::not_any_constrained_executor_ref_t< T >

Private Attributes
void *	pobj_
struct folly::pushmi::any_constrained_executor_ref::vtable *	vptr_

Detailed Description

template<class E, class CV>
struct folly::pushmi::any_constrained_executor_ref< E, CV >

Definition at line 192 of file executor.h.

Member Typedef Documentation

template<class E , class CV >

using folly::pushmi::any_constrained_executor_ref< E, CV >::properties = property_set<is_constrained<>, is_executor<>, is_single<>>

Definition at line 203 of file executor.h.

template<class E , class CV >

using folly::pushmi::any_constrained_executor_ref< E, CV >::This = any_constrained_executor_ref

private

Definition at line 194 of file executor.h.

template<class E , class CV >

template<class T >

using folly::pushmi::any_constrained_executor_ref< E, CV >::wrapped_t = detail::not_any_constrained_executor_ref_t<T>

private

Definition at line 201 of file executor.h.

Constructor & Destructor Documentation

template<class E , class CV >

folly::pushmi::any_constrained_executor_ref< E, CV >::any_constrained_executor_ref ( )

delete

template<class E , class CV >

folly::pushmi::any_constrained_executor_ref< E, CV >::any_constrained_executor_ref ( const any_constrained_executor_ref< E, CV > &  )

default

template<class E , class CV >

requires ConstrainedSender<wrapped_t<Wrapped>, is_single<> > folly::pushmi::any_constrained_executor_ref< E, CV >::any_constrained_executor_ref ( Wrapped &  w )

inline

Definition at line 211 of file executor.h.

References folly::gen::move, s, folly::pushmi::submit, submit, and folly::pushmi::top.

                                           {
    // This can't be a requirement because it asks if submit(w, top(w), any_receiver<E,T>)
    // is well-formed (where T is an alias for any_constrained_executor_ref). If w
    // has a submit that is constrained with ReceiveValue<any_receiver<E,T>, T'&>, that
    // will ask whether value(any_receiver<E,T>, T'&) is well-formed. And *that* will
    // ask whether T'& is convertible to T. That brings us right back to this
    // constructor. Constraint recursion!
    static_assert(
      ConstrainedSenderTo<Wrapped, any_receiver<E,This>>,
      "Expecting to be passed a ConstrainedSender that can send to a SingleReceiver"
      " that accpets a value of type This and an error of type E");
    struct s {
      static CV top(void* pobj) {
        return ::folly::pushmi::top(*static_cast<Wrapped*>(pobj));
      }
      static void submit(void* pobj, CV cv, void* s) {
        return ::folly::pushmi::submit(
            *static_cast<Wrapped*>(pobj),
            cv,
            std::move(*static_cast<any_receiver<E, This>*>(s)));
      }
    };
    static const vtable vtbl{s::top, s::submit};
    pobj_ = std::addressof(w);
    vptr_ = &vtbl;
  }

Member Function Documentation

template<class E , class CV >

any_constrained_executor_ref folly::pushmi::any_constrained_executor_ref< E, CV >::executor ( )

inline

Definition at line 240 of file executor.h.

{ return *this; }

template<class E , class CV >

template<class SingleReceiver >

void folly::pushmi::any_constrained_executor_ref< E, CV >::submit ( CV  cv, SingleReceiver &&  sa  )

inline

Definition at line 242 of file executor.h.

References s.

                                          {
    // static_assert(
    //   ConvertibleTo<SingleReceiver, any_receiver<E, This>>,
    //   "requires any_receiver<E, any_constrained_executor_ref<E, TP>>");
    any_receiver<E, This> s{(SingleReceiver&&) sa};
    vptr_->submit_(pobj_, cv, &s);
  }

template<class E , class CV >

CV folly::pushmi::any_constrained_executor_ref< E, CV >::top ( )

inline

Definition at line 237 of file executor.h.

           {
    return vptr_->top_(pobj_);
  }

Member Data Documentation

template<class E , class CV >

void* folly::pushmi::any_constrained_executor_ref< E, CV >::pobj_

private

Definition at line 195 of file executor.h.

template<class E , class CV >

struct folly::pushmi::any_constrained_executor_ref::vtable* folly::pushmi::any_constrained_executor_ref< E, CV >::vptr_

private

---

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

• proxygen/folly/folly/experimental/pushmi/executor.h