Module

Test.QuickCheck.Laws.Data.Field

#checkField

checkField :: forall a. Field a => Arbitrary a => Eq a => Proxy a -> Effect Unit
  • Non-zero multiplicative inverse: a `mod` b = 0 for all a and b

#checkFieldGen

checkFieldGen :: forall a. Field a => Eq a => Gen a -> Effect Unit

Modules