Check the laws
using name
as the base name for the tests.
Check the laws
for some type A
, using the full name of A
as the base name for the tests.
Check the laws
for some type A
, using the full name of A
as the base name for the tests.
implicit def orderLaws[A: Eq: Arbitrary] = OrderLaws[A] implicit def groupLaws[A: Eq: Arbitrary] = GroupLaws[A] laws[OrderLaws, String].check(_.order) laws[GroupLaws, String].check(_.monoid)
the type of laws
the type to run the laws on
the laws to use
the tag associated with type to test
the LawChecker
to check the law
Trait that facilitates law checks
LawChecks adds some helper methods to
Discipline
's extension ofFunSuiteLike
.Original issue in Algebra, Original implementation in Algebra