Proptics core/proptics.syntax/TraversalElementOps

TraversalElementOps

final case class TraversalElementOps[S, T, A](traversal: Traversal_[S, T, A, A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def drop(i: Int): Traversal_[S, T, A, A]

select all elements of a Traversal_ except first n ones

select all elements of a Traversal_ except first n ones

def dropWhile(predicate: A => Boolean)(implicit ev0: Applicative[[_] =>> State[Boolean, _$13]]): Traversal_[S, T, A, A]

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

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

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

traverse elements of a Traversal_ whose index satisfy a predicate

traverse elements of a Traversal_ whose index satisfy a predicate

def partsOf(implicit ev0: Sellable[Function1, [_, _, _] =>> Bazaar[Function1, _$6, _$7, Unit, _$8]]): Lens_[S, T, List[A], List[A]]

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

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

def single(i: Int): Traversal_[S, T, A, A]

narrow the focus of a Traversal_ to a single element

narrow the focus of a Traversal_ to a single element

def take(i: Int): Traversal_[S, T, A, A]

select the first n elements of a Traversal_

select the first n elements of a Traversal_

def takeWhile(predicate: A => Boolean)(implicit ev0: Applicative[[_] =>> State[Boolean, _$12]]): Traversal_[S, T, A, A]

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

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

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product