• Home
• io.github.sagifogel
• proptics-core_sjs1_3
• 0.5.2
• source code
• IndexedGetter0.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

proptics.internal.IndexedGetter0.scala Maven / Gradle / Ivy

package proptics.internal

import cats.Eq
import cats.syntax.eq._

trait IndexedGetter0[I, S, A] extends Serializable {
  /** find if a focus of an IndexedGetter that satisfies a predicate */
  def find(f: ((A, I)) => Boolean): S => Option[(A, I)]

  /** test whether a predicate holds for the focus of an IndexedGetter */
  def exists(f: ((A, I)) => Boolean): S => Boolean

  /** test whether a predicate does not hold for the focus of an IndexedGetter */
  final def notExists(f: ((A, I)) => Boolean): S => Boolean = s => !exists(f)(s)

  /** test whether a focus at specific index of an IndexedGetter contains a given value */
  final def contains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean = exists(_ === a)(s)

  /** test whether a focus at specific index of an IndexedGetter does not contain a given value */
  final def notContains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean = !contains(a)(s)
}