Module

Test.QuickCheck.Laws.Data.Bounded

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-laws

#checkBounded Source

checkBounded :: forall a eff. Arbitrary a => Bounded a => Ord a => Proxy a -> QC eff Unit
  • Ordering: bottom <= a <= top