Module

Test.StrongCheck.Laws.Data.Ring

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-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