Associative

Value Members

final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any
implicit val BigDecimalMaxCommutativeIdempotent: Commutative[Max[BigDecimal]] with Idempotent[Max[BigDecimal]]

The Commutative, Idempotent instance for the max of BigDecimal values
implicit val BigDecimalMinCommutativeIdempotent: Commutative[Min[BigDecimal]] with Idempotent[Min[BigDecimal]]

The Commutative, Idempotent instance for the min of BigDecimal values
implicit val BigDecimalProdCommutativeIdempotent: Commutative[Prod[BigDecimal]] with Idempotent[Prod[BigDecimal]]

The Commutative, Idempotent instance for the product of BigDecimal values
implicit val BigDecimalSumCommutativeIdempotent: Commutative[Sum[BigDecimal]] with Idempotent[Sum[BigDecimal]]

The Commutative, Idempotent instance for the sum of BigDecimal values
implicit val BigIntMaxCommutativeIdempotentIdentity: Commutative[Max[BigInt]] with Idempotent[Max[BigInt]]

The Commutative and Idempotent instance for the max of BigInt values.
implicit val BigIntMinCommutativeIdempotentIdentity: Commutative[Min[BigInt]] with Idempotent[Min[BigInt]]

The Commutative and Idempotent instance for the min of BigInt values.
implicit val BigIntProdCommutativeIdentity: Commutative[Prod[BigInt]] with Identity[Prod[BigInt]]

The Commutative and Identity instance for the product of BigInt values.
implicit val BigIntSumCommutativeInverse: Commutative[Sum[BigInt]] with Inverse[Sum[BigInt]]

The Commutative and Inverse instance for the sum of BigInt values.
implicit val BooleanAndFCommutativeIdempotentInverse: Commutative[AndF[Boolean]] with Idempotent[AndF[Boolean]] with Inverse[AndF[Boolean]]

The Commutative, Idempotent and Inverse instance for the AndF of Boolean values.
implicit val BooleanConjunctionIdempotentInverse: Commutative[And] with Idempotent[And] with Inverse[And]

The Commutative, Idempotent and Inverse instance for the conjunction of Boolean values.
implicit val BooleanDisjunctionIdempotentInverse: Commutative[Or] with Idempotent[Or] with Inverse[Or]

The Commutative, Idempotent and Inverse instance for the disjunction of Boolean values.
implicit val BooleanMaxIdempotentIdentity: Commutative[Max[Boolean]] with Idempotent[Max[Boolean]]

The Commutative, Idempotent and Identity instance for the max of Boolean values.
implicit val BooleanMinIdempotentIdentity: Commutative[Min[Boolean]] with Idempotent[Min[Boolean]]

The Commutative, Idempotent and Identity instance for the min of Boolean values.
implicit val BooleanOrFCommutativeIdempotentInverse: Commutative[OrF[Boolean]] with Idempotent[OrF[Boolean]] with Inverse[OrF[Boolean]]

The Commutative, Idempotent and Inverse instance for the OrF of Booleanvalues.
implicit val BooleanProdCommutativeIdentity: Commutative[Prod[Boolean]] with Idempotent[Prod[Boolean]] with Inverse[Prod[Boolean]]

The Commutative, Idempotent and Inverse instance for the product of Boolean values.
implicit val BooleanSumCommutativeInverse: Commutative[Sum[Boolean]] with Idempotent[Sum[Boolean]] with Inverse[Sum[Boolean]]

The Commutative, Idempotent and Inverse instance for the sum of Boolean values.
implicit val ByteMaxIdempotentIdentity: Commutative[Max[Byte]] with Idempotent[Max[Byte]]

The Commutative, Idempotent and Identity instance for the max of Byte values.
implicit val ByteMinIdempotentIdentity: Commutative[Min[Byte]] with Idempotent[Min[Byte]]

The Commutative, Idempotent and Identity instance for the min of Byte values.
implicit val ByteProdCommutativeIdentity: Commutative[Prod[Byte]] with Identity[Prod[Byte]]

The Commutative and Identity instance for the product of Byte values.
implicit val ByteSumCommutativeInverse: Commutative[Sum[Byte]] with Inverse[Sum[Byte]]

The Commutative and Inverse instance for the sum of Byte values.
implicit val CharMaxIdempotentIdentity: Commutative[Max[Char]] with Idempotent[Max[Char]]

The Commutative, Idempotent and Identity instance for the max of Char values.
implicit val CharMinIdempotentIdentity: Commutative[Min[Char]] with Idempotent[Min[Char]]

