Module

Test.StrongCheck.Laws.Data.DivisionRing

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