org.typelevel
Root trait of the law cake.
Defines a wrapper around scalacheck's Properties (RuleSet), and some default implementations.
Properties
Extend this trait if you want to define a set of laws.
Root trait of the law cake.
Defines a wrapper around scalacheck's
Properties
(RuleSet), and some default implementations.Extend this trait if you want to define a set of laws.