monocle

Type Members

1. trait Fold[S, A] extends AnyRef

2. trait Getter[S, A] extends AnyRef

3. trait Iso[S, T, A, B] extends Lens[S, T, A, B] with Prism[S, T, A, B]

   An Iso is a Lens that can be reversed and so it defines an isomorphism.

4. trait Lens[S, T, A, B] extends Traversal[S, T, A, B] with Getter[S, A]

   A Lens defines a single focus between a type S and A such as if you change A to B you obtain a T.

5. trait Prism[S, T, A, B] extends Traversal[S, T, A, B]

   A Prism is a special case of Traversal where the focus is limited to 0 or 1 A.

6. trait Setter[S, T, A, B] extends AnyRef

7. type SimpleIso[S, A] = Iso[S, S, A, A]

8. type SimpleLens[S, A] = Lens[S, S, A, A]

9. type SimplePrism[S, A] = Prism[S, S, A, A]

10. type SimpleSetter[S, A] = Setter[S, S, A, A]

11. type SimpleTraversal[S, A] = Traversal[S, S, A, A]

12. trait Syntax extends AnyRef

13. trait Traversal[S, T, A, B] extends Setter[S, T, A, B] with Fold[S, A]

    A Traversal is generalisation of a Lens in a way that it defines a multi foci between S and 0 to many A.