Proptics core/proptics.syntax/IndexedFoldsOps

IndexedFoldsOps

final case class IndexedFoldsOps[I, S, T, A](indexedFold: IndexedFold_[I, S, T, A, A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def filter(predicate: ((A, I)) => Boolean): IndexedFold_[I, S, T, A, A]

traverse elements of an IndexedFold_ whose index satisfy a predicate

traverse elements of an IndexedFold_ whose index satisfy a predicate

def filterByIndex(predicate: I => Boolean): IndexedFold_[I, S, T, A, A]

traverse elements of an IndexedFold_ whose index satisfy a predicate applied on the index

traverse elements of an IndexedFold_ whose index satisfy a predicate applied on the index

def index(i: I)(implicit ev: Eq[I]): Fold_[S, T, A, A]

combine an index and an IndexedFold_ to narrow the focus to a single element

combine an index and an IndexedFold_ to narrow the focus to a single element

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product