Convenience class for property sets which may have a parent, but no bases.
Convenience trait to mix into subclasses of SpireProperties for property sets which only have one parent.
Convencience class for property sets without parents and bases.
This trait abstracts over the various ways how the laws of a type class can depend on the laws of other type classes.
Empty property set.
Root trait of the law cake.
Defines a wrapper around scalacheck's
Properties
(SpireProperties), and some default implementations.Extend this trait if you want to define a set of laws.