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
Traversal that can focus into a structure S to see all its foci A
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
Traversal that can focus into a structure S to see all its foci A
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
Traversal that can focus into a structure S to see all its foci A
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
Traversal that can focus into a structure S to see all its foci A
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
Traversal that can focus into a structure S to see all its foci A
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
Traversal that can focus into a structure S to see all its foci A
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
Traversal that can focus into a structure S to see all its foci A