Idris2Doc : Data.Vect.Sort

Data.Vect.Sort

sort : Ord a => Vect n a -> Vect n a
  Totality: total
sortBy : (a -> a -> Ordering) -> Vect n a -> Vect n a
  Merge sort implementation for Vect n a

  Totality: total