123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378 |
- #pragma once
- /*
- * Copyright 2018-present Facebook, Inc.
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- #include <future>
- #include <functional>
- #include <folly/experimental/pushmi/forwards.h>
- #include <folly/experimental/pushmi/properties.h>
- #include <folly/experimental/pushmi/traits.h>
- namespace pushmi {
- namespace __adl {
- //
- // support methods on a class reference
- //
- PUSHMI_TEMPLATE (class S)
- (requires requires (std::declval<S&>().done()))
- void set_done(S& s) noexcept(noexcept(s.done())) {
- s.done();
- }
- PUSHMI_TEMPLATE (class S, class E)
- (requires requires (std::declval<S&>().error(std::declval<E>())))
- void set_error(S& s, E e) noexcept(noexcept(s.error(std::move(e)))) {
- s.error(std::move(e));
- }
- PUSHMI_TEMPLATE (class S, class... VN)
- (requires requires (std::declval<S&>().value(std::declval<VN&&>()...)))
- void set_value(S& s, VN&&... vn) noexcept(noexcept(s.value((VN&&) vn...))) {
- s.value((VN&&) vn...);
- }
- PUSHMI_TEMPLATE (class S, class Up)
- (requires requires (std::declval<S&>().starting(std::declval<Up&&>())))
- void set_starting(S& s, Up&& up) noexcept(noexcept(s.starting((Up&&) up))) {
- s.starting((Up&&) up);
- }
- PUSHMI_TEMPLATE (class SD)
- (requires requires (std::declval<SD&>().executor()))
- auto executor(SD& sd) noexcept(noexcept(sd.executor())) {
- return sd.executor();
- }
- PUSHMI_TEMPLATE (class SD, class Out)
- (requires requires (
- std::declval<SD&>().submit(std::declval<Out>())
- ))
- void submit(SD& sd, Out out) noexcept(noexcept(sd.submit(std::move(out)))) {
- sd.submit(std::move(out));
- }
- PUSHMI_TEMPLATE (class SD)
- (requires requires (std::declval<SD&>().top()))
- auto top(SD& sd) noexcept(noexcept(sd.top())) {
- return sd.top();
- }
- PUSHMI_TEMPLATE (class SD, class TP, class Out)
- (requires requires (
- std::declval<SD&>().submit(
- std::declval<TP(&)(TP)>()(top(std::declval<SD&>())),
- std::declval<Out>())
- ))
- void submit(SD& sd, TP tp, Out out)
- noexcept(noexcept(sd.submit(std::move(tp), std::move(out)))) {
- sd.submit(std::move(tp), std::move(out));
- }
- //
- // support methods on a class pointer
- //
- PUSHMI_TEMPLATE (class S)
- (requires requires (std::declval<S&>()->done()))
- void set_done(S& s) noexcept(noexcept(s->done())) {
- s->done();
- }
- PUSHMI_TEMPLATE (class S, class E)
- (requires requires (std::declval<S&>()->error(std::declval<E>())))
- void set_error(S& s, E e) noexcept(noexcept(s->error(std::move(e)))) {
- s->error(std::move(e));
- }
- PUSHMI_TEMPLATE (class S, class... VN)
- (requires requires (std::declval<S&>()->value(std::declval<VN&&>()...)))
- void set_value(S& s, VN&&... vn) noexcept(noexcept(s->value((VN&&) vn...))) {
- s->value((VN&&) vn...);
- }
- PUSHMI_TEMPLATE (class S, class Up)
- (requires requires (std::declval<S&>()->starting(std::declval<Up&&>())))
- void set_starting(S& s, Up&& up) noexcept(noexcept(s->starting((Up&&) up))) {
- s->starting((Up&&) up);
- }
- PUSHMI_TEMPLATE (class SD)
- (requires requires (std::declval<SD&>()->executor()))
- auto executor(SD& sd) noexcept(noexcept(sd->executor())) {
- return sd->executor();
- }
- PUSHMI_TEMPLATE (class SD, class Out)
- (requires requires (std::declval<SD&>()->submit(std::declval<Out>())))
- void submit(SD& sd, Out out) noexcept(noexcept(sd->submit(std::move(out)))) {
- sd->submit(std::move(out));
- }
- PUSHMI_TEMPLATE (class SD)
- (requires requires (std::declval<SD&>()->top()))
- auto top(SD& sd) noexcept(noexcept(sd->top())) {
- return sd->top();
- }
- PUSHMI_TEMPLATE (class SD, class TP, class Out)
- (requires requires (
- std::declval<SD&>()->submit(
- std::declval<TP(&)(TP)>()(top(std::declval<SD&>())),
- std::declval<Out>())
- ))
- void submit(SD& sd, TP tp, Out out)
- noexcept(noexcept(sd->submit(std::move(tp), std::move(out)))) {
- sd->submit(std::move(tp), std::move(out));
- }
- //
- // support a nullary function as a receiver
- //
- PUSHMI_TEMPLATE (class S)
- (requires Invocable<S&>)
- void set_done(S&) noexcept {
- }
- PUSHMI_TEMPLATE (class S, class E)
- (requires Invocable<S&>)
- void set_error(S&, E&&) noexcept {
- std::abort();
- }
- PUSHMI_TEMPLATE (class S)
- (requires Invocable<S&>)
- void set_value(S& s) noexcept(noexcept(s())) {
- s();
- }
- //
- // add support for std::promise externally
- //
- // std::promise does not support the done signal.
- // either set_value or set_error must be called
- template <class T>
- void set_done(std::promise<T>&) noexcept {}
- template <class T>
- void set_error(std::promise<T>& p, std::exception_ptr e) noexcept {
- p.set_exception(std::move(e));
- }
- template <class T, class E>
- void set_error(std::promise<T>& p, E e) noexcept {
- p.set_exception(std::make_exception_ptr(std::move(e)));
- }
- template <class T>
- void set_value(std::promise<T>& p, T t) noexcept(noexcept(p.set_value(std::move(t)))) {
- p.set_value(std::move(t));
- }
- inline void set_value(std::promise<void>& p) noexcept(noexcept(p.set_value())) {
- p.set_value();
- }
- //
- // support reference_wrapper
- //
- PUSHMI_TEMPLATE (class S)
- (requires requires ( set_done(std::declval<S&>()) ))
- void set_done(std::reference_wrapper<S> s) noexcept(
- noexcept(set_done(s.get()))) {
- set_done(s.get());
- }
- PUSHMI_TEMPLATE (class S, class E)
- (requires requires ( set_error(std::declval<S&>(), std::declval<E>()) ))
- void set_error(std::reference_wrapper<S> s, E e) noexcept {
- set_error(s.get(), std::move(e));
- }
- PUSHMI_TEMPLATE (class S, class... VN)
- (requires requires ( set_value(std::declval<S&>(), std::declval<VN&&>()...) ))
- void set_value(std::reference_wrapper<S> s, VN&&... vn) noexcept(
- noexcept(set_value(s.get(), (VN&&) vn...))) {
- set_value(s.get(), (VN&&) vn...);
- }
- PUSHMI_TEMPLATE (class S, class Up)
- (requires requires ( set_starting(std::declval<S&>(), std::declval<Up&&>()) ))
- void set_starting(std::reference_wrapper<S> s, Up&& up) noexcept(
- noexcept(set_starting(s.get(), (Up&&) up))) {
- set_starting(s.get(), (Up&&) up);
- }
- PUSHMI_TEMPLATE (class SD)
- (requires requires ( executor(std::declval<SD&>()) ))
- auto executor(std::reference_wrapper<SD> sd) noexcept(noexcept(executor(sd.get()))) {
- return executor(sd.get());
- }
- PUSHMI_TEMPLATE (class SD, class Out)
- (requires requires ( submit(std::declval<SD&>(), std::declval<Out>()) ))
- void submit(std::reference_wrapper<SD> sd, Out out) noexcept(
- noexcept(submit(sd.get(), std::move(out)))) {
- submit(sd.get(), std::move(out));
- }
- PUSHMI_TEMPLATE (class SD)
- (requires requires ( top(std::declval<SD&>()) ))
- auto top(std::reference_wrapper<SD> sd) noexcept(noexcept(top(sd.get()))) {
- return top(sd.get());
- }
- PUSHMI_TEMPLATE (class SD, class TP, class Out)
- (requires requires (
- submit(
- std::declval<SD&>(),
- std::declval<TP(&)(TP)>()(top(std::declval<SD&>())),
- std::declval<Out>())
- ))
- void submit(std::reference_wrapper<SD> sd, TP tp, Out out)
- noexcept(noexcept(submit(sd.get(), std::move(tp), std::move(out)))) {
- submit(sd.get(), std::move(tp), std::move(out));
- }
- //
- // accessors for free functions in this namespace
- //
- struct set_done_fn {
- PUSHMI_TEMPLATE (class S)
- (requires requires (
- set_done(std::declval<S&>()),
- set_error(std::declval<S&>(), std::current_exception())
- ))
- void operator()(S&& s) const noexcept(noexcept(set_done(s))) {
- try {
- set_done(s);
- } catch (...) {
- set_error(s, std::current_exception());
- }
- }
- };
- struct set_error_fn {
- PUSHMI_TEMPLATE (class S, class E)
- (requires requires (
- set_error(std::declval<S&>(), std::declval<E>())
- ))
- void operator()(S&& s, E e) const
- noexcept(noexcept(set_error(s, std::move(e)))) {
- set_error(s, std::move(e));
- }
- };
- struct set_value_fn {
- PUSHMI_TEMPLATE (class S, class... VN)
- (requires requires (
- set_value(std::declval<S&>(), std::declval<VN&&>()...),
- set_error(std::declval<S&>(), std::current_exception())
- ))
- void operator()(S&& s, VN&&... vn) const
- noexcept(noexcept(set_value(s, (VN&&) vn...))) {
- try {
- set_value(s, (VN&&) vn...);
- } catch (...) {
- set_error(s, std::current_exception());
- }
- }
- };
- struct set_starting_fn {
- PUSHMI_TEMPLATE (class S, class Up)
- (requires requires (
- set_starting(std::declval<S&>(), std::declval<Up&&>()),
- set_error(std::declval<S&>(), std::current_exception())
- ))
- void operator()(S&& s, Up&& up) const
- noexcept(noexcept(set_starting(s, (Up&&) up))) {
- try {
- set_starting(s, (Up&&) up);
- } catch (...) {
- set_error(s, std::current_exception());
- }
- }
- };
- struct get_executor_fn {
- PUSHMI_TEMPLATE (class SD)
- (requires requires (
- executor(std::declval<SD&>())
- ))
- auto operator()(SD&& sd) const noexcept(noexcept(executor(sd))) {
- return executor(sd);
- }
- };
- struct do_submit_fn {
- PUSHMI_TEMPLATE (class SD, class Out)
- (requires requires (
- submit(std::declval<SD&>(), std::declval<Out>())
- ))
- void operator()(SD&& s, Out out) const
- noexcept(noexcept(submit(s, std::move(out)))) {
- submit(s, std::move(out));
- }
- PUSHMI_TEMPLATE (class SD, class Out)
- (requires requires (
- submit(std::declval<SD&>(), top(std::declval<SD&>()), std::declval<Out>())
- ))
- void operator()(SD&& s, Out out) const
- noexcept(noexcept(submit(s, top(s), std::move(out)))) {
- submit(s, top(s), std::move(out));
- }
- PUSHMI_TEMPLATE (class SD, class TP, class Out)
- (requires requires (
- submit(
- std::declval<SD&>(),
- std::declval<TP>(),
- std::declval<Out>())
- ))
- void operator()(SD&& s, TP tp, Out out) const
- noexcept(noexcept(submit(s, std::move(tp), std::move(out)))) {
- submit(s, std::move(tp), std::move(out));
- }
- };
- struct get_top_fn {
- PUSHMI_TEMPLATE (class SD)
- (requires requires (
- top(std::declval<SD&>())
- ))
- auto operator()(SD&& sd) const noexcept(noexcept(top(sd))) {
- return top(sd);
- }
- };
- } // namespace __adl
- PUSHMI_INLINE_VAR constexpr __adl::set_done_fn set_done{};
- PUSHMI_INLINE_VAR constexpr __adl::set_error_fn set_error{};
- PUSHMI_INLINE_VAR constexpr __adl::set_value_fn set_value{};
- PUSHMI_INLINE_VAR constexpr __adl::set_starting_fn set_starting{};
- PUSHMI_INLINE_VAR constexpr __adl::get_executor_fn executor{};
- PUSHMI_INLINE_VAR constexpr __adl::do_submit_fn submit{};
- PUSHMI_INLINE_VAR constexpr __adl::get_top_fn now{};
- PUSHMI_INLINE_VAR constexpr __adl::get_top_fn top{};
- template<class T>
- struct property_set_traits<T, std::enable_if_t<(bool)Invocable<T&> &&
- not Valid<T&, __properties_t>>> {
- using properties = property_set<is_receiver<>>;
- };
- template <class T>
- struct property_set_traits<std::promise<T>> {
- using properties = property_set<is_receiver<>>;
- };
- template <>
- struct property_set_traits<std::promise<void>> {
- using properties = property_set<is_receiver<>>;
- };
- } // namespace pushmi
|