Template type deduction

[Philippe Sigaud]

On Sun, Jan 20, 2013 at 3:59 PM, Phil Lavoie <maidenphil at hotmail.com> wrote:
> Imagine you have something like this:
>
> struct MyParamType( T1, T2 ) { ... }
>
> and then a compound:
>
> struct MyCoumpound( T ) if( isMyParamType!T ) { ... }
>
> template isMyParamType( T ) {
>   enum isMyParamType = ... //Complete this
> }
>
> Is it possible to deduce that T is a parameterized struct using
> isExpressions:
>
> enum isMyParamType = is( T U: MyParamType!U ); //Works for 1 parameter, but
> what do you do when you have plenty?

This should work:

is(T _ : MyParamType!U, U...)


( '_' just to tell someone reading the code this part is not used)