trait
RingLaws[A] extends GroupLaws[A]
Type Members
-
-
class
DefaultRuleSet extends RuleSet with HasOneParent
-
-
trait
HasOneParent extends AnyRef
-
-
-
trait
RuleSet extends AnyRef
-
class
SimpleRuleSet extends DefaultRuleSet
Abstract Value Members
-
implicit abstract
def
Arb: Arbitrary[A]
-
abstract
val
nonZeroLaws: GroupLaws[A]
-
abstract
def
pred: Predicate[A]