|
| requires | folly::pushmi::__adl::requires (std::declval< S & >().done())) void set_done(S &s) noexcept(noexcept(s.done())) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >().error(std::declval< E >()))) void set_error(S &s |
| |
| requires E e | folly::pushmi::__adl::noexcept (noexcept(s.error(std::move(e)))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >().value(std::declval< VN && >()...))) void set_value(S &s |
| |
| requires VN &&vn | folly::pushmi::__adl::noexcept (noexcept(s.value((VN &&) vn...))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >().starting(std::declval< Up && >()))) void set_starting(S &s |
| |
| requires Up &&up | folly::pushmi::__adl::noexcept (noexcept(s.starting((Up &&) up))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >().executor())) auto executor(SD &sd) noexcept(noexcept(sd.executor())) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >().submit(std::declval< Out >()))) void submit(SD &sd |
| |
| requires Out out | folly::pushmi::__adl::noexcept (noexcept(sd.submit(std::move(out)))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >().top())) auto top(SD &sd) noexcept(noexcept(sd.top())) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >().submit(std::declval< TP(&)(TP)>()(top(std::declval< SD & >())), std::declval< Out >()))) void submit(SD &sd |
| |
| requires TP Out out | folly::pushmi::__adl::noexcept (noexcept(sd.submit(std::move(tp), std::move(out)))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >() ->done())) void set_done(S &s) noexcept(noexcept(s->done())) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >() ->error(std::declval< E >()))) void set_error(S &s |
| |
| requires E e | folly::pushmi::__adl::noexcept (noexcept(s->error(std::move(e)))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >() ->value(std::declval< VN && >()...))) void set_value(S &s |
| |
| requires VN &&vn | folly::pushmi::__adl::noexcept (noexcept(s->value((VN &&) vn...))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< S & >() ->starting(std::declval< Up && >()))) void set_starting(S &s |
| |
| requires Up &&up | folly::pushmi::__adl::noexcept (noexcept(s->starting((Up &&) up))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >() ->executor())) auto executor(SD &sd) noexcept(noexcept(sd->executor())) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >() ->submit(std::declval< Out >()))) void submit(SD &sd |
| |
| requires Out out | folly::pushmi::__adl::noexcept (noexcept(sd->submit(std::move(out)))) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >() ->top())) auto top(SD &sd) noexcept(noexcept(sd->top())) |
| |
| requires | folly::pushmi::__adl::requires (std::declval< SD & >() ->submit(std::declval< TP(&)(TP)>()(top(std::declval< SD & >())), std::declval< Out >()))) void submit(SD &sd |
| |
| requires TP Out out | folly::pushmi::__adl::noexcept (noexcept(sd->submit(std::move(tp), std::move(out)))) |
| |
| requires Invocable< S & > void | folly::pushmi::__adl::set_done (S &) noexcept |
| |
| requires Invocable< S & > void | folly::pushmi::__adl::set_error (S &, E &&) noexcept |
| |
| requires Invocable< S & > void | folly::pushmi::__adl::set_value (S &s) noexcept(noexcept(s())) |
| |
| template<class T > |
| void | folly::pushmi::__adl::set_done (std::promise< T > &) noexcept |
| |
| template<class T > |
| void | folly::pushmi::__adl::set_error (std::promise< T > &p, std::exception_ptr e) noexcept |
| |
| template<class T , class E > |
| void | folly::pushmi::__adl::set_error (std::promise< T > &p, E e) noexcept |
| |
| template<class T > |
| void | folly::pushmi::__adl::set_value (std::promise< T > &p, T t) noexcept(noexcept(p.set_value(std::move(t)))) |
| |
| void | folly::pushmi::__adl::set_value (std::promise< void > &p) noexcept(noexcept(p.set_value())) |
| |
| requires | folly::pushmi::__adl::requires (set_done(std::declval< S & >()))) void set_done(std |
| |
| requires | folly::pushmi::__adl::requires (set_error(std::declval< S & >(), std::declval< E >()))) void set_error(std |
| |
| requires | folly::pushmi::__adl::requires (set_starting(std::declval< S & >(), std::declval< Up && >()))) void set_starting(std |
| |
| requires | folly::pushmi::__adl::requires (executor(std::declval< SD & >()))) auto executor(std |
| |
| requires | folly::pushmi::__adl::requires (submit(std::declval< SD & >(), std::declval< Out >()))) void submit(std |
| |
| requires | folly::pushmi::__adl::requires (top(std::declval< SD & >()))) auto top(std |
| |
| requires | folly::pushmi::__adl::requires (submit(std::declval< SD & >(), std::declval< TP(&)(TP)>()(top(std::declval< SD & >())), std::declval< Out >()))) void submit(std |
| |