xieite::is_satisfd<>

Defined in header <xieite/trait/is_satisfd.hpp>

Specifies that a functor is satisfied by some template arguments.


Definition

 
template<auto fn, typename... Ts>
concept is_satisfd = requires { fn.template operator()<Ts...>(); };


Example

 
int main() {
	static constexpr auto same = []<typename T, std::same_as<T>> {};

	xieite::dump(xieite::is_satisfd<same, int, int>);
	xieite::dump(xieite::is_satisfd<same, int, char>);
}
Output: 
true
false
[View in Compiler Explorer]