class Iterable[t: Type -> Type]
A trait for immutable data structures that can be iterated.
def iterator(rc: Region[r], t: t[a]): Iterator[a, r, r] \ r with Iterable[t]
Returns an iterator over t.
t
def enumerator(rc: Region[r], t: t[a]): Iterator[(Int32, a), r, r] \ r with Iterable[t]
Returns an iterator over t zipped with the indices of the elements.