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

AssociativeLowPriority

zio.prelude.AssociativeLowPriority
trait AssociativeLowPriority

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Associative

Members list

Implicits

Implicits

implicit def FxCauseProdAssociative[A]: Associative[subtypeF.Type[Cause[A]]]
implicit def FxCauseSumCommutative[A]: Commutative[subtypeF.Type[Cause[A]]]
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

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

Generated with