object Traversal
- Source
- Traversal.scala
- Alphabetic
- By Inheritance
- Traversal
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def apply[S, A](get: (S) => A)(set: (S) => (A) => S): Traversal[S, A]
create a monomorphic Traversal from a getter/setter pair
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def both[G[_, _], A](implicit arg0: Bitraverse[G]): Traversal[G[A, A], A]
traverse both parts of a cats.Bitraverse with matching types
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def drop[F[_], A](i: Int)(implicit arg0: Traverse[F]): Traversal[F[A], A]
create a monomorphic Traversal that selects all elements of a Traverse except the first n ones
- final def dropWhile[G[_], A](predicate: (A) => Boolean)(implicit arg0: Traverse[G]): Traversal[G[A], A]
create a monomorphic Traversal that drop longest prefix of elements of a Traverse that satisfy a predicate
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def filter[A, B](fold: Fold[A, B]): Traversal[A, A]
traverse elements of a Traversal, by taking the first element of a Fold and using it as a filter
- final def filter[A](predicate: (A) => Boolean): Traversal[A, A]
traverse elements of a Traversal, that satisfy a predicate
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def fromBazaar[S, A](bazaar: Bazaar[[α$51$, β$52$](α$51$) => β$52$, A, A, S, S]): Traversal[S, A]
create a monomorphic Traversal from a proptics.internal.Bazaar
- final def fromTraversal[S, A](lensLikeTraversal: Rank2TypeTraversalLike[S, S, A, A]): Traversal[S, A]
create a monomorphic Traversal from Rank2TypeTraversalLike encoding
- final def fromTraverse[F[_], A](implicit arg0: Traverse[F]): Traversal[F[A], A]
create a monomorphic Traversal from a cats.Traverse
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def id[S]: Traversal[S, S]
monomorphic identity of a Traversal
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def partsOf[S, T, A](traversal: Traversal_[S, T, A, A])(implicit ev0: Sellable[[α$55$, β$56$](α$55$) => β$56$, [β$57$, γ$58$, ε$59$]Bazaar[[α$53$, β$54$](α$53$) => β$54$, β$57$, γ$58$, Unit, ε$59$]]): Lens_[S, T, List[A], List[A]]
convert a Traversal into a Lens over a list of the Traversal's foci
- final def single[F[_], A](i: Int)(implicit arg0: Traverse[F]): Traversal[F[A], A]
create a monomorphic Traversal that narrows the focus to a single element
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- final def take[F[_], A](i: Int)(implicit arg0: Traverse[F]): Traversal[F[A], A]
create a monomorphic Traversal that selects the first n elements of a Traverse
- final def takeWhile[G[_], A](predicate: (A) => Boolean)(implicit arg0: Traverse[G]): Traversal[G[A], A]
create a monomorphic Traversal that takes the longest prefix of elements of a Traverse that satisfy a predicate
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def traversal[S, A](to: (S) => (A, (A) => S)): Traversal[S, A]
create a monomorphic Traversal from a combined getter/setter
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wander[S, A](lensLike: LensLike[S, S, A, A]): Traversal[S, A]
create a monomorphic Traversal from a rank 2 type traversal function