Packages

p

gsp.math

laws

package laws

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. laws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final case class FormatLaws[A, B](fab: Format[A, B]) extends Product with Serializable
  2. abstract class GroupHomomorphismLaws[A, B] extends MonoidHomomorphismLaws[A, B]
  3. type IsEq[A] = cats.kernel.laws.IsEq[A]
  4. implicit final class IsEqArrow[A] extends AnyVal
  5. abstract class MonoidHomomorphismLaws[A, B] extends SemigroupHomomorphismLaws[A, B]
  6. abstract class SemigroupHomomorphismLaws[A, B] extends AnyRef
  7. final case class SplitEpiLaws[A, B](fab: SplitEpi[A, B]) extends Product with Serializable
  8. final case class SplitMonoLaws[A, B](fab: SplitMono[A, B]) extends Product with Serializable
  9. abstract class SubgroupLaws[A, B] extends GroupHomomorphismLaws[A, B]
  10. final case class WedgeLaws[A, B](fab: Wedge[A, B]) extends Product with Serializable

Value Members

  1. val IsEq: cats.kernel.laws.IsEq.type

Inherited from AnyRef

Inherited from Any

Ungrouped