Proptics core/proptics.syntax.applied/AppliedFoldElementOps

AppliedFoldElementOps

final case class AppliedFoldElementOps[S, T, A](appliedFold: AppliedFold_[S, T, A, A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def drop(i: Int): AppliedFold_[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)(implicit ev0: Applicative[[_] =>> State[Boolean, _$7]]): AppliedFold_[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 filter(predicate: A => Boolean): AppliedFold_[S, T, A, A]

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

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

def filterByIndex(predicate: Int => Boolean): AppliedFold_[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 filterF[B](fold: Fold[A, B]): AppliedFold_[S, T, A, A]

filter out elements using a Fold, of optics composed with this Fold

filter out elements using a Fold, of optics composed with this Fold

def filterF[B](fold: AffineTraversal[A, B]): AppliedFold_[S, T, A, A]

filter out elements using an AffineTraversal, of optics composed with this Fold

filter out elements using an AffineTraversal, of optics composed with this Fold

def filterNot(predicate: A => Boolean): AppliedFold_[S, T, A, A]

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

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

def onlyWhen[B : Eq](f: A => B, is: B): AppliedFold_[S, T, A, A]

filter out elements using a Fold, of optics composed with this Fold

filter out elements using a Fold, of optics composed with this Fold

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

narrow the focus of a Fold_ focus a single element

narrow the focus of a Fold_ focus a single element

def take(i: Int): AppliedFold_[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)(implicit ev0: Applicative[[_] =>> State[Boolean, _$6]]): AppliedFold_[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

def value: S

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product