zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/Associative

Associative

zio.prelude.Associative
See theAssociative companion trait
object Associative extends AssociativeLowPriority

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Summons an implicit Associative[A].

Summons an implicit Associative[A].

Attributes

def make[A](f: (A, A) => A): Associative[A]

Constructs an Associative instance from an associative binary operator.

Constructs an Associative instance from an associative binary operator.

Attributes

Implicits

Implicits

implicit val BigDecimalMaxCommutativeIdempotent: Commutative[subtypeF.Type[BigDecimal]] & Idempotent[subtypeF.Type[BigDecimal]]

The Commutative, Idempotent instance for the max of BigDecimal values

The Commutative, Idempotent instance for the max of BigDecimal values

Attributes

implicit val BigDecimalMinCommutativeIdempotent: Commutative[subtypeF.Type[BigDecimal]] & Idempotent[subtypeF.Type[BigDecimal]]

The Commutative, Idempotent instance for the min of BigDecimal values

The Commutative, Idempotent instance for the min of BigDecimal values

Attributes

implicit val BigDecimalProdCommutativePartialInverse: Commutative[subtypeF.Type[BigDecimal]] & PartialInverse[subtypeF.Type[BigDecimal]]

The Commutative, PartialInverse instance for the product of BigDecimal values

The Commutative, PartialInverse instance for the product of BigDecimal values

Attributes

implicit val BigDecimalSumCommutativeInverse: Commutative[subtypeF.Type[BigDecimal]] & Inverse[subtypeF.Type[BigDecimal]]

The Commutative, Idempotent instance for the sum of BigDecimal values

The Commutative, Idempotent instance for the sum of BigDecimal values

Attributes

implicit val BigIntMaxCommutativeIdempotentIdentity: Commutative[subtypeF.Type[BigInt]] & Idempotent[subtypeF.Type[BigInt]]

The Commutative and Idempotent instance for the max of BigInt values.

The Commutative and Idempotent instance for the max of BigInt values.

Attributes

implicit val BigIntMinCommutativeIdempotentIdentity: Commutative[subtypeF.Type[BigInt]] & Idempotent[subtypeF.Type[BigInt]]

The Commutative and Idempotent instance for the min of BigInt values.

The Commutative and Idempotent instance for the min of BigInt values.

Attributes

implicit val BigIntProdCommutativeIdentity: Commutative[subtypeF.Type[BigInt]] & Identity[subtypeF.Type[BigInt]]

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

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

Attributes

implicit val BigIntSumCommutativeInverse: Commutative[subtypeF.Type[BigInt]] & Inverse[subtypeF.Type[BigInt]]

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

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

Attributes

implicit val BooleanAndFCommutativeIdempotentInverse: Commutative[subtypeF.Type[Boolean]] & Idempotent[subtypeF.Type[Boolean]] & Inverse[subtypeF.Type[Boolean]]

The Commutative, Idempotent and Inverse instance for the AndF of Boolean values.

The Commutative, Idempotent and Inverse instance for the AndF of Boolean values.

Attributes

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

The Commutative, Idempotent and Inverse instance for the conjunction of Boolean values.

The Commutative, Idempotent and Inverse instance for the conjunction of Boolean values.

Attributes

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

The Commutative, Idempotent and Inverse instance for the disjunction of Boolean values.

The Commutative, Idempotent and Inverse instance for the disjunction of Boolean values.

Attributes

implicit val BooleanMaxIdempotentIdentity: Commutative[subtypeF.Type[Boolean]] & Idempotent[subtypeF.Type[Boolean]]

The Commutative, Idempotent and Identity instance for the max of Boolean values.

The Commutative, Idempotent and Identity instance for the max of Boolean values.

Attributes

implicit val BooleanMinIdempotentIdentity: Commutative[subtypeF.Type[Boolean]] & Idempotent[subtypeF.Type[Boolean]]

The Commutative, Idempotent and Identity instance for the min of Boolean values.

The Commutative, Idempotent and Identity instance for the min of Boolean values.

Attributes

implicit val BooleanOrFCommutativeIdempotentInverse: Commutative[subtypeF.Type[Boolean]] & Idempotent[subtypeF.Type[Boolean]] & Inverse[subtypeF.Type[Boolean]]

The Commutative, Idempotent and Inverse instance for the OrF`` ofBoolean` values.

The Commutative, Idempotent and Inverse instance for the OrF`` ofBoolean` values.

Attributes

implicit val BooleanProdCommutativeIdentity: Commutative[subtypeF.Type[Boolean]] & Idempotent[subtypeF.Type[Boolean]] & Inverse[subtypeF.Type[Boolean]]

The Commutative, Idempotent and Inverse instance for the product of Boolean values.

