Higher Order Type Tuple Predicate

"Nordlöw" per.nordlow at gmail.com
Thu Feb 13 03:25:07 PST 2014


Is there some trait in Phobos to check if each element of a type 
tuple fulfil a type predicate?

I want this in a variadic function limiter to assert that all its 
arguments function fulfils a predicate.

Something like:

void f(T...)(T args) if (All!(T,SomePredicate))
{
...
}


More information about the Digitalmars-d-learn mailing list