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