Idris2Doc : Data.Vect.Sort

Data.Vect.Sort

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

Totality: total