Packages

c

proptics.syntax.applied

AppliedTraversalElementOps

final case class AppliedTraversalElementOps[S, T, A](appliedTraversal: AppliedTraversal_[S, T, A, A]) extends AnyVal with Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AppliedTraversalElementOps
  2. Serializable
  3. Product
  4. Equals
  5. AnyVal
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AppliedTraversalElementOps(appliedTraversal: AppliedTraversal_[S, T, A, A])

Value Members

  1. def drop(i: Int): AppliedTraversal_[S, T, A, A]

    select all elements of a Traversal_ except first n ones

  2. def dropWhile(predicate: (A) => Boolean)(implicit ev0: Applicative[[β$8$]IndexedStateT[Eval, Boolean, Boolean, β$8$]]): AppliedTraversal_[S, T, A, A]

    drop longest prefix of elements of a Traversal_ that satisfy a predicate

  3. def filter(predicate: (A) => Boolean): AppliedTraversal_[S, T, A, A]

    filter out elements that do not match the predicate, of optics composed with this Traversal_

  4. def filterByIndex(predicate: (Int) => Boolean): AppliedTraversal_[S, T, A, A]

    traverse elements of a Traversal_ whose index satisfy a predicate

  5. def filterNot(predicate: (A) => Boolean): AppliedTraversal_[S, T, A, A]

    filter out elements that match the predicate, of optics composed with this Traversal_

  6. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  7. def optic: Traversal_[S, T, A, A]
  8. def partsOf(implicit ev0: Sellable[[α$2$, β$3$](α$2$) => β$3$, [β$4$, γ$5$, ε$6$]Bazaar[[α$0$, β$1$](α$0$) => β$1$, β$4$, γ$5$, Unit, ε$6$]]): AppliedLens_[S, T, List[A], List[A]]

    convert a Traversal_ into a proptics.Lens over a list of the Traversal's foci

  9. def productElementNames: Iterator[String]
    Definition Classes
    Product
  10. def single(i: Int): AppliedTraversal_[S, T, A, A]

    narrow the focus of a Traversal_ to a single element

  11. def take(i: Int): AppliedTraversal_[S, T, A, A]

    select the first n elements of a Traversal_

  12. def takeWhile(predicate: (A) => Boolean)(implicit ev0: Applicative[[β$7$]IndexedStateT[Eval, Boolean, Boolean, β$7$]]): AppliedTraversal_[S, T, A, A]

    take longest prefix of elements of a Traversal_ that satisfy a predicate

  13. def value: S