The Commutative, Idempotent and Inverse instance for the product of Boolean values.

Attributes

implicit val BooleanSumCommutativeInverse: Commutative[subtypeF.Type[Boolean]] & Idempotent[subtypeF.Type[Boolean]] & Inverse[subtypeF.Type[Boolean]]

The Commutative, Idempotent and Inverse instance for the sum of Boolean values.

The Commutative, Idempotent and Inverse instance for the sum of Boolean values.

Attributes

implicit val ByteMaxIdempotentIdentity: Commutative[subtypeF.Type[Byte]] & Idempotent[subtypeF.Type[Byte]]

The Commutative, Idempotent and Identity instance for the max of Byte values.

The Commutative, Idempotent and Identity instance for the max of Byte values.

Attributes

implicit val ByteMinIdempotentIdentity: Commutative[subtypeF.Type[Byte]] & Idempotent[subtypeF.Type[Byte]]

The Commutative, Idempotent and Identity instance for the min of Byte values.

The Commutative, Idempotent and Identity instance for the min of Byte values.

Attributes

implicit val ByteProdCommutativePartialInverse: Commutative[subtypeF.Type[Byte]] & PartialInverse[subtypeF.Type[Byte]]

The Commutative and PartialInverse instance for the product of Byte values.

The Commutative and PartialInverse instance for the product of Byte values.

Attributes

implicit val ByteSumCommutativeInverse: Commutative[subtypeF.Type[Byte]] & Inverse[subtypeF.Type[Byte]]

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

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

Attributes

implicit def CauseCommutativeIdentity[A]: Commutative[subtypeF.Type[Cause[A]]] & Identity[subtypeF.Type[Cause[A]]]

The Commutative and Identity instance for Cause.

The Commutative and Identity instance for Cause.

Attributes

implicit def CauseIdentity[A]: Identity[subtypeF.Type[Cause[A]]]

The Identity instance for Cause.

The Identity instance for Cause.

Attributes

implicit val CharMaxIdempotentIdentity: Commutative[subtypeF.Type[Char]] & Idempotent[subtypeF.Type[Char]]

The Commutative, Idempotent and Identity instance for the max of Char values.

The Commutative, Idempotent and Identity instance for the max of Char values.

Attributes

implicit val CharMinIdempotentIdentity: Commutative[subtypeF.Type[Char]] & Idempotent[subtypeF.Type[Char]]

The Commutative, Idempotent and Identity instance for the min of Char values.

The Commutative, Idempotent and Identity instance for the min of Char values.

Attributes

implicit val CharProdCommutativePartialInverse: Commutative[subtypeF.Type[Char]] & PartialInverse[subtypeF.Type[Char]]

The Commutative and PartialInverse instance for the product of Char values.

The Commutative and PartialInverse instance for the product of Char values.

Attributes

implicit val CharSumCommutativeInverse: Commutative[subtypeF.Type[Char]] & Inverse[subtypeF.Type[Char]]

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

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

Attributes

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

The Identity instance for the concatenation of Chunk[A] values.

The Identity instance for the concatenation of Chunk[A] values.

Attributes

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].

Derives an Associative[F[A]] given a Derive[F, Associative] and an Associative[A].

Attributes

implicit val DoubleMaxCommutativeIdempotentIdentity: Commutative[subtypeF.Type[Double]] & Idempotent[subtypeF.Type[Double]]

The Commutative, Idempotent and Identity instance for the max of Double values.

The Commutative, Idempotent and Identity instance for the max of Double values.

Attributes

implicit val DoubleMinCommutativeIdempotentIdentity: Commutative[subtypeF.Type[Double]] & Idempotent[subtypeF.Type[Double]]

The Commutative, Idempotent and Identity instance for the min of Double values.

The Commutative, Idempotent and Identity instance for the min of Double values.

Attributes

implicit val DoubleProdCommutativePartialInverse: Commutative[subtypeF.Type[Double]] & PartialInverse[subtypeF.Type[Double]]

The Commutative and PartialInverse instance for the product of Double values.

The Commutative and PartialInverse instance for the product of Double values.

Attributes

implicit val DoubleSumCommutativeInverse: Commutative[subtypeF.Type[Double]] & Inverse[subtypeF.Type[Double]]

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

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

Attributes

implicit val DurationZIOCommutativeIdentity: Commutative[Duration] & Identity[Duration]

The Commutative and Identity instance for ZIO Duration values.

The Commutative and Identity instance for ZIO Duration values.

Attributes

implicit def EitherAssociative[E, A : Associative]: Associative[Either[E, A]]

Derives an Associative[Either[E, A]] given an Associative[A].

