xieite::is_satisfd<>

Defined in fragment xieite:is_satisfd
(header-only: <xieite/trait/is_satisfd.hpp>)

Specifies that a functor is satisfied by some template parameters.


Definition

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


Example

 
import std;
import xieite;

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