Trait/Object

zio.prelude.coherent

DeriveEqualNonEmptyForEach

Related Docs: object DeriveEqualNonEmptyForEach | package coherent

Permalink

trait DeriveEqualNonEmptyForEach[F[+_]] extends DeriveEqualForEach[F] with NonEmptyForEach[F]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DeriveEqualNonEmptyForEach
  2. NonEmptyForEach
  3. DeriveEqualForEach
  4. ForEach
  5. CovariantDeriveEqual
  6. Derive
  7. Covariant
  8. Invariant
  9. CovariantSubset
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def derive[A](implicit arg0: Equal[A]): Equal[F[A]]

    Permalink
    Definition Classes
    Derive
  2. abstract def forEach1[G[+_], A, B](fa: F[A])(f: (A) ⇒ G[B])(implicit arg0: AssociativeBoth[G], arg1: Covariant[G]): G[F[B]]

    Permalink

    Traverse each element in the collection using the specified effectual function f, returning a new collection with the results in the context of the effect.

    Traverse each element in the collection using the specified effectual function f, returning a new collection with the results in the context of the effect.

    Definition Classes
    NonEmptyForEach

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def compose[G[+_]](implicit arg0: ForEach[G]): ForEach[[+A]F[G[A]]]

    Permalink
    Definition Classes
    ForEach
  7. final def compose[G[-_]](implicit g: Contravariant[G]): Contravariant[[-A]F[G[A]]]

    Permalink

    Compose covariant and contravariant functors.

    Compose covariant and contravariant functors.

    Definition Classes
    Covariant
  8. final def compose[G[+_]](implicit g: Covariant[G]): Covariant[[+A]F[G[A]]]

    Permalink

    Compose two covariant functors.

    Compose two covariant functors.

    Definition Classes
    Covariant
  9. final def compose[G[_]](implicit g: Invariant[G]): Invariant[[A]F[G[A]]]

    Permalink

    Compose two invariant functors.

    Compose two invariant functors.

    Definition Classes
    Invariant
  10. def compositionLaw[A, B, C](fa: F[A], f: <=>[A, B], g: <=>[B, C])(implicit equal: Equal[F[C]]): Boolean

    Permalink
    Definition Classes
    Invariant
  11. def contains[A, A1 >: A](fa: F[A])(a: A1)(implicit A: Equal[A1]): Boolean

    Permalink

    Returns whether the collection contains the specified element.

    Returns whether the collection contains the specified element.

    Definition Classes
    ForEach
  12. def count[A](fa: F[A])(f: (A) ⇒ Boolean): Int

    Permalink

    Returns the number of elements in the collection that satisfy the specified predicate.

    Returns the number of elements in the collection that satisfy the specified predicate.

    Definition Classes
    ForEach
  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  15. def exists[A](fa: F[A])(f: (A) ⇒ Boolean): Boolean

    Permalink

    Returns whether any element of the collection satisfies the specified predicate.

    Returns whether any element of the collection satisfies the specified predicate.

    Definition Classes
    ForEach
  16. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def find[A](fa: F[A])(f: (A) ⇒ Boolean): Option[A]

    Permalink

    Returns the first element in the collection satisfying the specified predicate if one exists or None otherwise.

    Returns the first element in the collection satisfying the specified predicate if one exists or None otherwise.

    Definition Classes
    ForEach
  18. def flip[G[+_], A](fa: F[G[A]])(implicit arg0: IdentityBoth[G], arg1: Covariant[G]): G[F[A]]

    Permalink

    Converts a collection with elements that are in the context of effects to a collection of elements in the context of an effect.

    Converts a collection with elements that are in the context of effects to a collection of elements in the context of an effect.

    Definition Classes
    ForEach
  19. def flip1[G[+_], A](fa: F[G[A]])(implicit arg0: AssociativeBoth[G], arg1: Covariant[G]): G[F[A]]

    Permalink

    Converts a collection with elements that are in the context of effects to a collection of elements in the context of an effect.

    Converts a collection with elements that are in the context of effects to a collection of elements in the context of an effect.

    Definition Classes
    NonEmptyForEach
  20. def fold[A](fa: F[A])(implicit arg0: Identity[A]): A

    Permalink

    Folds over the elements of this collection using an associative operation and an identity.

    Folds over the elements of this collection using an associative operation and an identity. Alias for reduceIdentity.

    Definition Classes
    ForEach
  21. def foldLeft[S, A](fa: F[A])(s: S)(f: (S, A) ⇒ S): S

    Permalink

    Folds over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.

    Folds over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.

    Definition Classes
    ForEach
  22. def foldLeftM[G[+_], S, A](fa: F[A])(s: S)(f: (S, A) ⇒ G[S])(implicit arg0: IdentityFlatten[G], arg1: Covariant[G]): G[S]

    Permalink

    Effectually fold over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.

    Effectually fold over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.

    Definition Classes
    ForEach
  23. def foldMap[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Identity[B]): B

    Permalink

    Maps each element of the collection to a type B for which an Identity is defined using the function f, then reduces those values to a single summary using the combine operation of Identity, or the identity element if the collection is empty.

    Maps each element of the collection to a type B for which an Identity is defined using the function f, then reduces those values to a single summary using the combine operation of Identity, or the identity element if the collection is empty.

    Definition Classes
    ForEach
  24. def foldMapM[G[+_], A, B](fa: F[A])(f: (A) ⇒ G[B])(implicit arg0: Covariant[G], arg1: IdentityFlatten[G], arg2: Identity[B]): G[B]

    Permalink

    Effectfully maps each element of the collection to a type B for which an Identity is defined using the function f, then reduces those values to a single summary using the combine operation of Identity, or the identity element if the collection is empty.

    Effectfully maps each element of the collection to a type B for which an Identity is defined using the function f, then reduces those values to a single summary using the combine operation of Identity, or the identity element if the collection is empty.

    Definition Classes
    ForEach
  25. def foldRight[S, A](fa: F[A])(s: S)(f: (A, S) ⇒ S): S

    Permalink

    Folds over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.

    Folds over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.

    Definition Classes
    ForEach
  26. def foldRightM[G[+_], S, A](fa: F[A])(s: S)(f: (A, S) ⇒ G[S])(implicit arg0: IdentityFlatten[G], arg1: Covariant[G]): G[S]

    Permalink

    Effectually fold over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.

    Effectually fold over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.

    Definition Classes
    ForEach
  27. def forEach[G[+_], A, B](fa: F[A])(f: (A) ⇒ G[B])(implicit arg0: IdentityBoth[G], arg1: Covariant[G]): G[F[B]]

    Permalink

    Traverse each element in the collection using the specified effectual function f, returning a new collection with the results in the context of the effect.

    Traverse each element in the collection using the specified effectual function f, returning a new collection with the results in the context of the effect.

    Definition Classes
    NonEmptyForEachForEach
  28. def forEach1_[G[+_], A](fa: F[A])(f: (A) ⇒ G[Any])(implicit arg0: AssociativeBoth[G], arg1: Covariant[G]): G[Unit]

    Permalink

    Traverses each element in the collection with the specified effectual function f purely for its effects.

    Traverses each element in the collection with the specified effectual function f purely for its effects.

    Definition Classes
    NonEmptyForEach
  29. def forEach_[G[+_], A](fa: F[A])(f: (A) ⇒ G[Any])(implicit arg0: IdentityBoth[G], arg1: Covariant[G]): G[Unit]

    Permalink

    Traverses each element in the collection with the specified effectual function f purely for its effects.

    Traverses each element in the collection with the specified effectual function f purely for its effects.

    Definition Classes
    ForEach
  30. def forall[A](fa: F[A])(f: (A) ⇒ Boolean): Boolean

    Permalink

    Returns whether any element of the collection satisfies the specified predicate.

    Returns whether any element of the collection satisfies the specified predicate.

    Definition Classes
    ForEach
  31. def fproduct[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[(A, B)]

    Permalink
    Definition Classes
    Covariant
  32. def fproductLeft[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[(B, A)]

    Permalink
    Definition Classes
    Covariant
  33. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  34. def groupByNonEmpty[V, K](fa: F[V])(f: (V) ⇒ K): Map[K, NonEmptyChunk[V]]

    Permalink
    Definition Classes
    ForEach
  35. def groupByNonEmptyM[G[+_], V, K](fa: F[V])(f: (V) ⇒ G[K])(implicit arg0: IdentityBoth[G], arg1: Covariant[G]): G[Map[K, NonEmptyChunk[V]]]

    Permalink
    Definition Classes
    ForEach
  36. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  37. def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean

    Permalink
    Definition Classes
    Invariant
  38. final def invmap[A, B](f: <=>[A, B]): <=>[F[A], F[B]]

    Permalink
    Definition Classes
    CovariantInvariant
  39. def isEmpty[A](fa: F[A]): Boolean

    Permalink

    Returns whether the collection is empty.

    Returns whether the collection is empty.

    Definition Classes
    ForEach
  40. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  41. def map[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[B]

    Permalink

    Lifts a function operating on values to a function that operates on each element of a collection.

    Lifts a function operating on values to a function that operates on each element of a collection.

    Definition Classes
    ForEachCovariant
  42. def mapAccum[S, A, B](fa: F[A])(s: S)(f: (S, A) ⇒ (S, B)): (S, F[B])

    Permalink

    Statefully maps over the elements of the collection, maintaining some state along the way and returning the final state along with the new collection.

    Statefully maps over the elements of the collection, maintaining some state along the way and returning the final state along with the new collection.

    Definition Classes
    ForEach
  43. final def mapSubset[A, B](f: (A) ⇒ B)(implicit arg0: AnyType[B]): (F[A]) ⇒ F[B]

    Permalink
    Definition Classes
    CovariantCovariantSubset
  44. def max[A](fa: F[A])(implicit arg0: Ord[A]): A

    Permalink

    Returns the largest value in the collection if one exists or None otherwise.

    Returns the largest value in the collection if one exists or None otherwise.

    Definition Classes
    NonEmptyForEach
  45. def maxBy[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Ord[B]): A

    Permalink

    Returns the largest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Returns the largest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Definition Classes
    NonEmptyForEach
  46. def maxByOption[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Ord[B]): Option[A]

    Permalink

    Returns the largest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Returns the largest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Definition Classes
    ForEach
  47. def maxOption[A](fa: F[A])(implicit arg0: Ord[A]): Option[A]

    Permalink

    Returns the largest value in the collection if one exists or None otherwise.

    Returns the largest value in the collection if one exists or None otherwise.

    Definition Classes
    ForEach
  48. def min[A](fa: F[A])(implicit arg0: Ord[A]): A

    Permalink

    Returns the smallest value in the collection if one exists or None otherwise.

    Returns the smallest value in the collection if one exists or None otherwise.

    Definition Classes
    NonEmptyForEach
  49. def minBy[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Ord[B]): A

    Permalink

    Returns the smallest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Returns the smallest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Definition Classes
    NonEmptyForEach
  50. def minByOption[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Ord[B]): Option[A]

    Permalink

    Returns the smallest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Returns the smallest element in the collection if one exists, using the function f to map each element to a type for which an Ord is defined, or None otherwise.

    Definition Classes
    ForEach
  51. def minOption[A](fa: F[A])(implicit arg0: Ord[A]): Option[A]

    Permalink

    Returns the smallest value in the collection if one exists or None otherwise.

    Returns the smallest value in the collection if one exists or None otherwise.

    Definition Classes
    ForEach
  52. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  53. def nonEmpty[A](fa: F[A]): Boolean

    Permalink

    Returns whether the collection contains at least one element

    Returns whether the collection contains at least one element

    Definition Classes
    ForEach
  54. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  55. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  56. def product[A](fa: F[A])(implicit ev: Identity[Prod[A]]): A

    Permalink

    Returns the product of all elements in the collection.

    Returns the product of all elements in the collection.

    Definition Classes
    ForEach
  57. def reduce1[A](fa: F[A])(implicit arg0: Associative[A]): A

    Permalink

    Reduces the non-empty collection of associative elements.

    Reduces the non-empty collection of associative elements.

    Definition Classes
    NonEmptyForEach
  58. def reduceAll[A](fa: F[A])(f: (A, A) ⇒ A): A

    Permalink

    Reduces the collection to a summary value using the binary function f.

    Reduces the collection to a summary value using the binary function f.

    Definition Classes
    NonEmptyForEach
  59. def reduceAssociative[A](fa: F[A])(implicit arg0: Associative[A]): Option[A]

    Permalink

    Reduces the collection to a summary value using the associative operation, returning None if the collection is empty.

    Reduces the collection to a summary value using the associative operation, returning None if the collection is empty.

    Definition Classes
    ForEach
  60. def reduceIdempotent[A](fa: F[A])(implicit arg0: Idempotent[A], arg1: Equal[A]): Option[A]

    Permalink

    Reduces the collection to a summary value using the idempotent operation, returning None if the collection is empty.

    Reduces the collection to a summary value using the idempotent operation, returning None if the collection is empty.

    Definition Classes
    ForEach
  61. def reduceIdempotent1[A](fa: F[A])(implicit arg0: Idempotent[A], arg1: Equal[A]): A

    Permalink

    Reduces the collection to a summary value using the idempotent operation, returning None if the collection is empty.

    Reduces the collection to a summary value using the idempotent operation, returning None if the collection is empty.

    Definition Classes
    NonEmptyForEach
  62. def reduceIdentity[A](fa: F[A])(implicit arg0: Identity[A]): A

    Permalink

    Reduces the collection to a summary value using the associative operation.

    Reduces the collection to a summary value using the associative operation. Alias for fold.

    Definition Classes
    ForEach
  63. def reduceMap[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Associative[B]): B

    Permalink

    Maps each element of the collection to a type B for which a combine operation is defined using the function f and then reduces those values to a single summary using the combine operation.

    Maps each element of the collection to a type B for which a combine operation is defined using the function f and then reduces those values to a single summary using the combine operation.

    Definition Classes
    NonEmptyForEach
  64. def reduceMapLeft[A, B](fa: F[A])(map: (A) ⇒ B)(reduce: (B, A) ⇒ B): B

    Permalink

    Reduces the elements of this collection from left to right using the function map to transform the first value to the type B and then the function reduceAll to combine the B value with each other A value.

    Reduces the elements of this collection from left to right using the function map to transform the first value to the type B and then the function reduceAll to combine the B value with each other A value.

    Definition Classes
    NonEmptyForEach
  65. def reduceMapOption[A, B](fa: F[A])(f: (A) ⇒ B)(implicit arg0: Associative[B]): Option[B]

    Permalink

    Maps each element of the collection to a type B for which an associative operation exists and then reduces the values using the associative operation, returning None if the collection is empty.

    Maps each element of the collection to a type B for which an associative operation exists and then reduces the values using the associative operation, returning None if the collection is empty.

    Definition Classes
    ForEach
  66. def reduceMapRight[A, B](fa: F[A])(map: (A) ⇒ B)(reduce: (A, B) ⇒ B): B

    Permalink

    Reduces the elements of this colection from right to left using the function map to transform the first value to the type B and then the function reduceAll to combine the B value with each other A value.

    Reduces the elements of this colection from right to left using the function map to transform the first value to the type B and then the function reduceAll to combine the B value with each other A value.

    Definition Classes
    NonEmptyForEach
  67. def reduceOption[A](fa: F[A])(f: (A, A) ⇒ A): Option[A]

    Permalink

    Reduces the collection to a summary value using the binary function f, returning None if the collection is empty.

    Reduces the collection to a summary value using the binary function f, returning None if the collection is empty.

    Definition Classes
    ForEach
  68. def reverse[A](fa: F[A]): F[A]

    Permalink

    Reverses the order of elements in the collection.

    Reverses the order of elements in the collection.

    Definition Classes
    ForEach
  69. def size[A](fa: F[A]): Int

    Permalink

    Returns the number of elements in the collection.

    Returns the number of elements in the collection.

    Definition Classes
    ForEach
  70. def sum[A](fa: F[A])(implicit ev: Identity[Sum[A]]): A

    Permalink

    Returns the sum of all elements in the collection.

    Returns the sum of all elements in the collection.

    Definition Classes
    ForEach
  71. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  72. def toChunk[A](fa: F[A]): Chunk[A]

    Permalink

    Converts the collection to a Chunk.

    Converts the collection to a Chunk.

    Definition Classes
    ForEach
  73. def toList[A](fa: F[A]): List[A]

    Permalink

    Converts the collection to a List.

    Converts the collection to a List.

    Definition Classes
    ForEach
  74. def toNonEmptyChunk[A](fa: F[A]): NonEmptyChunk[A]

    Permalink

    Converts the collection to a NonEmptyChunk.

    Converts the collection to a NonEmptyChunk.

    Definition Classes
    NonEmptyForEach
  75. def toNonEmptyList[A](fa: F[A]): NonEmptyList[A]

    Permalink

    Converts the collection to a NonEmptyList.

    Converts the collection to a NonEmptyList.

    Definition Classes
    NonEmptyForEach
  76. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  77. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  78. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  79. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  80. def zipWithIndex[A](fa: F[A]): F[(A, Int)]

    Permalink

    Zips each element of the collection with its index.

    Zips each element of the collection with its index.

    Definition Classes
    ForEach

Inherited from NonEmptyForEach[F]

Inherited from DeriveEqualForEach[F]

Inherited from ForEach[F]

Inherited from CovariantDeriveEqual[F]

Inherited from Derive[F, Equal]

Inherited from Covariant[F]

Inherited from Invariant[F]

Inherited from CovariantSubset[F, AnyType]

Inherited from AnyRef

Inherited from Any

Ungrouped