monocle

Traversal

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.

Self Type
Traversal[S, T, A, B]
Linear Supertypes
Fold[S, A], Setter[S, T, A, B], AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Traversal
  2. Fold
  3. Setter
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def multiLift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Applicative[F]): F[T]

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def all(from: S)(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    Fold
  7. def asFold: Fold[S, A]

    Definition Classes
    Fold
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def asSetter: Setter[S, T, A, B]

    Definition Classes
    Setter
  10. def asTraversal: Traversal[S, T, A, B]

  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. def compose[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]

  13. def compose[B](other: Fold[A, B]): Fold[S, B]

    Definition Classes
    Fold
  14. def compose[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]

    Definition Classes
    Setter
  15. def composeFold[B](other: Fold[A, B]): Fold[S, B]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Fold
  16. def composeSetter[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Setter
  17. def composeTraversal[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]

    non overloaded compose function

  18. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  20. def exist(from: S)(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    Fold
  21. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. def fold(from: S)(implicit ev: Monoid[A]): A

    Definition Classes
    Fold
  23. def foldMap[M](from: S)(f: (A) ⇒ M)(implicit arg0: Monoid[M]): M

    Definition Classes
    TraversalFold
  24. def getAll(from: S): List[A]

    Definition Classes
    Fold
  25. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  26. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  27. def headOption(from: S): Option[A]

    Definition Classes
    Fold
  28. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  29. def modify(from: S, f: (A) ⇒ B): T

    Definition Classes
    TraversalSetter
  30. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  31. final def notify(): Unit

    Definition Classes
    AnyRef
  32. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  33. def set(from: S, newValue: B): T

    Definition Classes
    Setter
  34. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  35. def toString(): String

    Definition Classes
    AnyRef → Any
  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Fold[S, A]

Inherited from Setter[S, T, A, B]

Inherited from AnyRef

Inherited from Any

Ungrouped