22#include "util/async/AnyOperation.hpp"
23#include "util/async/AnyStopToken.hpp"
24#include "util/async/Concepts.hpp"
25#include "util/async/impl/ErasedOperation.hpp"
48 template <NotSameAs<AnyStrand> StrandType>
50 : pimpl_{std::make_shared<Model<StrandType>>(std::forward<StrandType>(strand))}
67 using RetType = std::decay_t<
decltype(fn())>;
68 static_assert(not std::is_same_v<RetType, std::any>);
71 pimpl_->execute([fn = std::forward<
decltype(fn)>(fn)]() -> std::any {
72 if constexpr (std::is_void_v<RetType>) {
76 return std::make_any<RetType>(fn());
91 using RetType = std::decay_t<decltype(fn(std::declval<AnyStopToken>()))>;
92 static_assert(not std::is_same_v<RetType, std::any>);
95 pimpl_->execute([fn = std::forward<
decltype(fn)>(fn)](
auto stopToken) -> std::any {
96 if constexpr (std::is_void_v<RetType>) {
97 fn(std::move(stopToken));
100 return std::make_any<RetType>(fn(std::move(stopToken)));
116 using RetType = std::decay_t<decltype(fn(std::declval<AnyStopToken>()))>;
117 static_assert(not std::is_same_v<RetType, std::any>);
121 [fn = std::forward<
decltype(fn)>(fn)](
auto stopToken) -> std::any {
122 if constexpr (std::is_void_v<RetType>) {
123 fn(std::move(stopToken));
126 return std::make_any<RetType>(fn(std::move(stopToken)));
129 std::chrono::duration_cast<std::chrono::milliseconds>(timeout)
144 using RetType = std::decay_t<
decltype(fn())>;
145 static_assert(not std::is_same_v<RetType, std::any>);
147 auto const millis = std::chrono::duration_cast<std::chrono::milliseconds>(interval);
149 pimpl_->executeRepeatedly(
151 [fn = std::forward<
decltype(fn)>(fn)] -> std::any {
161 virtual ~Concept() =
default;
163 [[nodiscard]]
virtual impl::ErasedOperation
165 std::function<std::any(AnyStopToken)>,
166 std::optional<std::chrono::milliseconds> timeout = std::nullopt
168 [[nodiscard]]
virtual impl::ErasedOperation execute(std::function<std::any()>) = 0;
169 [[nodiscard]]
virtual impl::ErasedOperation
170 executeRepeatedly(std::chrono::milliseconds, std::function<std::any()>) = 0;
173 template <
typename StrandType>
174 struct Model : Concept {
177 template <
typename SType>
178 requires std::is_same_v<SType, StrandType>
179 Model(SType&& strand) : strand{std::forward<SType>(strand)}
183 [[nodiscard]] impl::ErasedOperation
184 execute(std::function<std::any(AnyStopToken)> fn, std::optional<std::chrono::milliseconds> timeout)
override
186 return strand.execute(std::move(fn), timeout);
189 [[nodiscard]] impl::ErasedOperation
190 execute(std::function<std::any()> fn)
override
192 return strand.execute(std::move(fn));
195 impl::ErasedOperation
196 executeRepeatedly(std::chrono::milliseconds interval, std::function<std::any()> fn)
override
198 return strand.executeRepeatedly(interval, std::move(fn));
203 std::shared_ptr<Concept> pimpl_;
A type-erased operation that can be executed via AnyExecutionContext.
Definition AnyOperation.hpp:44
A type-erased execution context.
Definition AnyStrand.hpp:40
auto executeRepeatedly(SomeStdDuration auto interval, SomeHandlerWithoutStopToken auto &&fn)
Schedule a repeating operation on the execution context.
Definition AnyStrand.hpp:142
AnyStrand(StrandType &&strand)
Construct a new Any Strand object.
Definition AnyStrand.hpp:49
auto execute(SomeHandlerWithoutStopToken auto &&fn)
Execute a function without a stop token on the strand.
Definition AnyStrand.hpp:65
auto execute(SomeHandlerWith< AnyStopToken > auto &&fn)
Execute a function taking a stop token on the strand.
Definition AnyStrand.hpp:89
auto execute(SomeHandlerWith< AnyStopToken > auto &&fn, SomeStdDuration auto timeout)
Execute a function taking a stop token on the strand with a timeout.
Definition AnyStrand.hpp:114
Specifies the interface for a handler that can be invoked with the specified args.
Definition Concepts.hpp:162
Specifies the interface for a handler that can be stopped.
Definition Concepts.hpp:154
Specifies that the type must be some std::duration.
Definition Concepts.hpp:170
This namespace implements an async framework built on top of execution contexts.
Definition AnyExecutionContext.hpp:36