Proptics core/proptics.internal/IndexedTraversal0

IndexedTraversal0

trait IndexedTraversal0[I, S, T, A, B] extends IndexedSetter0[I, S, T, A, B]
trait IndexedSetter0[I, S, T, A, B]
class Object
trait Matchable
class Any
trait IndexedTraversal1[I, S, T, A, B]
class IndexedTraversal_[I, S, T, A, B]

Value members

Abstract methods

def traverse[F[_] : Applicative](s: S)(f: (A, I) => F[B]): F[T]

modify each focus of a Traversal using a Functor, resulting in a change of type to the full structure

modify each focus of a Traversal using a Functor, resulting in a change of type to the full structure

Concrete methods

protected def foldMap[R : Monoid](s: S)(f: (A, I) => R): R
final def overF[F[_] : Applicative](f: (A, I) => F[B])(s: S): F[T]

synonym for traverse, flipped

synonym for traverse, flipped

Inherited methods

def over(f: (A, I) => B): S => T

modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure

modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure

Inherited from:
IndexedSetter0
final def set(b: B): S => T

set the modified focus of an IndexedSetter

set the modified focus of an IndexedSetter

Inherited from:
IndexedSetter0