Module

Test.StrongCheck.Laws.Data.Eq

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-laws

#checkEq Source

checkEq :: forall a. Arbitrary a => Eq a => Proxy a -> Effect Unit
  • Reflexivity: x == x = true
  • Symmetry: x == y = y == x
  • Transitivity: if x == y and y == z then x == z
  • Negation: x /= y = not (x == y)