Proptics core/proptics.syntax/FoldElementOps

FoldElementOps

final case class FoldElementOps[S, T, A](fold: Fold_[S, T, A, A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

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

select all elements of a Fold_ except first n ones

select all elements of a Fold_ except first n ones

def dropWhile(predicate: A => Boolean): Fold_[S, T, A, A]

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

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

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

traverse elements of a Fold_ whose index satisfy a predicate

traverse elements of a Fold_ whose index satisfy a predicate

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

narrow the focus of a Fold_ to a single element

narrow the focus of a Fold_ to a single element

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

select the first n elements of a Fold_

select the first n elements of a Fold_

def takeWhile(predicate: A => Boolean): Fold_[S, T, A, A]

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

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

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product