package laws
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- laws
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- final case class FormatLaws[A, B](fab: Format[A, B]) extends Product with Serializable
- abstract class GroupHomomorphismLaws[A, B] extends MonoidHomomorphismLaws[A, B]
- type IsEq[A] = cats.kernel.laws.IsEq[A]
- implicit final class IsEqArrow[A] extends AnyVal
- abstract class MonoidHomomorphismLaws[A, B] extends SemigroupHomomorphismLaws[A, B]
- abstract class SemigroupHomomorphismLaws[A, B] extends AnyRef
- final case class SplitEpiLaws[A, B](fab: SplitEpi[A, B]) extends Product with Serializable
- final case class SplitMonoLaws[A, B](fab: SplitMono[A, B]) extends Product with Serializable
- abstract class SubgroupLaws[A, B] extends GroupHomomorphismLaws[A, B]
- final case class WedgeLaws[A, B](fab: Wedge[A, B]) extends Product with Serializable
Value Members
- val IsEq: cats.kernel.laws.IsEq.type