xieite::type_list<Ts...>::satisf<>

Defined in fragment xieite:type_list
(header-only: <xieite/meta/type_list.hpp>)

Checks if the elements of a xieite::type_list satisfy some functor.


Definition

 
template<auto cond>
static constexpr bool satisf = xieite::is_satisfd<cond, Ts...>;


Example

 
import std;
import xieite;

int main() {
	using List = xieite::type_list<int, int, int, int, int>;

	// Check if all elements are the same
	xieite::dump(List::satisf<[]<typename T, std::same_as<T>...> {}>);
}
Output: 
true
[View in Compiler Explorer]