Proptics core/proptics/Fold_

Fold_

object Fold_
Companion:
class
class Object
trait Matchable
class Any
Fold_.type

Value members

Concrete methods

final def apply[S, T, A, B](get: S => A): Fold_[S, T, A, B]

create a polymorphic Fold_ from a getter function

create a polymorphic Fold_ from a getter function

final def both[G[_, _] : Bifoldable, A, B]: Fold_[G[A, A], G[B, B], A, B]

fold both parts of a cats.Bifoldable with matching types

fold both parts of a cats.Bifoldable with matching types

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

create a polymorphic Fold_ using a predicate to filter out elements of future optics composed with this Fold_

create a polymorphic Fold_ using a predicate to filter out elements of future optics composed with this Fold_

final def fromFoldable[F[_], A, B](implicit ev0: Foldable[F]): Fold_[F[A], F[B], A, B]

create a polymorphic Fold_ from cats.Foldable

create a polymorphic Fold_ from cats.Foldable

final def id[S, T]: Fold_[S, T, S, T]

polymorphic identity of a Fold_

polymorphic identity of a Fold_

Implicits

Implicits

final implicit def aLensToFold[S, T, A, B](aLens: ALens_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from ALens_ to Fold_

implicit conversion from ALens_ to Fold_

final implicit def aPrismToFold[S, T, A, B](aPrism: APrism_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from APrism_ to Fold_

implicit conversion from APrism_ to Fold_

final implicit def aTraversalToFold[S, T, A, B](aTraversal: ATraversal_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from ATraversal_ to Fold_

implicit conversion from ATraversal_ to Fold_

final implicit def affineTraversalToFold[S, T, A, B](affineTraversal: AffineTraversal_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from AffineTraversal_ to Fold_

implicit conversion from AffineTraversal_ to Fold_

final implicit def anAffineTraversalToFold[S, T, A, B](anAffineTraversal: AnAffineTraversal_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from AnAffineTraversal_ to Fold_

implicit conversion from AnAffineTraversal_ to Fold_

final implicit def getterToFold[S, T, A, B](getter: Getter_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from Getter_ to Fold_

implicit conversion from Getter_ to Fold_

final implicit def lensToFold[S, T, A, B](lens: Lens_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from Lens_ to Fold_

implicit conversion from Lens_ to Fold_

final implicit def prismToFold[S, T, A, B](prism: Prism_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from Prism_ to Fold_

implicit conversion from Prism_ to Fold_

final implicit def traversalToFold[S, T, A, B](traversal: Traversal_[S, T, A, B]): Fold_[S, T, A, B]

implicit conversion from Traversal_ to Fold_

implicit conversion from Traversal_ to Fold_