Data.Vect.Sort

Definitions

sortBy : (a -> a -> Ordering) -> Vect n a -> Vect n a

  Merge sort implementation for Vect n a

Totality: total
Visibility: export

sort : Ord a => Vect n a -> Vect n a

Totality: total
Visibility: export