flix

0.72.0

ForEach

Definitions

def withFilter(p: a -> Bool, m: t): WithFilter[t, a] with ForEach[t] where ForEach.Elm[t] ~ a Source

Returns a view for m that filters out elements that don't match p.

def withIndex(m: t): WithIndex[t] with ForEach[t] Source

Returns a view for m that wraps each element with its index.

def withMap(f: a -> b, m: t): WithMap[t, a, b] with ForEach[t] Source

Returns a view for m that applies f to each element.

def withZip(left: s, right: t): WithZip[s, t] with Iterable[s], Iterable[t] Source

Returns a view that zips left and right together.