Proptics core/proptics/ATraversal

ATraversal

object ATraversal
class Object
trait Matchable
class Any

Value members

Concrete methods

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

create a monomorphic ATraversal from a getter/setter pair

create a monomorphic ATraversal from a getter/setter pair

final def both[G[_, _] : Bitraverse, A]: ATraversal[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): ATraversal[F[A], A]

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

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

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

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

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

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

traverse elements of an ATraversal, that satisfy a predicate

traverse elements of an ATraversal, that satisfy a predicate

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

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

traverse elements of an ATraversal, 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]): ATraversal[S, A]

create a monomorphic ATraversal from a proptics.internal.Bazaar

create a monomorphic ATraversal from a proptics.internal.Bazaar

final def fromTraverse[G[_] : Traverse, A]: ATraversal[G[A], A]

create a monomorphic ATraversal from a cats.Traverse

create a monomorphic ATraversal from a cats.Traverse

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

monomorphic identity of an ATraversal

monomorphic identity of an ATraversal

final def partsOf[S, T, A](traversal: ATraversal_[S, T, A, A])(implicit ev0: Sellable[Function1, [_, _, _] =>> Bazaar[Function1, _$199, _$200, Unit, _$201]]): Lens_[S, T, List[A], List[A]]

convert an ATraversal into a Lens over a list of the ATraversal's foci

convert an ATraversal into a Lens over a list of the ATraversal's foci

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

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

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

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

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

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

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

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

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

final def traverse[S, A](to: S => (A, A => S)): ATraversal[S, A]

create a monomorphic ATraversal from a combined getter/setter

create a monomorphic ATraversal from a combined getter/setter