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

#checkRingGen 

checkRingGen :: forall a. Ring a => Eq a => Gen a -> Effect Unit

Modules