concepts.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <concepts>
#include <cstdint>
#include <type_traits>
 
struct io_uring_cqe;
struct io_uring_sqe;
 
namespace condy {
 
namespace detail {
 
class Ring;
struct FixedFd;
 
} // namespace detail
 
template <typename T>
concept PrepFuncLike = requires(T prep_func, detail::Ring *ring) {
    { prep_func(ring) } -> std::same_as<io_uring_sqe *>;
};
 
template <typename T>
concept CQEHandlerLike = requires(T handler, io_uring_cqe *cqe) {
    { handler(cqe) } noexcept;
};
 
template <typename T>
concept BufferRingLike = requires(T br, io_uring_cqe *cqe) {
    { br.bgid() } -> std::same_as<uint16_t>;
    { br.handle_finish(cqe) };
};
 
template <typename T>
concept BufferLike = requires { typename std::remove_cvref_t<T>::CondyBuffer; };
 
template <typename T>
concept FdLike = std::same_as<std::remove_cvref_t<T>, int> ||
                 std::same_as<std::remove_cvref_t<T>, detail::FixedFd>;
 
template <typename T, typename... Us>
concept AnySameAs = (std::same_as<T, Us> || ...);
 
template <typename T>
concept SenderLike =
    requires(T sender) { typename std::remove_cvref_t<T>::CondySender; };
 
} // namespace condy