Proptics core/proptics/Fold

Fold

object Fold
class Object
trait Matchable
class Any
Fold.type

Value members

Concrete methods

final def apply[S, A](f: S => A): Fold[S, A]

create a monomorphic Fold from a getter function

create a monomorphic Fold from a getter function

final def both[G[_, _] : Bifoldable, A]: Fold[G[A, A], A]

fold both parts of a cats.Bifoldable with matching types

fold both parts of a cats.Bifoldable with matching types

final def drop[G[_] : Foldable, A](i: Int): Fold[G[A], A]

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

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

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

create a monomorphic Fold that drop longest prefix of elements of a Foldable that satisfy a predicate

create a monomorphic Fold that drop longest prefix of elements of a Foldable that satisfy a predicate

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

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

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

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

create a monomorphic Fold using a Fold to filter out elements of future optics composed with this Fold_

create a monomorphic Fold using a Fold to filter out elements of future optics composed with this Fold_

final def fromFoldable[F[_] : Foldable, A]: Fold[F[A], A]

create a monomorphic Fold from cats.Foldable

create a monomorphic Fold from cats.Foldable

final def has[S, A](fold: Fold[S, A]): S => Boolean

check to see if a Fold matches one or more entries

check to see if a Fold matches one or more entries

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

monomorphic identity of a Fold

monomorphic identity of a Fold

final def single[F[_] : Foldable, A](i: Int): Fold[F[A], A]

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

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

final def take[G[_] : Foldable, A](i: Int): Fold[G[A], A]

create a monomorphic Fold that selects the first n elements of a Foldable

create a monomorphic Fold that selects the first n elements of a Foldable

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

create a monomorphic Fold that takes the longest prefix of elements of a Foldable that satisfy a predicate

create a monomorphic Fold that takes the longest prefix of elements of a Foldable that satisfy a predicate