Packages

p

gsp.math.laws

discipline

package discipline

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

Type Members

  1. trait FormatTests[A, B] extends Laws
  2. trait SplitEpiTests[A, B] extends FormatTests[A, B]
  3. trait SplitMonoTests[A, B] extends Laws
  4. trait SubgroupTests[A, B] extends Laws
  5. trait WedgeTests[A, B] extends Laws

Value Members

  1. implicit def gemLawsIsEqToProp[A](isEq: IsEq[A])(implicit arg0: Eq[A]): Prop
  2. object FormatTests extends Laws
  3. object SplitEpiTests extends Laws
  4. object SplitMonoTests extends Laws
  5. object SubgroupTests extends Laws
  6. object WedgeTests extends Laws

Inherited from AnyRef

Inherited from Any

Ungrouped