abstract class IndexedFold_[I, S, T, A, B] extends IndexedFold0[I, S, A]

A IndexedFold_ is a generalization of something Foldable. It describes how to retrieve multiple values and thier indices.

A IndexedFold_ is similar to a IndexedTraversal_, but it cannot modify its foci.

An IndexedFold_ is an indexed optic with fixed type proptics.internal.Forget cats.arrow.Profunctor

I

the index of an IndexedFold_

S

the source of an IndexedFold_

T

the modified source of an IndexedFold_

A

the foci of an IndexedFold_

B

the modified foci of an IndexedFold_

Self Type
IndexedFold_[I, S, T, A, B]
Source
IndexedFold.scala
Linear Supertypes
IndexedFold0[I, S, A], FoldInstances, IndexedGetter0[I, S, A], Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IndexedFold_
  2. IndexedFold0
  3. FoldInstances
  4. IndexedGetter0
  5. Serializable
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new IndexedFold_()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def *>>[J, C, D](other: IndexedFold_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose IndexedFold_ with an IndexedFold_, while preserving the indices of the other optic

  4. final def *>>[J, C, D](other: IndexedGetter_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose IndexedFold_ with an IndexedGetter_, while preserving the indices of the other optic

  5. final def *>>[J, C, D](other: IndexedTraversal_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose IndexedFold_ with an IndexedTraversal_, while preserving the indices of the other optic

  6. final def *>>[J, C, D](other: AnIndexedLens_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose IndexedFold_ with an AnIndexedLens_, while preserving the indices of the other optic

  7. final def *>>[J, C, D](other: IndexedLens_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose IndexedFold_ with an IndexedLens_, while preserving the indices of the other optic

  8. final def <<*[C, D](other: IndexedFold_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedFold_, while preserving self indices

  9. final def <<*[C, D](other: IndexedGetter_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedGetter_, while preserving self indices

  10. final def <<*[C, D](other: IndexedTraversal_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedTraversal_, while preserving self indices

  11. final def <<*[C, D](other: AnIndexedLens_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an AnIndexedLens_, while preserving self indices

  12. final def <<*[C, D](other: IndexedLens_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedLens_, while preserving self indices

  13. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. final def and(s: S)(implicit ev: Heyting[A]): A

    return the result of a conjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    return the result of a conjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    Definition Classes
    IndexedFold0
  15. final def andThen[C, D](other: Fold_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with a Fold_, having this IndexedFold_ applied first

  16. final def andThen[C, D](other: Getter_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with a Getter_, having this IndexedFold_ applied first

  17. final def andThen[C, D](other: ATraversal_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an ATraversal_, having this IndexedFold_ applied first

  18. final def andThen[C, D](other: Traversal_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an Traversal_, having this IndexedFold_ applied first

  19. final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an AffineTraversal_, having this IndexedFold_ applied first

  20. final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an AffineTraversal_, having this IndexedFold_ applied first

  21. final def andThen[C, D](other: APrism_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an APrism_, having this IndexedFold_ applied first

  22. final def andThen[C, D](other: Prism_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an Prism_, having this IndexedFold_ applied first

  23. final def andThen[C, D](other: ALens_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an ALens_, having this IndexedFold_ applied first

  24. final def andThen[C, D](other: Lens_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an Lens_, having this IndexedFold_ applied first

  25. final def andThen[C, D](other: AnIso_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an AnIso_, having this IndexedFold_ applied first

  26. final def andThen[C, D](other: Iso_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an Iso_, having this IndexedFold_ applied first

  27. final def andThenWithLeftIndex[C, D](other: IndexedFold_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedFold_, while preserving self indices

  28. final def andThenWithLeftIndex[C, D](other: IndexedGetter_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedGetter_, while preserving self indices

  29. final def andThenWithLeftIndex[C, D](other: IndexedTraversal_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedTraversal_, while preserving self indices

  30. final def andThenWithLeftIndex[C, D](other: AnIndexedLens_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an AnIndexedLens_, while preserving self indices

  31. final def andThenWithLeftIndex[C, D](other: IndexedLens_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with an IndexedLens_, while preserving self indices

  32. final def andThenWithRightIndex[J, C, D](other: IndexedFold_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedFold_ with an IndexedFold_, while preserving the indices of the other optic

  33. final def andThenWithRightIndex[J, C, D](other: IndexedGetter_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedFold_ with an IndexedGetter_, while preserving the indices of the other optic

  34. final def andThenWithRightIndex[J, C, D](other: IndexedTraversal_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedFold_ with an IndexedTraversal_, while preserving the indices of the other optic

  35. final def andThenWithRightIndex[J, C, D](other: AnIndexedLens_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedFold_ with an AnIndexedLens_, while preserving the indices of the other optic

  36. final def andThenWithRightIndex[J, C, D](other: IndexedLens_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedFold_ with an IndexedLens_, while preserving the indices of the other optic

  37. final def any[F[_], R](s: S)(f: ((A, I)) => R)(implicit arg0: Heyting[R]): R

    test whether a predicate holds for any focus and index of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    test whether a predicate holds for any focus and index of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    Definition Classes
    IndexedFold0
  38. final def asFold: Fold_[S, T, A, B]

    transform an IndexedFold_ to a Fold_

  39. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  40. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  41. final def compose[C, D](other: Fold_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with a Fold_, having this IndexedFold_ applied last

  42. final def compose[C, D](other: Getter_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with a Getter_, having this IndexedFold_ applied last

  43. final def compose[C, D](other: ATraversal_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an ATraversal_, having this IndexedFold_ applied last

  44. final def compose[C, D](other: Traversal_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an Traversal_, having this IndexedFold_ applied last

  45. final def compose[C, D](other: AnAffineTraversal_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an AffineTraversal_, having this IndexedFold_ applied last

  46. final def compose[C, D](other: AffineTraversal_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an AffineTraversal_, having this IndexedFold_ applied last

  47. final def compose[C, D](other: APrism_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an APrism_, having this IndexedFold_ applied last

  48. final def compose[C, D](other: Prism_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an Prism_, having this IndexedFold_ applied last

  49. final def compose[C, D](other: ALens_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an ALens_, having this IndexedFold_ applied last

  50. final def compose[C, D](other: Lens_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an Lens_, having this IndexedFold_ applied last

  51. final def compose[C, D](other: AnIso_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an AnIso_, having this IndexedFold_ applied last

  52. final def compose[C, D](other: Iso_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this IndexedFold_ with an Iso_, having this IndexedFold_ applied last

  53. final def contains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean

    test whether a focus at specific index of an IndexedGetter contains a given value

    test whether a focus at specific index of an IndexedGetter contains a given value

    Definition Classes
    IndexedGetter0
  54. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  55. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  56. final def exists(f: ((A, I)) => Boolean): (S) => Boolean

    test whether a predicate holds for the focus of an IndexedGetter

    test whether a predicate holds for the focus of an IndexedGetter

    Definition Classes
    IndexedFold0 → IndexedGetter0
  57. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  58. final def find(f: ((A, I)) => Boolean): (S) => Option[(A, I)]

    find the first focus of an IndexedFold that satisfies a predicate, if there is any

    find the first focus of an IndexedFold that satisfies a predicate, if there is any

    Definition Classes
    IndexedFold0 → IndexedGetter0
  59. final def first(s: S): Option[(A, I)]

    synonym for preview

    synonym for preview

    Definition Classes
    IndexedFold0
  60. final def focus[C, D](f: (A) => C): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with a function lifted to a Getter_, having this IndexedFold_ applied first

  61. final def fold(s: S)(implicit ev: Monoid[A]): A

    fold the foci of a IndexedFold using a cats.Monoid

    fold the foci of a IndexedFold using a cats.Monoid

    Definition Classes
    IndexedFold0
  62. final def foldLeft[R](s: S)(r: R)(f: (R, (A, I)) => R): R

    fold the foci and indices of an IndexedFold using a binary operator, going left to right

    fold the foci and indices of an IndexedFold using a binary operator, going left to right

    Definition Classes
    IndexedFold0
  63. final def foldMap[R](s: S)(f: ((A, I)) => R)(implicit arg0: Monoid[R]): R

    map each focus of an IndexedFold_ to a cats.Monoid, and combine the results

    map each focus of an IndexedFold_ to a cats.Monoid, and combine the results

    Definition Classes
    IndexedFold_ → IndexedFold0
  64. final def foldRight[R](s: S)(r: R)(f: ((A, I), R) => R): R

    fold the foci and indices of an IndexedFold using a binary operator, going right to left

    fold the foci and indices of an IndexedFold using a binary operator, going right to left

    Definition Classes
    IndexedFold0
  65. final def forall[R](s: S)(f: ((A, I)) => R)(implicit arg0: Heyting[R]): R

    test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    Definition Classes
    IndexedFold0
  66. final def forall(f: ((A, I)) => Boolean): (S) => Boolean

    test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold

    test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold

    Definition Classes
    IndexedFold0
  67. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  68. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  69. final def isEmpty(s: S): Boolean

    check if the IndexedFold does not contain a focus

    check if the IndexedFold does not contain a focus

    Definition Classes
    IndexedFold0
  70. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  71. final def last(s: S): Option[(A, I)]

    find the last focus and index of an IndexedFold that satisfies a predicate, if there is any

    find the last focus and index of an IndexedFold that satisfies a predicate, if there is any

    Definition Classes
    IndexedFold0
  72. final def length(s: S): Int

    the number of foci of an IndexedFold

    the number of foci of an IndexedFold

    Definition Classes
    IndexedFold0
  73. final def maximum(s: S)(implicit ev: Order[A]): Option[A]

    the maximum of all foci of an IndexedFold, if there is any

    the maximum of all foci of an IndexedFold, if there is any

    Definition Classes
    IndexedFold0
  74. final def minimum(s: S)(implicit ev: Order[A]): Option[A]

    the minimum of all foci of an IndexedFold, if there is any

    the minimum of all foci of an IndexedFold, if there is any

    Definition Classes
    IndexedFold0
  75. implicit def monoidBooleanDisj: Monoid[Disj[Boolean]]
    Definition Classes
    FoldInstances
  76. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  77. final def nonEmpty(s: S): Boolean

    check if the IndexedFold contains a focus

    check if the IndexedFold contains a focus

    Definition Classes
    IndexedFold0
  78. final def notContains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean

    test whether a focus at specific index of an IndexedGetter does not contain a given value

    test whether a focus at specific index of an IndexedGetter does not contain a given value

    Definition Classes
    IndexedGetter0
  79. final def notExists(f: ((A, I)) => Boolean): (S) => Boolean

    test whether a predicate does not hold for the focus of an IndexedGetter

    test whether a predicate does not hold for the focus of an IndexedGetter

    Definition Classes
    IndexedGetter0
  80. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  81. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  82. final def or(s: S)(implicit ev: Heyting[A]): A

    return the result of a disjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    return the result of a disjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra

    Definition Classes
    IndexedFold0
  83. final def preview(s: S): Option[(A, I)]

    view the first focus of a Fold, if there is any

    view the first focus of a Fold, if there is any

    Definition Classes
    IndexedFold0
  84. final def product(s: S)(implicit ev: MultiplicativeMonoid[A]): A

    the product of all foci of an IndexedFold

    the product of all foci of an IndexedFold

    Definition Classes
    IndexedFold0
  85. final def reindex[J](f: (I) => J): IndexedFold_[J, S, T, A, B]

    remap the index, resulting in a change of type to the full structure

  86. final def sum(s: S)(implicit ev: AdditiveMonoid[A]): A

    the sum of all foci of an IndexedFold

    the sum of all foci of an IndexedFold

    Definition Classes
    IndexedFold0
  87. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  88. final def toArray(s: S)(implicit ev0: ClassTag[A]): Array[A]

    collect all the foci of an IndexedFold into an Array

    collect all the foci of an IndexedFold into an Array

    Definition Classes
    IndexedFold0
  89. final def toList(s: S): List[A]

    collect all the foci of an IndexedFold into aList

    collect all the foci of an IndexedFold into aList

    Definition Classes
    IndexedFold0
  90. def toString(): String
    Definition Classes
    AnyRef → Any
  91. final def toWithIndex[C, D](f: (A) => (C, I)): IndexedFold_[I, S, T, C, D]

    compose this IndexedFold_ with a function lifted to an IndexedGetter_

  92. final def unIndex: Fold_[S, T, A, B]

    synonym for asFold

  93. final def use(implicit ev: State[S, A]): State[S, List[(A, I)]]

    view the focus and the index of an IndexedFold in the state of a monad

    view the focus and the index of an IndexedFold in the state of a monad

    Definition Classes
    IndexedFold0
  94. final def view(s: S)(implicit ev: Monoid[A]): A

    synonym for fold

  95. final def viewAll(s: S): List[(A, I)]

    collect all the foci of an IndexedFold into a List

    collect all the foci of an IndexedFold into a List

    Definition Classes
    IndexedFold0
  96. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  97. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  98. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from IndexedFold0[I, S, A]

Inherited from FoldInstances

Inherited from IndexedGetter0[I, S, A]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped