Module

Test.QuickCheck.Laws.Data.DivisionRing

#checkDivisionRing

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

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

Modules