module;

#include <asio.hpp>

#include <concepts>
#include <span>

export module ttwhy.core:concepts;

namespace ttwhy
{

  export template<typename Candidate>
  concept scanner = requires(Candidate a, std::span<char const> buffer) {
    { a.process(buffer) } -> std::same_as<void>;
    { a.timeout() } -> std::same_as<void>;
    { a.is_pending() } -> std::same_as<bool>;
  };

  export template<typename Candidate, typename Event>
  concept router = requires(Candidate candidate, Event event) {
    { candidate.process(event) } -> std::same_as<asio::awaitable<void>>;
  };

  export template<typename Sink, typename Event>
  concept event_sink = requires(Sink sink, Event event) {
    { sink(event) } -> std::same_as<void>;
  };

}  // namespace ttwhy