On Sat, Oct 6, 2012 at 11:52 PM, Arlen <[email protected]> wrote: > #1 > template Foldl(alias Fun, Z, alias TL) { } > > This is called when dealing with 1-dimensional typelists. For example: > > alias Foldl!(MyFun, char, TL) R1; // where TL is, e.g., > TypeList!(int, char, double) > > #2 > template Foldl(alias Fun, alias Z, alias TL) { } > > This is called when dealing with 2-dimensions or higher. For example:
I had a similar project a few years ago. Here it is: https://github.com/PhilippeSigaud/dranges/blob/master/typetuple.d and, somewhat related, to show what can be done with type tuples in D (regular expressions on types) https://github.com/PhilippeSigaud/dranges/blob/master/typepattern.d
