folly::pushmi::any_time_executor_ref< E, TP > Struct Template Reference

#include <executor.h>

Classes
struct	vtable

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

Public Member Functions
	any_time_executor_ref ()=delete
	any_time_executor_ref (const any_time_executor_ref &)=default
requires TimeSender< wrapped_t< Wrapped >, is_single<> >	any_time_executor_ref (Wrapped &w)
std::chrono::system_clock::time_point	top ()
any_time_executor_ref	executor ()
template<class SingleReceiver >
void	submit (TP tp, SingleReceiver &&sa)

Private Types
using	This = any_time_executor_ref
template<class T >
using	wrapped_t = detail::not_any_time_executor_ref_t< T >

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

Detailed Description

template<class E, class TP>
struct folly::pushmi::any_time_executor_ref< E, TP >

Definition at line 356 of file executor.h.

Member Typedef Documentation

template<class E , class TP >

using folly::pushmi::any_time_executor_ref< E, TP >::properties = property_set<is_time<>, is_executor<>, is_single<>>

Definition at line 367 of file executor.h.

template<class E , class TP >

using folly::pushmi::any_time_executor_ref< E, TP >::This = any_time_executor_ref

private

Definition at line 358 of file executor.h.

template<class E , class TP >

template<class T >

using folly::pushmi::any_time_executor_ref< E, TP >::wrapped_t = detail::not_any_time_executor_ref_t<T>

private

Definition at line 365 of file executor.h.

Constructor & Destructor Documentation

template<class E , class TP >

folly::pushmi::any_time_executor_ref< E, TP >::any_time_executor_ref ( )

delete

template<class E , class TP >

folly::pushmi::any_time_executor_ref< E, TP >::any_time_executor_ref ( const any_time_executor_ref< E, TP > &  )

default

template<class E , class TP >

requires TimeSender<wrapped_t<Wrapped>, is_single<> > folly::pushmi::any_time_executor_ref< E, TP >::any_time_executor_ref ( Wrapped &  w )

inline

Definition at line 375 of file executor.h.

References folly::gen::move, now(), folly::pushmi::now, s, folly::pushmi::submit, submit, and folly::pushmi::__adl::tp.

                                    {
    // This can't be a requirement because it asks if submit(w, now(w), any_receiver<E, T>)
    // is well-formed (where T is an alias for any_time_executor_ref). If w
    // has a submit that is constrained with ReceiverValue<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(
      TimeSenderTo<Wrapped, any_receiver<E, This>>,
      "Expecting to be passed a TimeSender that can send to a SingleReceiver"
      " that accpets a value of type This and an error of type E");
    struct s {
      static TP now(void* pobj) {
        return ::folly::pushmi::now(*static_cast<Wrapped*>(pobj));
      }
      static void submit(void* pobj, TP tp, void* s) {
        return ::folly::pushmi::submit(
            *static_cast<Wrapped*>(pobj),
            tp,
            std::move(*static_cast<any_receiver<E, This>*>(s)));
      }
    };
    static const vtable vtbl{s::now, s::submit};
    pobj_ = std::addressof(w);
    vptr_ = &vtbl;
  }

Member Function Documentation

template<class E , class TP >

any_time_executor_ref folly::pushmi::any_time_executor_ref< E, TP >::executor ( )

inline

Definition at line 404 of file executor.h.

{ return *this; }

template<class E , class TP >

template<class SingleReceiver >

void folly::pushmi::any_time_executor_ref< E, TP >::submit ( TP  tp, SingleReceiver &&  sa  )

inline

Definition at line 406 of file executor.h.

References s.

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

template<class E , class TP >

std::chrono::system_clock::time_point folly::pushmi::any_time_executor_ref< E, TP >::top ( )

inline

Definition at line 401 of file executor.h.

                                        {
    return vptr_->now_(pobj_);
  }

Member Data Documentation

template<class E , class TP >

void* folly::pushmi::any_time_executor_ref< E, TP >::pobj_

private

Definition at line 359 of file executor.h.

template<class E , class TP >

struct folly::pushmi::any_time_executor_ref::vtable* folly::pushmi::any_time_executor_ref< E, TP >::vptr_

private

---

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

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