mimic++ v9.2.1
Loading...
Searching...
No Matches
mimicpp::matcher_for Concept Reference

#include <Common.hpp>

Concept definition

template<typename T, typename First, typename... Others>
concept mimicpp::matcher_for = std::same_as<T, std::remove_cvref_t<T>>
&& std::is_move_constructible_v<T>
&& std::destructible<T>
&& is_matcher_accepting_v<T, First, Others...>
&& requires(T const& matcher, First& first, Others&... others) {
{ detail::matches_hook::matches(matcher, first, others...) } -> util::boolean_testable;
{ detail::describe_hook::describe(matcher) } -> util::explicitly_convertible_to<std::optional<StringT>>;
}
Definition Common.hpp:173
Determines, whether B behaves as a the builtin type bool.
Definition Concepts.hpp:66
constexpr bool is_matcher_accepting_v
Determines, whether the given Matcher accepts the specified Args.
Definition Common.hpp:167