Derives an Associative[Either[E, A]] given an Associative[A].

Attributes

implicit def FirstAssociative[A]: Associative[subtypeF.Type[A]]

The Associative instance for the first of A values.

The Associative instance for the first of A values.

Attributes

implicit val FloatMaxCommutativeIdempotentIdentity: Commutative[subtypeF.Type[Float]] & Idempotent[subtypeF.Type[Float]]

The Commutative, Idempotent and Identity instance for the max of Float values.

The Commutative, Idempotent and Identity instance for the max of Float values.

Attributes

implicit val FloatMinCommutativeIdempotentIdentity: Commutative[subtypeF.Type[Float]] & Idempotent[subtypeF.Type[Float]]

The Commutative, Idempotent and Identity instance for the min of Float values.

The Commutative, Idempotent and Identity instance for the min of Float values.

Attributes

implicit val FloatProdCommutativePartialInverse: Commutative[subtypeF.Type[Float]] & PartialInverse[subtypeF.Type[Float]]

The Commutative and PartialInverse instance for the product of Float values.

The Commutative and PartialInverse instance for the product of Float values.

Attributes

implicit val FloatSumCommutativeInverse: Commutative[subtypeF.Type[Float]] & Inverse[subtypeF.Type[Float]]

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

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

Attributes

implicit def Function1Identity[A]: Identity[A => A]
implicit val IntMaxIdempotentIdentity: Commutative[subtypeF.Type[Int]] & Idempotent[subtypeF.Type[Int]]

The Commutative, Idempotent and Identity instance for the max of Int values.

The Commutative, Idempotent and Identity instance for the max of Int values.

Attributes

implicit val IntMinIdempotentIdentity: Commutative[subtypeF.Type[Int]] & Idempotent[subtypeF.Type[Int]]

The Commutative, Idempotent and Identity instance for the min of Int values.

The Commutative, Idempotent and Identity instance for the min of Int values.

Attributes

implicit def LastAssociative[A]: Associative[subtypeF.Type[A]]

The Associative instance for the last of A values.

The Associative instance for the last of A values.

Attributes

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

The Identity instance for the concatenation of List[A] values.

The Identity instance for the concatenation of List[A] values.

Attributes

implicit val LongMaxIdempotentIdentity: Commutative[subtypeF.Type[Long]] & Idempotent[subtypeF.Type[Long]]

The Commutative, Idempotent and Identity instance for the max of Long values.

The Commutative, Idempotent and Identity instance for the max of Long values.

Attributes

implicit val LongMinIdempotentIdentity: Commutative[subtypeF.Type[Long]] & Idempotent[subtypeF.Type[Long]]

The Commutative, Idempotent and Identity instance for the min of Long values.

The Commutative, Idempotent and Identity instance for the min of Long values.

Attributes

implicit val LongProdCommutativePartialInverse: Commutative[subtypeF.Type[Long]] & PartialInverse[subtypeF.Type[Long]]

The Commutative and PartialInverse instance for the product of Long values.

The Commutative and PartialInverse instance for the product of Long values.

Attributes

implicit val LongSumCommutativeInverse: Commutative[subtypeF.Type[Long]] & Inverse[subtypeF.Type[Long]]

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

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

Attributes

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

Derives an Identity[Map[K, V]] given an Associative[V].

Derives an Identity[Map[K, V]] given an Associative[V].

Attributes

implicit def MaxCommutative[A : Ord]: Commutative[subtypeF.Type[A]]

The Commutative instance for the maximum of A values for which an Ord is defined.

The Commutative instance for the maximum of A values for which an Ord is defined.

Attributes

implicit def MinCommutative[A : Ord]: Commutative[subtypeF.Type[A]]

The Commutative instance for the minimum of A values for which an Ord is defined.

The Commutative instance for the minimum of A values for which an Ord is defined.

Attributes

implicit val NaturalProdCommutativeIdentity: Commutative[subtypeF.Type[Natural]] & Identity[subtypeF.Type[Natural]]

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

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

Attributes

implicit val NaturalSumCommutativeInverse: Commutative[subtypeF.Type[Natural]] & Inverse[subtypeF.Type[Natural]]

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

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

Attributes

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

The Associative instance for the concatenation of NonEmptyChunk[A] values.

The Associative instance for the concatenation of NonEmptyChunk[A] values.

Attributes

implicit def OptionIdentity[A : Associative]: Identity[Option[A]]

Derives an Identity[Option[A]] given an Associative[A].

Derives an Identity[Option[A]] given an Associative[A].

Attributes

