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

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

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

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