Module

Test.QuickCheck.Laws.Data.CommutativeRing

Package
purescript-quickcheck-laws
Repository
purescript-contrib/purescript-quickcheck-laws

#checkCommutativeRing Source

checkCommutativeRing :: forall a. CommutativeRing a => Arbitrary a => Eq a => Proxy a -> Effect Unit
  • Commutative multiplication: a * b = b * a

#checkCommutativeRingGen Source