implicit def ParSeqProdIdentity[A]: Identity[subtypeF.Type[ParSeq[Unit, A]]]
implicit def ParSeqSumCommutativeIdentity[A]: Commutative[subtypeF.Type[ParSeq[Unit, A]]] & Identity[subtypeF.Type[ParSeq[Unit, A]]]
implicit def SetAndFCommutativeIdempotent[A]: Commutative[subtypeF.Type[Set[A]]] & Idempotent[subtypeF.Type[Set[A]]]

The Commutative and Idempotent instance for the intersection of Set[A] values.

The Commutative and Idempotent instance for the intersection of Set[A] values.

Attributes

implicit def SetOrFCommutativeIdempotentInverse[A]: Commutative[subtypeF.Type[Set[A]]] & Idempotent[subtypeF.Type[Set[A]]] & Inverse[subtypeF.Type[Set[A]]]

The Commutative, Idempotent and Inverse instance for the union of Set[A] values.

The Commutative, Idempotent and Inverse instance for the union of Set[A] values.

Attributes

implicit val ShortMaxIdempotentIdentity: Commutative[subtypeF.Type[Short]] & Idempotent[subtypeF.Type[Short]]

The Commutative, Idempotent and Identity instance for the max of Short values.

The Commutative, Idempotent and Identity instance for the max of Short values.

Attributes

implicit val ShortMinIdempotentIdentity: Commutative[subtypeF.Type[Short]] & Idempotent[subtypeF.Type[Short]]

The Commutative, Idempotent and Identity instance for the min of Short values.

The Commutative, Idempotent and Identity instance for the min of Short values.

Attributes

implicit val ShortProdCommutativePartialInverse: Commutative[subtypeF.Type[Short]] & PartialInverse[subtypeF.Type[Short]]

The Commutative and PartialInverse instance for the product of Short values.

The Commutative and PartialInverse instance for the product of Short values.

Attributes

implicit val ShortSumCommutativeInverse: Commutative[subtypeF.Type[Short]] & Inverse[subtypeF.Type[Short]]

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

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

Attributes

implicit val StringIdentity: Identity[String]

The Identity instance for the concatenation of String values.

The Identity instance for the concatenation of String values.

Attributes

implicit def Tuple10Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple11Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple12Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple13Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple14Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple15Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple16Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple17Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative, Q : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple18Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative, Q : Associative, R : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple19Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative, Q : Associative, R : Associative, S : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple20Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative, Q : Associative, R : Associative, S : Associative, T : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple21Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative, Q : Associative, R : Associative, S : Associative, T : Associative, U : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple22Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative, J : Associative, K : Associative, L : Associative, M : Associative, N : Associative, O : Associative, P : Associative, Q : Associative, R : Associative, S : Associative, T : Associative, U : Associative, V : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

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

Derives an Associative for a product type given an Associative for each element of the product type.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

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

Derives an Associative for a product type given an Associative for each element of the product type.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple4Associative[A : Associative, B : Associative, C : Associative, D : Associative]: Associative[(A, B, C, D)]

Derives an Associative for a product type given an Associative for each element of the product type.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple5Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative]: Associative[(A, B, C, D, E)]

Derives an Associative for a product type given an Associative for each element of the product type.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple6Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative]: Associative[(A, B, C, D, E, F)]

Derives an Associative for a product type given an Associative for each element of the product type.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple7Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple8Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

implicit def Tuple9Associative[A : Associative, B : Associative, C : Associative, D : Associative, E : Associative, F : Associative, G : Associative, H : Associative, I : Associative]: 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.

Derives an Associative for a product type given an Associative for each element of the product type.

Attributes

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

The Identity instance for the concatenation of Vector[A] values.

The Identity instance for the concatenation of Vector[A] values.

Attributes

implicit def zioCauseProdIdentity[A]: Identity[subtypeF.Type[Cause[A]]]
implicit def zioCauseSumCommutativeIdentity[A]: Commutative[subtypeF.Type[Cause[A]]] & Identity[subtypeF.Type[Cause[A]]]

Inherited implicits

implicit def FxCauseProdAssociative[A]: Associative[subtypeF.Type[Cause[A]]]

Attributes

Inherited from:
AssociativeLowPriority
implicit def FxCauseSumCommutative[A]: Commutative[subtypeF.Type[Cause[A]]]

Attributes

Inherited from:
AssociativeLowPriority
implicit val IntProdCommutativePartialInverse: Commutative[subtypeF.Type[Int]] & PartialInverse[subtypeF.Type[Int]]

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

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

Attributes

Inherited from:
AssociativeLowPriority
implicit val IntSumCommutativeInverse: Commutative[subtypeF.Type[Int]] & Inverse[subtypeF.Type[Int]]

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

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

Attributes

Inherited from:
AssociativeLowPriority
Generated with