The Commutative, Idempotent and Identity instance for the min of Char values.
implicit val CharProdCommutativeIdentity: Commutative[Prod[Char]] with Identity[Prod[Char]]

The Commutative and Identity instance for the product of Char values.
implicit val CharSumCommutativeInverse: Commutative[Sum[Char]] with Inverse[Sum[Char]]

The Commutative and Inverse instance for the sum of Char values.
implicit def ChunkIdentity[A]: Identity[Chunk[A]]

The Identity instance for the concatenation of Chunk[A] values.
implicit def DeriveAssociative[F[_], A](implicit derive: Derive[F, Associative], associative: Associative[A]): Associative[F[A]]

Derives an Associative[F[A]] given a Derive[F, Associative] and an Associative[A].
implicit val DoubleMaxCommutativeIdempotentIdentity: Commutative[Max[Double]] with Idempotent[Max[Double]]

The Commutative, Idempotent and Identity instance for the max of Double values.
implicit val DoubleMinCommutativeIdempotentIdentity: Commutative[Min[Double]] with Idempotent[Min[Double]]

The Commutative, Idempotent and Identity instance for the min of Double values.
implicit val DoubleProdCommutativeIdentity: Commutative[Prod[Double]] with Identity[Prod[Double]]

The Commutative and Identity instance for the product of Double values.
implicit val DoubleSumCommutativeInverse: Commutative[Sum[Double]] with Inverse[Sum[Double]]

The Commutative and Inverse instance for the sum of Double values.
implicit val DurationZIOCommutativeIdentity: Commutative[zio.Duration] with Identity[zio.Duration]

The Commutative and Identity instance for ZIO Duration values.
implicit def EitherAssociative[E, A](implicit arg0: Associative[A]): Associative[Either[E, A]]

Derives an Associative[Either[E, A]] given an Associative[A].
implicit def FirstAssociative[A]: Associative[First[A]]

The Associative instance for the first of A values.
implicit val FloatMaxCommutativeIdempotentIdentity: Commutative[Max[Float]] with Idempotent[Max[Float]]

The Commutative, Idempotent and Identity instance for the max of Float values.
implicit val FloatMinCommutativeIdempotentIdentity: Commutative[Min[Float]] with Idempotent[Min[Float]]

The Commutative, Idempotent and Identity instance for the min of Float values.
implicit val FloatProdCommutativeIdentity: Commutative[Prod[Float]] with Identity[Prod[Float]]

The Commutative and Identity instance for the product of Float values.
implicit val FloatSumCommutativeInverse: Commutative[Sum[Float]] with Inverse[Sum[Float]]

The Commutative and Inverse instance for the sum of Float values.
implicit def Function1Identity[A]: Identity[(A) ⇒ A]
implicit val IntMaxIdempotentIdentity: Commutative[Max[Int]] with Idempotent[Max[Int]]

The Commutative, Idempotent and Identity instance for the max of Int values.
implicit val IntMinIdempotentIdentity: Commutative[Min[Int]] with Idempotent[Min[Int]]

The Commutative, Idempotent and Identity instance for the min of Int values.
implicit val IntProdCommutativeIdentity: Commutative[Prod[Int]] with Identity[Prod[Int]]

The Commutative and Identity instance for the product of Int values.
The Commutative and Identity instance for the product of Int values.

Definition Classes
AssociativeLowPriority
implicit val IntSumCommutativeInverse: Commutative[Sum[Int]] with Inverse[Sum[Int]]

The Commutative and Inverse instance for the sum of Int values.
The Commutative and Inverse instance for the sum of Int values.

Definition Classes
AssociativeLowPriority
implicit def LastAssociative[A]: Associative[Last[A]]

The Associative instance for the last of A values.
implicit def ListIdentity[A]: Identity[List[A]]

The Identity instance for the concatenation of List[A] values.
implicit val LongMaxIdempotentIdentity: Commutative[Max[Long]] with Idempotent[Max[Long]]

The Commutative, Idempotent and Identity instance for the max of Long values.
implicit val LongMinIdempotentIdentity: Commutative[Min[Long]] with Idempotent[Min[Long]]

The Commutative, Idempotent and Identity instance for the min of Long values.
implicit val LongProdCommutativeIdentity: Commutative[Prod[Long]] with Identity[Prod[Long]]

The Commutative and Identity instance for the product of Long values.
implicit val LongSumCommutativeInverse: Commutative[Sum[Long]] with Inverse[Sum[Long]]

The Commutative and Inverse instance for the sum of Long values.
implicit def MapIdentity[K, V](implicit arg0: Associative[V]): Identity[Map[K, V]]

