Module

Test.QuickCheck.Laws.Data.DivisionRing

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

#checkDivisionRing Source

checkDivisionRing :: forall a. DivisionRing a => Arbitrary a => Eq a => Proxy a -> Effect Unit

Non-zero ring: one /= zero Non-zero multiplicative inverse: recip a * a = a * recip a = one for all non-zero a

#checkDivisionRingGen Source

checkDivisionRingGen :: forall a. DivisionRing a => Eq a => Gen a -> Effect Unit