{-# LANGUAGE ScopedTypeVariables #-}
module SortSpecs.SelectionSortSpec where

import Test.Hspec
import Test.QuickCheck
import Sorts.SelectionSort

spec :: Spec
spec = do
    describe "selectionSort" $ do
        it "returns empty list when sorting empty list" $ property $
            selectionSort [] == ([] :: [Int])

        it "returns same list if input was already sorted" $ property $
            \(x :: [Int]) -> selectionSort x == (selectionSort . selectionSort $ x)

        it "returns list with smallest element at 0" $ property $
            forAll (listOf1 arbitrary) $
                \(x :: [Int]) -> let sortedList = selectionSort x
                        in head sortedList == minimum sortedList

        it "returns list with largest element at the end" $ property $
            forAll (listOf1 arbitrary) $
                \(x :: [Int]) -> let sortedList = selectionSort x
                        in last sortedList == maximum sortedList

        it "handle simple sorting of static value" $
            let (unsortedList :: [Int]) = [4, 2, 1, 7, 3]
                (sortedList :: [Int]) = [1, 2, 3, 4, 7]
            in selectionSort unsortedList == sortedList