bubble sort

bubblesort.hs

import Data.List
import Test.QuickCheck

bubbleSort :: Ord a => [a] -> [a]
bubbleSort []  = []
bubbleSort [x] = [x]
bubbleSort xs  = bubbleSort zs ++ z 
  where
    (zs, z) = splitAt (length xs - 1) $ bubble xs
    bubble (y0:y1:ys)
        | y0 <= y1  = y0 : bubble (y1:ys)
        | otherwise = y1 : bubble (y0:ys)
    bubble ys = ys

prop_bubbleSort :: [Int] -> Bool
prop_bubbleSort xs = bubbleSort xs == sort xs