Std.range to List

Stream: new members

[Burkhardt Renz]

Hi,

is there a function in the std lib that returns a List Nat from a Std.range?

[Markus Himmel]

Do you specifically need to go from Range to List or is docs#List.range' perhaps an option for you?

[Burkhardt Renz]

Actually List.range' is an option, but I asked myself if there is a simple way to get a list from any range.

[Markus Himmel]

I don't think this exists right now, but the FRO is planning to work on Std.Range later this year, so hopefully this will improve.

[Burkhardt Renz]

Thanks