cats-docs
2.10.0
API
Generated with
cats-docs/cats/cats.kernel/cats.kernel.laws/MonoidLaws

MonoidLaws

cats.kernel.laws.MonoidLaws
See theMonoidLaws companion object
trait MonoidLaws[A] extends SemigroupLaws[A]

Attributes

Companion
object
Source
MonoidLaws.scala
Graph
Supertypes
trait SemigroupLaws[A]
class Object
trait Matchable
class Any
Known subtypes
trait GroupLaws[A]

Members list

Value members

Concrete methods

def collect0(x: A): IsEq[A]

Attributes

Source
MonoidLaws.scala
def combineAll(xs: Vector[A]): IsEq[A]

Attributes

Source
MonoidLaws.scala
def isId(x: A, eqv: Eq[A]): IsEq[Boolean]

Attributes

Source
MonoidLaws.scala
def leftIdentity(x: A): IsEq[A]

Attributes

Source
MonoidLaws.scala
def repeat0(x: A): IsEq[A]

Attributes

Source
MonoidLaws.scala
def rightIdentity(x: A): IsEq[A]

Attributes

Source
MonoidLaws.scala

Inherited methods

def combineAllOption(xs: Vector[A]): IsEq[Option[A]]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def intercalateCombineAllOption(m: A, xs: Vector[A]): IsEq[Option[A]]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def intercalateIntercalates(a: A, m: A, b: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def intercalateRepeat1(m: A, a: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def intercalateRepeat2(m: A, a: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def repeat1(a: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def repeat2(a: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def reverseCombineAllOption(xs: Vector[A]): IsEq[Option[A]]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def reverseRepeat1(a: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def reverseRepeat2(a: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def reverseReverses(a: A, b: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala
def semigroupAssociative(x: A, y: A, z: A): IsEq[A]

Attributes

Inherited from:
SemigroupLaws
Source
SemigroupLaws.scala

Implicits

Implicits

implicit override def S: Monoid[A]

Attributes

Definition Classes
Source
MonoidLaws.scala
Generated with