Derives an Identity[Map[K, V]] given an Associative[V].
implicit def MaxCommutative[A](implicit arg0: Ord[A]): Commutative[Max[A]]

The Commutative instance for the maximum of A values for which an Ord is defined.
implicit def MinCommutative[A](implicit arg0: Ord[A]): Commutative[Min[A]]

The Commutative instance for the minimum of A values for which an Ord is defined.
implicit val NaturalProdCommutativeIdentity: Commutative[Prod[Natural]] with Identity[Prod[Natural]]

The Commutative and Identity instance for the product of Natural values.
implicit val NaturalSumCommutativeInverse: Commutative[Sum[Natural]] with Inverse[Sum[Natural]]

The Commutative and Inverse instance for the sum of Narutal values.
implicit def NonEmptyChunkAssociative[A]: Associative[NonEmptyChunk[A]]

The Associative instance for the concatenation of NonEmptyChunk[A] values.
implicit def OptionIdentity[A](implicit arg0: Associative[A]): Identity[Option[A]]

Derives an Identity[Option[A]] given an Associative[A].
implicit def SetAndFCommutativeIdempotent[A]: Commutative[AndF[Set[A]]] with Idempotent[AndF[Set[A]]]

The Commutative and Idempotent instance for the intersection of Set[A] values.
implicit def SetOrFCommutativeIdempotentInverse[A]: Commutative[OrF[Set[A]]] with Idempotent[OrF[Set[A]]] with Inverse[OrF[Set[A]]]

The Commutative, Idempotent and Inverse instance for the union of Set[A] values.
implicit val ShortMaxIdempotentIdentity: Commutative[Max[Short]] with Idempotent[Max[Short]]

The Commutative, Idempotent and Identity instance for the max of Short values.
implicit val ShortMinIdempotentIdentity: Commutative[Min[Short]] with Idempotent[Min[Short]]

The Commutative, Idempotent and Identity instance for the min of Short values.
implicit val ShortProdCommutativeIdentity: Commutative[Prod[Short]] with Identity[Prod[Short]]

The Commutative and Identity instance for the product of Short values.
implicit val ShortSumCommutativeIdentity: Commutative[Sum[Short]] with Inverse[Sum[Short]]

The Commutative and Identity instance for the sum of Short values.
implicit val StringIdentity: Identity[String]

The Identity instance for the concatenation of String values.
implicit def Tuple10Associative[A, B, C, D, E, F, G, H, I, J](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J]): Associative[(A, B, C, D, E, F, G, H, I, J)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple11Associative[A, B, C, D, E, F, G, H, I, J, K](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K]): Associative[(A, B, C, D, E, F, G, H, I, J, K)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple12Associative[A, B, C, D, E, F, G, H, I, J, K, L](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple13Associative[A, B, C, D, E, F, G, H, I, J, K, L, M](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple14Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple15Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple16Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple17Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P], arg16: Associative[Q]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple18Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P], arg16: Associative[Q], arg17: Associative[R]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple19Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P], arg16: Associative[Q], arg17: Associative[R], arg18: Associative[S]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple20Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P], arg16: Associative[Q], arg17: Associative[R], arg18: Associative[S], arg19: Associative[T]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple21Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P], arg16: Associative[Q], arg17: Associative[R], arg18: Associative[S], arg19: Associative[T], arg20: Associative[U]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple22Associative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I], arg9: Associative[J], arg10: Associative[K], arg11: Associative[L], arg12: Associative[M], arg13: Associative[N], arg14: Associative[O], arg15: Associative[P], arg16: Associative[Q], arg17: Associative[R], arg18: Associative[S], arg19: Associative[T], arg20: Associative[U], arg21: Associative[V]): Associative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple2Associative[A, B](implicit arg0: Associative[A], arg1: Associative[B]): Associative[(A, B)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple3Associative[A, B, C](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C]): Associative[(A, B, C)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple4Associative[A, B, C, D](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D]): Associative[(A, B, C, D)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple5Associative[A, B, C, D, E](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E]): Associative[(A, B, C, D, E)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple6Associative[A, B, C, D, E, F](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F]): Associative[(A, B, C, D, E, F)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple7Associative[A, B, C, D, E, F, G](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G]): Associative[(A, B, C, D, E, F, G)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple8Associative[A, B, C, D, E, F, G, H](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H]): Associative[(A, B, C, D, E, F, G, H)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def Tuple9Associative[A, B, C, D, E, F, G, H, I](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H], arg8: Associative[I]): Associative[(A, B, C, D, E, F, G, H, I)]

