cats-docs
2.12.0
API
Generated with
cats-docs/algebra/algebra.laws/RingLaws/MultiplicativeProperties

MultiplicativeProperties

algebra.laws.RingLaws.MultiplicativeProperties
class MultiplicativeProperties(val base: GroupLaws[A]#GroupProperties, val nonZeroBase: Option[nonZeroLaws.GroupProperties], val parent: Option[MultiplicativeProperties], val props: (String, Prop)*) extends RuleSet, HasOneParent

Attributes

Source
RingLaws.scala
Graph
Supertypes
trait HasOneParent
trait RuleSet
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

final def all: Properties

Assembles all properties.

Assembles all properties. For the rules, see RuleSet.

Attributes

Inherited from:
RuleSet
Source
Laws.scala
final def parents: List[Laws.this.RuleSet]

Attributes

Inherited from:
HasOneParent
Source
Laws.scala

Concrete fields

val base: GroupLaws[A]#GroupProperties

Attributes

Source
RingLaws.scala
val bases: Seq[(String, Laws#RuleSet)]

Attributes

Source
RingLaws.scala
val name: String

Attributes

Source
RingLaws.scala
val nonZeroBase: Option[nonZeroLaws.GroupProperties]

Attributes

Source
RingLaws.scala
val props: (String, Prop)*

Attributes

Source
RingLaws.scala
Generated with