Module

Test.QuickCheck.Laws.Data.Ord

#checkOrd

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

Modules