xieite::is_satisfd_any<>

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

Specifies that a functor is satisfied by at least one of several types.


Definition

 
template<auto fn, typename... Ts>
concept is_satisfd_any = (... || xieite::is_satisfd<fn, Ts>);


Example

 
import std;
import xieite;

int main() {
	static constexpr auto fn = []<std::integral> {};

	xieite::dump(xieite::is_satisfd_any<fn, int, float, short>);
	xieite::dump(xieite::is_satisfd_any<fn, void*, double, std::nullptr_t>);
}
Output: 
true
false