Module

Test.QuickCheck.Laws.Data.Ord

Package
purescript-quickcheck-laws
Repository
purescript-contrib/purescript-quickcheck-laws

#checkOrd Source

checkOrd :: forall a. Arbitrary a => Ord a => Proxy a -> Effect Unit
  • Reflexivity: a <= a
  • Antisymmetry: if a <= b and b <= a then a = b
  • Transitivity: if a <= b and b <= c then a <= c