linear-base-0.2.0: examples/Test/Quicksort.hs

module Test.Quicksort (quickSortTests) where

import Data.List (sort)
import Hedgehog
import qualified Hedgehog.Gen as Gen
import qualified Hedgehog.Range as Range
import Simple.Quicksort (quickSort)
import Test.Tasty
import Test.Tasty.Hedgehog (testProperty)

quickSortTests :: TestTree
quickSortTests = testProperty "quicksort sorts" testQuicksort

testQuicksort :: Property
testQuicksort = property $ do
  xs <- forAll $ Gen.list (Range.linear 0 1000) (Gen.int $ Range.linear 0 100)
  sort xs === quickSort xs