On 6/18/13 4:57 AM, Joseph Rushton Wakeling wrote:
On 06/18/2013 05:00 AM, Andrei Alexandrescu wrote:
Once you consume an input range, there's no way to consume it again. It's done.
Sure, but what I'm proposing is a stronger constraint than "random ranges should
be input ranges".
I'm not sure I understand what you are proposing. If a true random range
is to be an input range with additional constraints, one simple thing is
once .empty returns true there's no more extracting elements from it.
Andrei
