AppliedTraversalWithTraverseFocusElementOps

final case class AppliedTraversalWithTraverseFocusElementOps[F[_], S, T, A](appliedTraversal: AppliedTraversal_[S, T, F[A], F[A]]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

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

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

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

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

select all elements of a Traversal_ except first n ones

select all elements of a Traversal_ except first n ones

def dropWhile(predicate: A => Boolean)(implicit ev0: Applicative[[_] =>> State[Boolean, _$21]], ev1: Traverse[F]): AppliedTraversal_[S, T, A, A]

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

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

def optic: Traversal_[S, T, F[A], F[A]]
def take(i: Int)(implicit ev: Traverse[F]): AppliedTraversal_[S, T, A, A]

select the first n elements of a Traversal_

select the first n elements of a Traversal_

def takeWhile(predicate: A => Boolean)(implicit ev0: Applicative[[_] =>> State[Boolean, _$20]], ev1: Traverse[F]): AppliedTraversal_[S, T, A, A]

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

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

def value: S

Inherited methods

Inherited from:
Product