lucid::IsNotAnyOf Concept Reference

Check if the type T is not any of the types U. More...

#include <concept.h>

Concept definition

template<class T, class... U>
concept lucid::IsNotAnyOf =  !IsAnyOf<T, U...>

Detailed Description

Check if the type T is not any of the types U.

template <IsNotAnyOf<int, float, bool> T>
void foo(T t); // T can be any type except int, float or bool

Template Parameters

T	type to check
U	any number of types to check against