Module

Test.QuickCheck.Laws.Data.Field

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-laws

#checkField Source

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