Iterable

class Iterable[t: Type -> Type]Source

A trait for immutable data structures that can be iterated.

Signatures

def iterator(rc: Region[r], t: t[a]): Iterator[a, r, r] \ r with Iterable[t] Source

Returns an iterator over t.

Class Definitions

def enumerator(rc: Region[r], t: t[a]): Iterator[(Int32, a), r, r] \ r with Iterable[t] Source

Returns an iterator over t zipped with the indices of the elements.