Module

Test.QuickCheck.Laws.Data.Ring

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-laws

#checkRing Source

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