Proptics core/proptics.internal/IndexedTraversal1

IndexedTraversal1

trait IndexedTraversal1[I, S, T, A, B] extends IndexedTraversal0[I, S, T, A, B] with IndexedFoldCompat[I, S, A]
trait IndexedFoldCompat[I, S, A]
trait IndexedFold0[I, S, A]
trait FoldInstances
trait IndexedGetter0[I, S, A]
trait IndexedTraversal0[I, S, T, A, B]
trait IndexedSetter0[I, S, T, A, B]
class Object
trait Matchable
class Any
class IndexedTraversal_[I, S, T, A, B]

Value members

Concrete methods

final override def foldMap[R : Monoid](s: S)(f: (A, I) => R): R

map each focus of a Traversal to a cats.Monoid, and combine the results

map each focus of a Traversal to a cats.Monoid, and combine the results

Definition Classes
IndexedFold0 -> IndexedTraversal0
final def sequence_[F[_]](s: S)(implicit ev: Applicative[F]): F[Unit]

evaluate each focus and index of an IndexedTraversal from left to right, and ignore the results structure

evaluate each focus and index of an IndexedTraversal from left to right, and ignore the results structure

final def traverse_[F[_], R](s: S)(f: (A, I) => F[R])(implicit ev: Applicative[F]): F[Unit]

map each focus and index of an IndexedTraversal to an effect, from left to right, and ignore the results

map each focus and index of an IndexedTraversal to an effect, from left to right, and ignore the results

Inherited 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

Inherited from:
IndexedGetter0
final override def exists(f: (A, I) => Boolean): S => Boolean
Definition Classes
IndexedFold0 -> IndexedGetter0
Inherited from:
IndexedFold0
final override def find(f: (A, I) => Boolean): S => Option[(A, I)]

find the first focus of an IndexedFold that satisfies a predicate, if there is any

find the first focus of an IndexedFold that satisfies a predicate, if there is any

Definition Classes
IndexedFold0 -> IndexedGetter0
Inherited from:
IndexedFold0
final def first(s: S): Option[(A, I)]

synonym for preview

synonym for preview

Inherited from:
IndexedFold0
final def fold(s: S)(implicit ev: Monoid[A]): A

fold the foci of a IndexedFold using a cats.Monoid

fold the foci of a IndexedFold using a cats.Monoid

Inherited from:
IndexedFold0
final def foldLeft[R](s: S)(r: R)(f: (R, (A, I)) => R): R

fold the foci and indices of an IndexedFold using a binary operator, going left to right

fold the foci and indices of an IndexedFold using a binary operator, going left to right

Inherited from:
IndexedFold0
final def foldRight[R](s: S)(r: R)(f: ((A, I), R) => R): R

fold the foci and indices of an IndexedFold using a binary operator, going right to left

fold the foci and indices of an IndexedFold using a binary operator, going right to left

Inherited from:
IndexedFold0
final def isEmpty(s: S): Boolean

check if the IndexedGetter does not contain a focus

check if the IndexedGetter does not contain a focus

Inherited from:
IndexedGetter0
final def last(s: S): Option[(A, I)]

find the last focus and index of an IndexedFold that satisfies a predicate, if there is any

find the last focus and index of an IndexedFold that satisfies a predicate, if there is any

Inherited from:
IndexedFold0
final def length(s: S): Int

the number of foci of an IndexedFold

the number of foci of an IndexedFold

Inherited from:
IndexedFold0
final def maximum(s: S)(implicit ev: Order[A]): Option[A]

the maximum of all foci of an IndexedFold, if there is any

the maximum of all foci of an IndexedFold, if there is any

Inherited from:
IndexedFold0
final def minimum(s: S)(implicit ev: Order[A]): Option[A]

the minimum of all foci of an IndexedFold, if there is any

the minimum of all foci of an IndexedFold, if there is any

Inherited from:
IndexedFold0
final def nonEmpty(s: S): Boolean

check if the IndexedGetter contains a focus

check if the IndexedGetter contains a focus

Inherited from:
IndexedGetter0
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

Inherited from:
IndexedGetter0
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

Inherited from:
IndexedGetter0
def over(f: (A, I) => B): S => T

modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure

modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure

Inherited from:
IndexedSetter0
final def overF[F[_] : Applicative](f: (A, I) => F[B])(s: S): F[T]

synonym for traverse, flipped

synonym for traverse, flipped

Inherited from:
IndexedTraversal0
final def preview(s: S): Option[(A, I)]

view the first focus of a Fold, if there is any

view the first focus of a Fold, if there is any

Inherited from:
IndexedFold0
final def set(b: B): S => T

set the modified focus of an IndexedSetter

set the modified focus of an IndexedSetter

Inherited from:
IndexedSetter0
final def toArray(s: S)(implicit ev0: ClassTag[A]): Array[A]

collect all the foci of an IndexedFold into an Array

collect all the foci of an IndexedFold into an Array

Inherited from:
IndexedFold0
final def toList(s: S): List[A]

collect all the foci of an IndexedFold into aList

collect all the foci of an IndexedFold into aList

Inherited from:
IndexedFold0
def traverse[F[_] : Applicative](s: S)(f: (A, I) => F[B]): F[T]

modify each focus of a Traversal using a Functor, resulting in a change of type to the full structure

modify each focus of a Traversal using a Functor, resulting in a change of type to the full structure

Inherited from:
IndexedTraversal0
final def use(implicit ev: State[S, A]): State[S, List[(A, I)]]

view the focus and the index of an IndexedFold in the state of a monad

view the focus and the index of an IndexedFold in the state of a monad

Inherited from:
IndexedFold0
final def viewAll(s: S): List[(A, I)]

collect all the foci of an IndexedFold into a List

collect all the foci of an IndexedFold into a List

Inherited from:
IndexedFold0
final override protected def viewOption(s: S): Option[(A, I)]
Definition Classes
IndexedFold0 -> IndexedGetter0
Inherited from:
IndexedFold0

Implicits

Inherited implicits

implicit def monoidBooleanDisj: Monoid[Disj[Boolean]]
Inherited from:
FoldInstances