From 22f6534081acfabdab4956d337604a21e7da5b64 Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Tue, 22 Sep 2026 18:56:44 +0200 Subject: lib: generalize concepts --- ttwhy/scanners/concepts.cppm | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'ttwhy/scanners/concepts.cppm') diff --git a/ttwhy/scanners/concepts.cppm b/ttwhy/scanners/concepts.cppm index 69d6459..5c29b5f 100644 --- a/ttwhy/scanners/concepts.cppm +++ b/ttwhy/scanners/concepts.cppm @@ -17,11 +17,14 @@ namespace ttwhy { a.is_pending() } -> std::same_as; }; - export template - concept ansi_sink = requires(Sink sink) { - { sink(std::declval()) } -> std::same_as; - { sink(std::declval()) } -> std::same_as; - { sink(std::declval()) } -> std::same_as; + export template + concept event_sink = requires(Sink sink, Event event) { + { sink(event) } -> std::same_as; }; + export template + concept terminal_event_sink = + event_sink && event_sink && + event_sink; + } // namespace ttwhy -- cgit v1.2.3