trait AppliedFold_[S, T, A, B] extends AppliedFold1[S, A]

Source
AppliedFold.scala
Linear Supertypes
AppliedFold1[S, A], AppliedFold0[S, A], AppliedGetter0[S, A], Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AppliedFold_
  2. AppliedFold1
  3. AppliedFold0
  4. AppliedGetter0
  5. Serializable
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract val optic: Fold_[S, T, A, B]
    Definition Classes
    AppliedFold_ → AppliedFold1 → AppliedFold0 → AppliedGetter0
  2. abstract val value: S
    Definition Classes
    AppliedFold_ → AppliedFold1 → AppliedFold0 → AppliedGetter0

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def and(implicit ev: Heyting[A]): A

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

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

    Definition Classes
    AppliedFold1
  5. final def andThen[C, D](other: Fold_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  6. final def andThen[C, D](other: Getter_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  7. final def andThen[C, D](other: ATraversal_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  8. final def andThen[C, D](other: Traversal_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  9. final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  10. final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  11. final def andThen[C, D](other: APrism_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  12. final def andThen[C, D](other: Prism_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  13. final def andThen[C, D](other: ALens_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  14. final def andThen[C, D](other: Lens_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  15. final def andThen[C, D](other: AnIso_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  16. final def andThen[C, D](other: Iso_[A, B, C, D]): AppliedFold_[S, T, C, D]

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

  17. final def any[R](f: (A) => R)(implicit arg0: Heyting[R]): R

    test whether a predicate holds for any focus of a Fold, using a spire.algebra.lattice.Heyting algebra

    test whether a predicate holds for any focus of a Fold, using a spire.algebra.lattice.Heyting algebra

    Definition Classes
    AppliedFold1
  18. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  19. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  20. final def contains(a: A)(implicit ev: Eq[A]): Boolean

    test whether the focus of a Getter contains a given value

    test whether the focus of a Getter contains a given value

    Definition Classes
    AppliedGetter0
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  23. def exists(f: (A) => Boolean): Boolean

    test whether a predicate holds for the focus of a Getter

    test whether a predicate holds for the focus of a Getter

    Definition Classes
    AppliedGetter0
  24. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  25. def find(f: (A) => Boolean): Option[A]

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

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

    Definition Classes
    AppliedGetter0
  26. final def first: Option[A]

    find the first focus of a Fold, if there is any.

    find the first focus of a Fold, if there is any. Synonym for preview

    Definition Classes
    AppliedFold1
  27. final def focus[C](f: (A) => C): AppliedFold_[S, T, C, C]

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

  28. final def fold(implicit ev: Monoid[A]): A

    fold the foci of a Fold using a cats.Monoid

    fold the foci of a Fold using a cats.Monoid

    Definition Classes
    AppliedFold1
  29. final def foldLeft[R](r: R)(f: (R, A) => R): R

    fold the foci of a Fold using a binary operator, going left to right

    fold the foci of a Fold using a binary operator, going left to right

    Definition Classes
    AppliedFold1
  30. def foldMap[R](f: (A) => R)(implicit arg0: Monoid[R]): R

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

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

    Definition Classes
    AppliedFold1
  31. final def foldRight[R](r: R)(f: (A, R) => R): R

    fold the foci of a Fold using a binary operator, going right to left

    fold the foci of a Fold using a binary operator, going right to left

    Definition Classes
    AppliedFold1
  32. def forall(f: (A) => Boolean): Boolean

    test whether there is no focus or a predicate holds for the focus of a Fold

    test whether there is no focus or a predicate holds for the focus of a Fold

    Definition Classes
    AppliedFold0
  33. final def forallH[R](f: (A) => R)(implicit arg0: Heyting[R]): R

    test whether there is no focus or a predicate holds for the focus of a Fold, using a spire.algebra.lattice.Heyting algebra

    test whether there is no focus or a predicate holds for the focus of a Fold, using a spire.algebra.lattice.Heyting algebra

    Definition Classes
    AppliedFold1
  34. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  35. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  36. final def intercalate(a: A)(implicit ev0: Monoid[A], ev1: <:<[S, Iterable[A]]): A

    intercalate/insert an element between the existing elements while folding

    intercalate/insert an element between the existing elements while folding

    Definition Classes
    AppliedFold1
  37. final def isEmpty: Boolean

    check if the Fold does not contain a focus

    check if the Fold does not contain a focus

    Definition Classes
    AppliedFold0
  38. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  39. final def last: Option[A]

    find the last focus of a Fold, if there is any

    find the last focus of a Fold, if there is any

    Definition Classes
    AppliedFold1
  40. final def length: Int

    the number of foci of a Fold

    the number of foci of a Fold

    Definition Classes
    AppliedFold1
  41. final def maximum(implicit ev: Order[A]): Option[A]

    the maximum of all foci of a Fold, if there is any

    the maximum of all foci of a Fold, if there is any

    Definition Classes
    AppliedFold1
  42. final def minimum(implicit ev: Order[A]): Option[A]

    the minimum of all foci of a Fold, if there is any

    the minimum of all foci of a Fold, if there is any

    Definition Classes
    AppliedFold1
  43. final def mkString(start: String, sep: String, end: String)(implicit ev: <:<[S, Iterable[A]]): String

    displays all foci of a Fold in a string using a start, end and a separator

    displays all foci of a Fold in a string using a start, end and a separator

    Definition Classes
    AppliedFold1
  44. final def mkString(sep: String)(implicit ev: <:<[S, Iterable[A]]): String

    displays all foci of a Fold in a string using a separator

    displays all foci of a Fold in a string using a separator

    Definition Classes
    AppliedFold1
  45. final def mkString()(implicit ev: <:<[S, Iterable[A]]): String

    displays all foci of a Fold in a string

    displays all foci of a Fold in a string

    Definition Classes
    AppliedFold1
  46. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. final def nonEmpty: Boolean

    check if the Fold contains a focus

    check if the Fold contains a focus

    Definition Classes
    AppliedFold0
  48. final def notContains(a: A)(implicit ev: Eq[A]): Boolean

    test whether the focus of a Getter does not contain a given value

    test whether the focus of a Getter does not contain a given value

    Definition Classes
    AppliedGetter0
  49. final def notExists(f: (A) => Boolean): Boolean

    test whether a predicate does not hold for the focus of a Getter

    test whether a predicate does not hold for the focus of a Getter

    Definition Classes
    AppliedGetter0
  50. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  51. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  52. final def or(implicit ev: Heyting[A]): A

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

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

    Definition Classes
    AppliedFold1
  53. final def preview: Option[A]

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

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

    Definition Classes
    AppliedFold0
  54. final def product(implicit ev: MultiplicativeMonoid[A]): A

    the product of all foci of a Fold

    the product of all foci of a Fold

    Definition Classes
    AppliedFold1
  55. final def sum(implicit ev: AdditiveMonoid[A]): A

    the sum of all foci of a Fold

    the sum of all foci of a Fold

    Definition Classes
    AppliedFold1
  56. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  57. final def toArray(implicit ev: ClassTag[A]): Array[A]

    collect all the foci of a Fold into an Array

    collect all the foci of a Fold into an Array

    Definition Classes
    AppliedFold1
  58. final def toList: List[A]

    synonym for viewAll

    synonym for viewAll

    Definition Classes
    AppliedFold1
  59. def toString(): String
    Definition Classes
    AnyRef → Any
  60. final def use(implicit ev: State[S, A]): State[S, List[A]]

    collect all the foci of a Fold in the state of a monad

    collect all the foci of a Fold in the state of a monad

    Definition Classes
    AppliedFold1
  61. def view(implicit ev: Monoid[A]): A

    synonym for fold

    synonym for fold

    Definition Classes
    AppliedFold1
  62. final def viewAll: List[A]

    collect all the foci of a Fold into aList

    collect all the foci of a Fold into aList

    Definition Classes
    AppliedFold1
  63. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  64. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  65. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from AppliedFold1[S, A]

Inherited from AppliedFold0[S, A]

Inherited from AppliedGetter0[S, A]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped