Module

Test.StrongCheck.Laws.Data.Ord

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-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