ttwhy/scanners/concepts.cppm


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

module;

#include <concepts>
#include <span>

export module ttwhy.scanners:concepts;

import :terminal_events;

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 Sink, typename Event>
  concept event_sink = requires(Sink sink, Event event) {
    { sink(event) } -> std::same_as<void>;
  };

  export template<typename Sink>
  concept terminal_event_sink =
      event_sink<Sink, scanners::character_event> && event_sink<Sink, scanners::control_event> &&
      event_sink<Sink, scanners::navigation_event>;

}  // namespace ttwhy