Module

Test.StrongCheck.Laws.Data.Ord

Package
purescript-strongcheck-lawsDEPRECATED
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
Modules
Test.StrongCheck.Laws
Test.StrongCheck.Laws.Control
Test.StrongCheck.Laws.Control.Alt
Test.StrongCheck.Laws.Control.Alternative
Test.StrongCheck.Laws.Control.Applicative
Test.StrongCheck.Laws.Control.Apply
Test.StrongCheck.Laws.Control.Bind
Test.StrongCheck.Laws.Control.Category
Test.StrongCheck.Laws.Control.Comonad
Test.StrongCheck.Laws.Control.Extend
Test.StrongCheck.Laws.Control.Monad
Test.StrongCheck.Laws.Control.MonadPlus
Test.StrongCheck.Laws.Control.MonadZero
Test.StrongCheck.Laws.Control.Plus
Test.StrongCheck.Laws.Control.Semigroupoid
Test.StrongCheck.Laws.Data
Test.StrongCheck.Laws.Data.BooleanAlgebra
Test.StrongCheck.Laws.Data.Bounded
Test.StrongCheck.Laws.Data.CommutativeRing
Test.StrongCheck.Laws.Data.DivisionRing
Test.StrongCheck.Laws.Data.Eq
Test.StrongCheck.Laws.Data.EuclideanRing
Test.StrongCheck.Laws.Data.Field
Test.StrongCheck.Laws.Data.Functor
Test.StrongCheck.Laws.Data.HeytingAlgebra
Test.StrongCheck.Laws.Data.Monoid
Test.StrongCheck.Laws.Data.Ord
Test.StrongCheck.Laws.Data.Ring
Test.StrongCheck.Laws.Data.Semigroup
Test.StrongCheck.Laws.Data.Semiring