object ATraversal
- Source
- ATraversal.scala
- Alphabetic
- By Inheritance
- ATraversal
- 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): ATraversal[S, A]
create a monomorphic ATraversal from a getter/setter pair
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def both[G[_, _], A](implicit arg0: Bitraverse[G]): ATraversal[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]): ATraversal[F[A], A]
create a monomorphic ATraversal that selects all elements of a Traverse except the first n ones
- final def dropWhile[G[_], A](predicate: (A) => Boolean)(implicit arg0: Traverse[G]): ATraversal[G[A], A]
create a monomorphic ATraversal 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]): ATraversal[A, A]
traverse elements of an ATraversal, by taking the first element of a Fold and using it as a filter
- final def filter[A](predicate: (A) => Boolean): ATraversal[A, A]
traverse elements of an ATraversal, 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[[α$123$, β$124$](α$123$) => β$124$, A, A, S, S]): ATraversal[S, A]
create a monomorphic ATraversal from a proptics.internal.Bazaar
- final def fromTraverse[G[_], A](implicit arg0: Traverse[G]): ATraversal[G[A], A]
create a monomorphic ATraversal 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]: ATraversal[S, S]
monomorphic identity of an ATraversal
- 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: ATraversal_[S, T, A, A])(implicit ev0: Sellable[[α$127$, β$128$](α$127$) => β$128$, [β$129$, γ$130$, ε$131$]Bazaar[[α$125$, β$126$](α$125$) => β$126$, β$129$, γ$130$, Unit, ε$131$]]): Lens_[S, T, List[A], List[A]]
convert an ATraversal into a Lens over a list of the ATraversal's foci
- final def single[F[_], A](i: Int)(implicit arg0: Traverse[F]): ATraversal[F[A], A]
create a monomorphic ATraversal 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]): ATraversal[F[A], A]
create a monomorphic ATraversal that selects the first n elements of a Traverse
- final def takeWhile[G[_], A](predicate: (A) => Boolean)(implicit arg0: Traverse[G]): ATraversal[G[A], A]
create a monomorphic ATraversal that takes the longest prefix of elements of a Traverse that satisfy a predicate
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def traverse[S, A](to: (S) => (A, (A) => S)): ATraversal[S, A]
create a monomorphic ATraversal 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()