Proptics core/proptics.syntax/IndexedTraversalSequenceOps

IndexedTraversalSequenceOps

final case class IndexedTraversalSequenceOps[F[_], I, S, T, A](iso: IndexedTraversal_[I, S, T, F[A], A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def sequence(s: S)(implicit ev: Applicative[F]): F[T]

invert a structure of S containing F[(I, A)] to F[T], a structure T containing A's inside an Applicative Functor

invert a structure of S containing F[(I, A)] to F[T], a structure T containing A's inside an Applicative Functor

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product