Proptics core/proptics.syntax.applied/AppliedFoldWithFoldableFocusElementOps

AppliedFoldWithFoldableFocusElementOps

final case class AppliedFoldWithFoldableFocusElementOps[F[_], S, T, A](appliedFold: AppliedFold_[S, T, F[A], F[A]]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def andThenFold(implicit ev: Foldable[F]): AppliedFold_[S, T, A, A]

compose this Fold with a Fold, having this Fold applied first

compose this Fold with a Fold, having this Fold applied first

def andThenTraverse(implicit ev: Traverse[F]): AppliedFold_[S, T, A, A]

compose this Fold with a Traversal, having this Fold applied first

compose this Fold with a Traversal, having this Fold applied first

def drop(i: Int)(implicit ev: Traverse[F]): AppliedFold_[S, T, A, A]

select all elements of a Fold except first n ones

select all elements of a Fold except first n ones

def dropWhile(predicate: A => Boolean)(implicit ev0: Applicative[[_] =>> State[Boolean, _$10]], ev1: Foldable[F]): AppliedFold_[S, T, A, A]

drop longest prefix of elements of a Fold that satisfy a predicate

drop longest prefix of elements of a Fold that satisfy a predicate

def optic: Fold_[S, T, F[A], F[A]]
def take(i: Int)(implicit ev: Foldable[F]): AppliedFold_[S, T, A, A]

select the first n elements of a Fold

select the first n elements of a Fold

def takeWhile(predicate: A => Boolean)(implicit ev0: Applicative[[_] =>> State[Boolean, _$9]], ev1: Foldable[F]): AppliedFold_[S, T, A, A]

take longest prefix of elements of a Fold that satisfy a predicate

take longest prefix of elements of a Fold that satisfy a predicate

def value: S

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product