Derives an Associative for a product type given an Associative for each element of the product type.
implicit def VectorIdentity[A]: Identity[Vector[A]]

The Identity instance for the concatenation of Vector[A] values.
def apply[A](implicit associative: Associative[A]): Associative[A]

Summons an implicit Associative[A].
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def make[A](f: (A, A) ⇒ A): Associative[A]

Constructs an Associative instance from an associative binary operator.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Associative | package prelude

object Associative extends AssociativeLowPriority

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit val BigDecimalMaxCommutativeIdempotent: Commutative[Max[BigDecimal]] with Idempotent[Max[BigDecimal]]

implicit val BigDecimalMinCommutativeIdempotent: Commutative[Min[BigDecimal]] with Idempotent[Min[BigDecimal]]

implicit val BigDecimalProdCommutativeIdempotent: Commutative[Prod[BigDecimal]] with Idempotent[Prod[BigDecimal]]

implicit val BigDecimalSumCommutativeIdempotent: Commutative[Sum[BigDecimal]] with Idempotent[Sum[BigDecimal]]

implicit val BigIntMaxCommutativeIdempotentIdentity: Commutative[Max[BigInt]] with Idempotent[Max[BigInt]]

implicit val BigIntMinCommutativeIdempotentIdentity: Commutative[Min[BigInt]] with Idempotent[Min[BigInt]]

implicit val BigIntProdCommutativeIdentity: Commutative[Prod[BigInt]] with Identity[Prod[BigInt]]

implicit val BigIntSumCommutativeInverse: Commutative[Sum[BigInt]] with Inverse[Sum[BigInt]]

implicit val BooleanAndFCommutativeIdempotentInverse: Commutative[AndF[Boolean]] with Idempotent[AndF[Boolean]] with Inverse[AndF[Boolean]]

implicit val BooleanConjunctionIdempotentInverse: Commutative[And] with Idempotent[And] with Inverse[And]

implicit val BooleanDisjunctionIdempotentInverse: Commutative[Or] with Idempotent[Or] with Inverse[Or]

implicit val BooleanMaxIdempotentIdentity: Commutative[Max[Boolean]] with Idempotent[Max[Boolean]]

implicit val BooleanMinIdempotentIdentity: Commutative[Min[Boolean]] with Idempotent[Min[Boolean]]

implicit val BooleanOrFCommutativeIdempotentInverse: Commutative[OrF[Boolean]] with Idempotent[OrF[Boolean]] with Inverse[OrF[Boolean]]

implicit val BooleanProdCommutativeIdentity: Commutative[Prod[Boolean]] with Idempotent[Prod[Boolean]] with Inverse[Prod[Boolean]]

implicit val BooleanSumCommutativeInverse: Commutative[Sum[Boolean]] with Idempotent[Sum[Boolean]] with Inverse[Sum[Boolean]]

implicit val ByteMaxIdempotentIdentity: Commutative[Max[Byte]] with Idempotent[Max[Byte]]

implicit val ByteMinIdempotentIdentity: Commutative[Min[Byte]] with Idempotent[Min[Byte]]

implicit val ByteProdCommutativeIdentity: Commutative[Prod[Byte]] with Identity[Prod[Byte]]

implicit val ByteSumCommutativeInverse: Commutative[Sum[Byte]] with Inverse[Sum[Byte]]

implicit val CharMaxIdempotentIdentity: Commutative[Max[Char]] with Idempotent[Max[Char]]

implicit val CharMinIdempotentIdentity: Commutative[Min[Char]] with Idempotent[Min[Char]]

implicit val CharProdCommutativeIdentity: Commutative[Prod[Char]] with Identity[Prod[Char]]

implicit val CharSumCommutativeInverse: Commutative[Sum[Char]] with Inverse[Sum[Char]]

implicit def ChunkIdentity[A]: Identity[Chunk[A]]

implicit def DeriveAssociative[F[_], A](implicit derive: Derive[F, Associative], associative: Associative[A]): Associative[F[A]]

implicit val DoubleMaxCommutativeIdempotentIdentity: Commutative[Max[Double]] with Idempotent[Max[Double]]

implicit val DoubleMinCommutativeIdempotentIdentity: Commutative[Min[Double]] with Idempotent[Min[Double]]

implicit val DoubleProdCommutativeIdentity: Commutative[Prod[Double]] with Identity[Prod[Double]]

implicit val DoubleSumCommutativeInverse: Commutative[Sum[Double]] with Inverse[Sum[Double]]

implicit val DurationZIOCommutativeIdentity: Commutative[zio.Duration] with Identity[zio.Duration]

