17 Sep
2012
17 Sep
'12
12:42 p.m.
Aha there it is! Thanks so much. I didn't see it because it's under the
"Unfolding" section instead of the "Construction" section.
--Myles
On Mon, Sep 17, 2012 at 6:07 AM, Roman Leshchinskiy
Myles C. Maxfield wrote:
Overall, I'm looking for a function, similar to Data.Vector's 'generate' function, but instead of the generation function taking the destination index, I'd like it to take the elements that have previously been constructed. Is there such a function? If there isn't one, is this kind
of
function feasible to write? If such a function doesn't exist and is feasible to write, I'd be happy to try to write and contribute it.
Indeed there is, it's called constructN (or constructrN if you want to construct it right to left).
Roman