is_op Concept
Concept satisfied when a type is a framework expression type. More...
Definition
concept micro_os_plus::micro_test_plus::extension::is_op = requires { requires std::same_as<typename T::op_type, detail::op>; }
Description
Concept satisfied when a type is a framework expression type.
- Template Parameters
-
T The type to be checked.
The is_op concept is satisfied when T has the op_type member type alias of detail::op, either inherited from the detail::op base struct, or declared directly, which avoids the empty base. It is used throughout the framework, both as a constraint and as a boolean expression in if constexpr contexts.
A custom comparator or operator uses it to tell the framework expressions, like the result of eq() or lt(), from the values of the application. The applications build their own expressions with extension::compare_op and extension::predicate_op, not by declaring the op_type marker, which the formatter could not report.
Definition at line 319 of file extension.h.
Generated via doxygen2docusaurus 2.2.8 by Doxygen 1.18.0.