Iterable

trait Iterable[t: Type]Source

A trait for immutable data structures that can be iterated.

Associated Types

type Aef: Eff = {}Source

The associated effect of creating the Iterable and accessing the elements in the underlying data structure or generator.

The effect is embedded in the type of the Iterator.

type Elm: TypeSource

The element type of the Iterable.

Instances

instance Iterable[Array[a, r]]Source

type Elm = atype Aef = r

instance Iterable[Chain[a]]Source

type Elm = a

instance Iterable[DelayList[a]]Source

type Elm = a

instance Iterable[DelayMap[k, v]]Source

type Elm = (k, v)

instance Iterable[List[a]]Source

type Elm = a

instance Iterable[Map[k, v]]Source

type Elm = (k, v)

instance Iterable[MutDeque[a, r]]Source

type Elm = atype Aef = r

instance Iterable[MutHashMap[k, v, r]]Source

type Elm = (k, v)type Aef = r

instance Iterable[MutHashSet[a, r]]Source

type Elm = atype Aef = r

instance Iterable[MutList[a, r]]Source

type Elm = atype Aef = r

instance Iterable[MutMap[k, v, r]]Source

type Elm = (k, v)type Aef = r

instance Iterable[MutPriorityQueue[a, r]]Source

type Elm = atype Aef = r

instance Iterable[MutSet[a, r]]Source

type Elm = atype Aef = r

instance Iterable[Nec[a]]Source

type Elm = a

instance Iterable[Nel[a]]Source

type Elm = a

instance Iterable[Option[a]]Source

type Elm = a

instance Iterable[Range[t]] with Discrete[t]Source

type Elm = t

instance Iterable[RedBlackTree[k, v]]Source

type Elm = (k, v)

instance Iterable[Set[a]]Source

type Elm = a

instance Iterable[Vector[a]]Source

type Elm = a

Signatures

def iterator(rc: Region[r], t: t): Iterator[Elm[t], r + aef, r] \ r + aef with Iterable[t] where Iterable.Aef[t] ~ aef§ Source

Returns an iterator over t.