monocle

Type Members

1. abstract class Fold[S, A] extends Serializable

   A Fold can be seen as a Getter with many targets or a weaker PTraversal which cannot modify its target.

2. sealed abstract class FoldInstances extends AnyRef

3. abstract class Getter[S, A] extends Serializable

   A Getter can be seen as a glorified get method between a type S and a type A.

4. sealed abstract class GetterInstances extends GetterInstances0

5. sealed abstract class GetterInstances0 extends AnyRef

6. type Iso[S, A] = PIso[S, S, A, A]

7. sealed abstract class IsoInstances extends IsoInstances0

8. sealed abstract class IsoInstances0 extends AnyRef

9. type Lens[S, A] = PLens[S, S, A, A]

10. sealed abstract class LensInstances extends LensInstances0

11. sealed abstract class LensInstances0 extends AnyRef

12. type Optional[S, A] = POptional[S, S, A, A]

13. sealed abstract class OptionalInstances extends AnyRef

14. abstract class PIso[S, T, A, B] extends Serializable

    A PIso defines an isomorphism between types S, A and B, T:

                 get                           reverse.get
        -------------------->             -------------------->
      S                       A         T                       B
        <--------------------             <--------------------
          reverse.reverseGet                   reverseGet
    

15. abstract class PLens[S, T, A, B] extends Serializable

    A PLens can be seen as a pair of functions:

16. abstract class POptional[S, T, A, B] extends Serializable

    A POptional can be seen as a pair of functions:

17. abstract class PPrism[S, T, A, B] extends Serializable

    A PPrism can be seen as a pair of functions:

18. abstract class PSetter[S, T, A, B] extends Serializable

    A PSetter is a generalisation of Functor map:

19. abstract class PTraversal[S, T, A, B] extends Serializable

    A PTraversal can be seen as a POptional generalised to 0 to n targets where n can be infinite.

20. type Prism[S, A] = PPrism[S, S, A, A]

21. sealed abstract class PrismInstances extends AnyRef

22. type Setter[S, A] = PSetter[S, S, A, A]

23. sealed abstract class SetterInstances extends AnyRef

24. type Traversal[S, A] = PTraversal[S, S, A, A]

25. sealed abstract class TraversalInstances extends AnyRef