MutCollectable

trait MutCollectable[t: Type]Source

A trait representing mutable collections that can be produced from an Iterator.

type Aef: EffSource

The associated effect of the MutCollectable which represents the effect of accessing its elements.

type Elm: TypeSource

The element type of the MutCollectable.

type Reg: EffSource

The region associated with the MutCollectable.

instance MutCollectable[MutList[a, r]]Source

Signatures

def collect(rc: Region[Reg[t]], iter: Iterator[Elm[t], ef, r]): t \ ef + Aef[t] + r + Reg[t] with MutCollectable[t] Source

Run an Iterator collecting the results.