arrow-optics / arrow.optics.dsl / 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
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
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
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
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
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
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
EA
- Each to provide Traversal that can focus into a structure S to see all its foci A