AssociativeLowPriority

zio.prelude.AssociativeLowPriority

Attributes

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

Members list

Implicits

Implicits

implicit val IntProdCommutativeIdentity: Commutative[subtypeF.Type[Int]] & Identity[subtypeF.Type[Int]]

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

The Commutative and Identity 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