arrow-optics / arrow.optics.dsl / every

every

fun <T, S, A> Lens<T, S>.every(EA: Each<S, A>): Traversal<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Lens with a focus in S

Return Traversal with a focus in A

fun <T, S, A> Iso<T, S>.every(EA: Each<S, A>): Traversal<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Iso with a focus in S

Return Traversal with a focus in A

fun <T, S, A> Prism<T, S>.every(EA: Each<S, A>): Traversal<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Prism with a focus in S

Return Traversal with a focus in A

fun <T, S, A> Optional<T, S>.every(EA: Each<S, A>): Traversal<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Optional with a focus in S

Return Traversal with a focus in A

fun <T, S, A> Setter<T, S>.every(EA: Each<S, A>): Setter<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Setter with a focus in S

Return Setter with a focus in A

fun <T, S, A> Traversal<T, S>.every(EA: Each<S, A>): Traversal<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Traversal with a focus in S

Return Traversal with a focus in A

fun <T, S, A> Fold<T, S>.every(EA: Each<S, A>): Fold<T, A>

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

Parameters

EA - Each to provide Traversal that can focus into a structure S to see all its foci A

Receiver Fold with a focus in S

Return Fold with a focus in A