#ifndef GRPC_SRC_CORE_LIB_PROMISE_TRY_SEQ_H
#define GRPC_SRC_CORE_LIB_PROMISE_TRY_SEQ_H
#include <grpc/support/port_platform.h>
#include <type_traits>
#include <utility>
#include "absl/meta/type_traits.h"
#include "absl/status/status.h"
#include "absl/status/statusor.h"
#include "src/core/lib/promise/detail/basic_seq.h"
#include "src/core/lib/promise/detail/promise_like.h"
#include "src/core/lib/promise/detail/status.h"
#include "src/core/lib/promise/poll.h"
namespace grpc_core {
namespace promise_detail {
template <typename T, typename Ignored = void>
struct TrySeqTraitsWithSfinae {
using UnwrappedType = T;
using WrappedType = absl::StatusOr<T>;
template <typename Next>
static auto CallFactory(Next* next, T&& value) {
return next->Make(std::forward<T>(value));
}
template <typename F, typename Elem>
static auto CallSeqFactory(F& f, Elem&& elem, T&& value)
-> decltype(f(std::forward<Elem>(elem), std::forward<T>(value))) {
return f(std::forward<Elem>(elem), std::forward<T>(value));
}
template <typename Result, typename RunNext>
static Poll<Result> CheckResultAndRunNext(T prior, RunNext run_next) {
return run_next(std::move(prior));
}
};
template <typename T>
struct TrySeqTraitsWithSfinae<absl::StatusOr<T>> {
using UnwrappedType = T;
using WrappedType = absl::StatusOr<T>;
template <typename Next>
static auto CallFactory(Next* next, absl::StatusOr<T>&& status) {
return next->Make(std::move(*status));
}
template <typename F, typename Elem>
static auto CallSeqFactory(F& f, Elem&& elem, absl::StatusOr<T> value)
-> decltype(f(std::forward<Elem>(elem), std::move(*value))) {
return f(std::forward<Elem>(elem), std::move(*value));
}
template <typename Result, typename RunNext>
static Poll<Result> CheckResultAndRunNext(absl::StatusOr<T> prior,
RunNext run_next) {
if (!prior.ok()) return StatusCast<Result>(prior.status());
return run_next(std::move(prior));
}
};
template <typename T>
struct TrySeqTraitsWithSfinae<
T, absl::enable_if_t<
std::is_same<decltype(IsStatusOk(std::declval<T>())), bool>::value,
void>> {
using UnwrappedType = void;
using WrappedType = T;
template <typename Next>
static auto CallFactory(Next* next, T&&) {
return next->Make();
}
template <typename Result, typename RunNext>
static Poll<Result> CheckResultAndRunNext(T prior, RunNext run_next) {
if (!IsStatusOk(prior)) return Result(std::move(prior));
return run_next(std::move(prior));
}
};
template <>
struct TrySeqTraitsWithSfinae<absl::Status> {
using UnwrappedType = void;
using WrappedType = absl::Status;
template <typename Next>
static auto CallFactory(Next* next, absl::Status&&) {
return next->Make();
}
template <typename Result, typename RunNext>
static Poll<Result> CheckResultAndRunNext(absl::Status prior,
RunNext run_next) {
if (!prior.ok()) return StatusCast<Result>(std::move(prior));
return run_next(std::move(prior));
}
};
template <typename T>
using TrySeqTraits = TrySeqTraitsWithSfinae<T>;
template <typename... Fs>
using TrySeq = BasicSeq<TrySeqTraits, Fs...>;
template <typename I, typename F, typename Arg>
struct TrySeqIterTraits {
using Iter = I;
using Factory = F;
using Argument = Arg;
using IterValue = decltype(*std::declval<Iter>());
using StateCreated = decltype(std::declval<F>()(std::declval<IterValue>(),
std::declval<Arg>()));
using State = PromiseLike<StateCreated>;
using Wrapped = typename State::Result;
using Traits = TrySeqTraits<Wrapped>;
};
template <typename Iter, typename Factory, typename Argument>
struct TrySeqIterResultTraits {
using IterTraits = TrySeqIterTraits<Iter, Factory, Argument>;
using Result = BasicSeqIter<IterTraits>;
};
}
template <typename... Functors>
promise_detail::TrySeq<Functors...> TrySeq(Functors... functors) {
return promise_detail::TrySeq<Functors...>(std::move(functors)...);
}
template <typename Iter, typename Factory, typename Argument>
typename promise_detail::TrySeqIterResultTraits<Iter, Factory, Argument>::Result
TrySeqIter(Iter begin, Iter end, Argument argument, Factory factory) {
using Result =
typename promise_detail::TrySeqIterResultTraits<Iter, Factory,
Argument>::Result;
return Result(begin, end, std::move(factory), std::move(argument));
}
}
#endif