package monocle

Linear Supertypes
AnyRef, Any
  1. Alphabetic
  2. By inheritance
  1. monocle
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
  1. Public
  2. All

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.

Value Members

  1. object Fold

  2. object Getter

  3. object Iso

  4. object Lens

  5. object Macro

  6. object Prism

  7. object Setter

  8. object SimpleIso

  9. object SimpleLens

  10. object SimplePrism

  11. object Traversal

  12. package function

  13. package std

  14. package syntax

  15. package thirdparty

  16. package util

Inherited from AnyRef

Inherited from Any