Collectable

trait Collectable[t: Type]Source

A trait representing collections that can be produced 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.

instance Collectable[Chain[a]]Source

type Elm = a

instance Collectable[List[a]]Source

type Elm = a

instance Collectable[Set[a]] with Order[a]Source

type Elm = a

instance Collectable[Vector[a]]Source

type Elm = a

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

Run an Iterator collecting the results.