Proptics core/proptics.internal/IndexedGetter0

IndexedGetter0

trait IndexedGetter0[I, S, A] extends Serializable
class Object
trait Matchable
class Any
trait IndexedGetter1[I, S, A]
class IndexedGetter_[I, S, T, A, B]

Value members

Abstract methods

def exists(f: (A, I) => Boolean): S => Boolean

test whether a predicate holds for the focus of an IndexedGetter

test whether a predicate holds for the focus of an IndexedGetter

protected def viewOption(s: S): Option[(A, I)]

Concrete methods

final def contains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean

test whether a focus at specific index of an IndexedGetter contains a given value

test whether a focus at specific index of an IndexedGetter contains a given value

def find(f: (A, I) => Boolean): S => Option[(A, I)]

find if a focus of an IndexedGetter that satisfies a predicate

find if a focus of an IndexedGetter that satisfies a predicate

final def isEmpty(s: S): Boolean

check if the IndexedGetter does not contain a focus

check if the IndexedGetter does not contain a focus

final def nonEmpty(s: S): Boolean

check if the IndexedGetter contains a focus

check if the IndexedGetter contains a focus

final def notContains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean

test whether a focus at specific index of an IndexedGetter does not contain a given value

test whether a focus at specific index of an IndexedGetter does not contain a given value

final def notExists(f: (A, I) => Boolean): S => Boolean

test whether a predicate does not hold for the focus of an IndexedGetter

test whether a predicate does not hold for the focus of an IndexedGetter