Data.Select.Intro

This module provides an implementation of introselect on boxed vectors. It begins as quickselect, but if it discovers it's in a pathological case, it switches to a median-of-medians implementation. This guarantees \(\mathcal{O}(n)\) worst-case time.

Documentation

selectBy :: (a -> a -> Bool) -> Int -> Vector a -> a

\(\mathcal{O}(n)\). Find the nth item, ordered by the supplied relation.

i >= 0 && i < length xs ==> sort xs !! i === selectBy (<=) i (Vector.fromList xs)

select :: Ord a => Int -> Vector a -> a

\(\mathcal{O}(n)\). Find the nth smallest item in the vector.

>>> select 4 (Vector.fromList "this is an example")
'a'

>>> select 3 (Vector.fromList [0,1,4,2,3,5,6])
3