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 C. Maxfield wrote:Indeed there is, it's called constructN (or constructrN if you want to
>
> 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.
construct it right to left).
Roman