Prelude / Collectable

Collectable

trait Collectable[t: Type]Source

Trait for types that can be collected from an iterator.

Associated Types

type Aef: Eff = {}Source

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

type Elm: TypeSource

The element type of the Collectable.

def collect(iter: Iterator[Elm[t], ef, r]): t \ ef + Aef[t] + r with Collectable[t]§ Source

Run an Iterator collecting the results.