Proptics core/proptics/Traversal

Traversal

object Traversal
class Object
trait Matchable
class Any

Value members

Concrete methods

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

create a monomorphic Traversal from a getter/setter pair

create a monomorphic Traversal from a getter/setter pair

final def both[G[_, _] : Bitraverse, A]: Traversal[G[A, A], A]

traverse both parts of a cats.Bitraverse with matching types

traverse both parts of a cats.Bitraverse with matching types

final def drop[F[_] : Traverse, A](i: Int): Traversal[F[A], A]

create a monomorphic Traversal that selects all elements of a Traverse except the first n ones

create a monomorphic Traversal that selects all elements of a Traverse except the first n ones

final def dropWhile[G[_] : Traverse, A](predicate: A => Boolean): Traversal[G[A], A]

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

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

final def filter[A](predicate: A => Boolean): Traversal[A, A]

traverse elements of a Traversal, that satisfy a predicate

traverse elements of a Traversal, that satisfy a predicate

final def filter[A, B](fold: Fold[A, B]): Traversal[A, A]

traverse elements of a Traversal, by taking the first element of a Fold and using it as a filter

traverse elements of a Traversal, by taking the first element of a Fold and using it as a filter

final def fromBazaar[S, A](bazaar: Bazaar[Function1, A, A, S, S]): Traversal[S, A]

create a monomorphic Traversal from a proptics.internal.Bazaar

create a monomorphic Traversal from a proptics.internal.Bazaar

final def fromTraversal[S, A](lensLikeTraversal: Rank2TypeTraversalLike[S, S, A, A]): Traversal[S, A]

create a monomorphic Traversal from Rank2TypeTraversalLike encoding

create a monomorphic Traversal from Rank2TypeTraversalLike encoding

final def fromTraverse[F[_] : Traverse, A]: Traversal[F[A], A]

create a monomorphic Traversal from a cats.Traverse

create a monomorphic Traversal from a cats.Traverse

final def id[S]: Traversal[S, S]

monomorphic identity of a Traversal

monomorphic identity of a Traversal

final def partsOf[S, T, A](traversal: Traversal_[S, T, A, A])(implicit ev0: Sellable[Function1, [_, _, _] =>> Bazaar[Function1, _$150, _$151, Unit, _$152]]): Lens_[S, T, List[A], List[A]]

convert a Traversal into a Lens over a list of the Traversal's foci

convert a Traversal into a Lens over a list of the Traversal's foci

final def single[F[_] : Traverse, A](i: Int): Traversal[F[A], A]

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

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

final def take[F[_] : Traverse, A](i: Int): Traversal[F[A], A]

create a monomorphic Traversal that selects the first n elements of a Traverse

create a monomorphic Traversal that selects the first n elements of a Traverse

final def takeWhile[G[_] : Traverse, A](predicate: A => Boolean): Traversal[G[A], A]

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

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

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

create a monomorphic Traversal from a combined getter/setter

create a monomorphic Traversal from a combined getter/setter

final def wander[S, A](lensLike: LensLike[S, S, A, A]): Traversal[S, A]

create a monomorphic Traversal from a rank 2 type traversal function

create a monomorphic Traversal from a rank 2 type traversal function