Higher Order Type Tuple Predicate

[simendsjo]

On Thursday, 13 February 2014 at 11:25:09 UTC, Nordlöw wrote:
> 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))
> {
> ...
> }

You probably need std.typetuple: 
http://dlang.org/phobos/std_typetuple.html#.allSatisfy