implicit def EitherAssociative[E, A](implicit arg0: Associative[A]): Associative[Either[E, A]]

implicit def FirstAssociative[A]: Associative[First[A]]

implicit val FloatMaxCommutativeIdempotentIdentity: Commutative[Max[Float]] with Idempotent[Max[Float]]

implicit val FloatMinCommutativeIdempotentIdentity: Commutative[Min[Float]] with Idempotent[Min[Float]]

implicit val FloatProdCommutativeIdentity: Commutative[Prod[Float]] with Identity[Prod[Float]]

implicit val FloatSumCommutativeInverse: Commutative[Sum[Float]] with Inverse[Sum[Float]]

implicit def Function1Identity[A]: Identity[(A) ⇒ A]

implicit val IntMaxIdempotentIdentity: Commutative[Max[Int]] with Idempotent[Max[Int]]

implicit val IntMinIdempotentIdentity: Commutative[Min[Int]] with Idempotent[Min[Int]]

implicit val IntProdCommutativeIdentity: Commutative[Prod[Int]] with Identity[Prod[Int]]

implicit val IntSumCommutativeInverse: Commutative[Sum[Int]] with Inverse[Sum[Int]]

implicit def LastAssociative[A]: Associative[Last[A]]

implicit def ListIdentity[A]: Identity[List[A]]

implicit val LongMaxIdempotentIdentity: Commutative[Max[Long]] with Idempotent[Max[Long]]

implicit val LongMinIdempotentIdentity: Commutative[Min[Long]] with Idempotent[Min[Long]]

implicit val LongProdCommutativeIdentity: Commutative[Prod[Long]] with Identity[Prod[Long]]

implicit val LongSumCommutativeInverse: Commutative[Sum[Long]] with Inverse[Sum[Long]]

implicit def MapIdentity[K, V](implicit arg0: Associative[V]): Identity[Map[K, V]]

implicit def MaxCommutative[A](implicit arg0: Ord[A]): Commutative[Max[A]]

implicit def MinCommutative[A](implicit arg0: Ord[A]): Commutative[Min[A]]

implicit val NaturalProdCommutativeIdentity: Commutative[Prod[Natural]] with Identity[Prod[Natural]]

implicit val NaturalSumCommutativeInverse: Commutative[Sum[Natural]] with Inverse[Sum[Natural]]

implicit def NonEmptyChunkAssociative[A]: Associative[NonEmptyChunk[A]]

implicit def OptionIdentity[A](implicit arg0: Associative[A]): Identity[Option[A]]

implicit def SetAndFCommutativeIdempotent[A]: Commutative[AndF[Set[A]]] with Idempotent[AndF[Set[A]]]

implicit def SetOrFCommutativeIdempotentInverse[A]: Commutative[OrF[Set[A]]] with Idempotent[OrF[Set[A]]] with Inverse[OrF[Set[A]]]

implicit val ShortMaxIdempotentIdentity: Commutative[Max[Short]] with Idempotent[Max[Short]]

implicit val ShortMinIdempotentIdentity: Commutative[Min[Short]] with Idempotent[Min[Short]]

implicit val ShortProdCommutativeIdentity: Commutative[Prod[Short]] with Identity[Prod[Short]]

implicit val ShortSumCommutativeIdentity: Commutative[Sum[Short]] with Inverse[Sum[Short]]

implicit val StringIdentity: Identity[String]

implicit def Tuple2Associative[A, B](implicit arg0: Associative[A], arg1: Associative[B]): Associative[(A, B)]

implicit def Tuple3Associative[A, B, C](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C]): Associative[(A, B, C)]

implicit def Tuple4Associative[A, B, C, D](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D]): Associative[(A, B, C, D)]

implicit def Tuple5Associative[A, B, C, D, E](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E]): Associative[(A, B, C, D, E)]

implicit def Tuple6Associative[A, B, C, D, E, F](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F]): Associative[(A, B, C, D, E, F)]

implicit def Tuple7Associative[A, B, C, D, E, F, G](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G]): Associative[(A, B, C, D, E, F, G)]

implicit def Tuple8Associative[A, B, C, D, E, F, G, H](implicit arg0: Associative[A], arg1: Associative[B], arg2: Associative[C], arg3: Associative[D], arg4: Associative[E], arg5: Associative[F], arg6: Associative[G], arg7: Associative[H]): Associative[(A, B, C, D, E, F, G, H)]

implicit def VectorIdentity[A]: Identity[Vector[A]]

def apply[A](implicit associative: Associative[A]): Associative[A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef