Proptics core/proptics/IndexedTraversal

IndexedTraversal

object IndexedTraversal
class Object
trait Matchable
class Any

Value members

Concrete methods

final def apply[I, S, A](get: S => (A, I))(set: S => A => S): IndexedTraversal[I, S, A]

create a monomorphic IndexedTraversal from a getter/setter pair

create a monomorphic IndexedTraversal from a getter/setter pair

final def dropWhile[F[_], I, A](predicate: A => Boolean)(implicit ev0: TraverseWithIndex[F, I]): IndexedTraversal[I, F[A], A]

create a monomorphic IndexedTraversal_ that drop longest prefix of elements of a Traverse that satisfy a predicate

create a monomorphic IndexedTraversal_ that drop longest prefix of elements of a Traverse that satisfy a predicate

final def dropWhileWithIndex[F[_], I, A](predicate: (A, I) => Boolean)(implicit ev0: TraverseWithIndex[F, I]): IndexedTraversal[I, F[A], A]

create a monomorphic IndexedTraversal_ that drop longest prefix of elements of a Traverse that satisfy a predicate

create a monomorphic IndexedTraversal_ that drop longest prefix of elements of a Traverse that satisfy a predicate

final def fromTraverse[F[_], A](implicit ev0: Traverse[F]): IndexedTraversal[Int, F[A], A]

create a monomorphic IndexedTraversal_ from a Traverse that has an index ot type Int

create a monomorphic IndexedTraversal_ from a Traverse that has an index ot type Int

final def fromTraverseWithIndex[F[_], I, A](implicit ev0: TraverseWithIndex[F, I]): IndexedTraversal[I, F[A], A]

create a monomorphic IndexedTraversal_ from a cats.Traverse

create a monomorphic IndexedTraversal_ from a cats.Traverse

final def single[F[_], A](i: Int)(implicit ev0: TraverseWithIndex[F, Int]): IndexedTraversal[Int, F[A], A]

create a monomorphic IndexedTraversal_ that narrows the focus to a single element

create a monomorphic IndexedTraversal_ that narrows the focus to a single element

final def takeWhile[F[_], I, A](predicate: A => Boolean)(implicit ev0: TraverseWithIndex[F, I]): IndexedTraversal[I, F[A], A]

create a monomorphic IndexedTraversal_ that takes the longest prefix of elements of a Traverse that satisfy a predicate

create a monomorphic IndexedTraversal_ that takes the longest prefix of elements of a Traverse that satisfy a predicate

final def takeWhileWithIndex[F[_], I, A](predicate: (A, I) => Boolean)(implicit ev0: TraverseWithIndex[F, I]): IndexedTraversal[I, F[A], A]

create a monomorphic IndexedTraversal_ that takes the longest prefix of elements of a Traverse that satisfy a predicate

create a monomorphic IndexedTraversal_ that takes the longest prefix of elements of a Traverse that satisfy a predicate

final def traversal[I, S, A](to: S => ((A, I), A => S)): IndexedTraversal[I, S, A]

create a monomorphic IndexedTraversal from a combined getter/setter. synonym to apply

create a monomorphic IndexedTraversal from a combined getter/setter. synonym to apply

final def wander[I, S, A](lensLikeWithIndex: LensLikeWithIndex[I, S, S, A, A]): IndexedTraversal[I, S, A]

create a monomorphic IndexedTraversal from a rank 2 type traversal function

create a monomorphic IndexedTraversal from a rank 2 type traversal function