Module

Test.QuickCheck.Laws.Data.Bounded

#checkBounded

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

#checkBoundedGen

checkBoundedGen :: forall a. Bounded a => Ord a => Gen a -> Effect Unit

Modules