Module

Test.QuickCheck.Laws.Data.Ring

#checkRing

checkRing :: forall a. Ring a => Arbitrary a => Eq a => Proxy a -> Effect Unit
  • Additive inverse: a - a = a + (-a) = (-a) + a = zero

Modules