File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -106,8 +106,6 @@ inline constexpr eval_t eval {};
106106}
107107using cpo::eval;
108108
109- // Eval Concepts
110-
111109template <typename T>
112110concept can_call_eval = requires (T t) { ::nyu::eval (t); };
113111
@@ -169,6 +167,14 @@ inline constexpr tick_t tick {};
169167}
170168using cpo::tick;
171169
170+ template <typename T>
171+ concept can_call_tick = requires (T t) { ::nyu::tick (t); };
172+
173+ template <typename T>
174+ concept nothrow_can_call_tick = requires (T t) {
175+ { ::nyu::tick (t) } noexcept ;
176+ };
177+
172178
173179// Reset
174180
@@ -225,6 +231,14 @@ inline constexpr reset_t reset {};
225231}
226232using cpo::reset;
227233
234+ template <typename T>
235+ concept can_call_reset = requires (T t) { ::nyu::reset (t); };
236+
237+ template <typename T>
238+ concept nothrow_can_call_reset = requires (T t) {
239+ { ::nyu::reset (t) } noexcept ;
240+ };
241+
228242
229243// Tracer
230244
You can’t perform that action at this time.
0 commit comments