every

fun <T, S, A> Lens<T, S>.every(TR: Every<S, A>): Every<T, A>(source)

DSL to compose Traversal with a Lens for a structure S to see all its foci A

Receiver

Lens with a focus in S

Return

Traversal with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A


fun <T, S, A> Iso<T, S>.every(TR: Every<S, A>): Every<T, A>(source)

DSL to compose Traversal with an Iso for a structure S to see all its foci A

Receiver

Iso with a focus in S

Return

Traversal with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A


fun <T, S, A> Prism<T, S>.every(TR: Every<S, A>): Every<T, A>(source)

DSL to compose Traversal with a Prism for a structure S to see all its foci A

Receiver

Prism with a focus in S

Return

Traversal with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A


fun <T, S, A> Optional<T, S>.every(TR: Every<S, A>): Every<T, A>(source)

DSL to compose Traversal with an Optional for a structure S to see all its foci A

Receiver

Optional with a focus in S

Return

Traversal with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A


fun <T, S, A> Setter<T, S>.every(TR: Every<S, A>): Setter<T, A>(source)

DSL to compose Traversal with a Setter for a structure S to see all its foci A

Receiver

Setter with a focus in S

Return

Setter with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A


fun <T, S, A> Traversal<T, S>.every(TR: Every<S, A>): Traversal<T, A>(source)

DSL to compose Traversal with a Traversal for a structure S to see all its foci A

Receiver

Traversal with a focus in S

Return

Traversal with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A


fun <T, S, A> Fold<T, S>.every(TR: Every<S, A>): Fold<T, A>(source)

DSL to compose Traversal with a Fold for a structure S to see all its foci A

Receiver

Fold with a focus in S

Return

Fold with a focus in A

Parameters

TR

Traversal that can focus into a structure S to see all its foci A