cats-docs
2.11.0
API
Generated with
cats-docs/cats/cats.laws/InvariantSemigroupalLaws

InvariantSemigroupalLaws

cats.laws.InvariantSemigroupalLaws
See theInvariantSemigroupalLaws companion object
trait InvariantSemigroupalLaws[F[_]] extends InvariantLaws[F], SemigroupalLaws[F]

Laws that are expected for any cats.InvariantSemigroupal.

Attributes

Companion
object
Source
InvariantSemigroupalLaws.scala
Graph
Supertypes
trait SemigroupalLaws[F]
trait InvariantLaws[F]
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def invariantSemigroupalAssociativity[A, B, C](fa: F[A], fb: F[B], fc: F[C]): IsEq[F[(A, (B, C))]]

Attributes

Source
InvariantSemigroupalLaws.scala

Inherited methods

def invariantComposition[A, B, C](fa: F[A], f1: A => B, f2: B => A, g1: B => C, g2: C => B): IsEq[F[C]]

Attributes

Inherited from:
InvariantLaws
Source
InvariantLaws.scala
def invariantIdentity[A](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
InvariantLaws
Source
InvariantLaws.scala
def semigroupalAssociativity[A, B, C](fa: F[A], fb: F[B], fc: F[C]): (F[(A, (B, C))], F[((A, B), C)])

Attributes

Inherited from:
SemigroupalLaws
Source
SemigroupalLaws.scala

Implicits

Implicits

implicit override def F: InvariantSemigroupal[F]

Attributes

Definition Classes
Source
InvariantSemigroupalLaws.scala
Generated with