Proptics core/proptics/IndexedFold_

IndexedFold_

object IndexedFold_
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

final def apply[I, S, T, A, B](get: S => (A, I)): IndexedFold_[I, S, T, A, B]

create a polymorphic IndexedFold_ from a getter function

create a polymorphic IndexedFold_ from a getter function

final def fromFoldable[F[_], A, B](implicit ev0: Foldable[F]): IndexedFold_[Int, F[A], F[B], A, B]

create a polymorphic IndexedFold_ from Foldable that has an index ot type Int

create a polymorphic IndexedFold_ from Foldable that has an index ot type Int

final def fromFoldableWithIndex[F[_], I, A, B](implicit ev: FoldableWithIndex[F, I]): IndexedFold_[I, F[A], F[B], A, B]

Implicits

Implicits

implicit def anIndexedLensToIndexedFold[I, S, T, A, B](anIndexedLens: AnIndexedLens_[I, S, T, A, B]): IndexedFold_[I, S, T, A, B]

implicit conversion from AnIndexedLens_ to IndexedFold_

implicit conversion from AnIndexedLens_ to IndexedFold_

implicit def indexedGetterToIndexedFold[I, S, T, A, B](indexedGetter: IndexedGetter_[I, S, T, A, B]): IndexedFold_[I, S, T, A, B]

implicit conversion from IndexedGetter_ to IndexedFold_

implicit conversion from IndexedGetter_ to IndexedFold_

implicit def indexedLensToIndexedFold[I, S, T, A, B](indexedLens: IndexedLens_[I, S, T, A, B]): IndexedFold_[I, S, T, A, B]

implicit conversion from IndexedLens_ to IndexedFold_

implicit conversion from IndexedLens_ to IndexedFold_

implicit def indexedTraversalToIndexedFold[I, S, T, A, B](indexedTraversal: IndexedTraversal_[I, S, T, A, B]): IndexedFold_[I, S, T, A, B]

implicit conversion from Traversal_ to IndexedFold_

implicit conversion from Traversal_ to IndexedFold_