Range iterator

This module provides iterators over ranges from Std.PRange via Std.PRange.iter.

@[inline]

def Std.PRange.iter {α : Type u_1} {sl su : BoundShape} [UpwardEnumerable α] [BoundedUpwardEnumerable sl α] (r : PRange { lower := sl, upper := su } α) : Iter α

Returns an iterator over the given range. This iterator will emit the elements of the range in increasing order.

Equations

• r.iter = { internalState := { next := Std.PRange.BoundedUpwardEnumerable.init? r.lower, upperBound := r.upper } }