Idris2Doc : Data.Vect.Sort

Data.Vect.Sort

Definitions

sortBy : (a->a->Ordering) ->Vectna->Vectna
  Merge sort implementation for Vect n a

Totality: total
Visibility: export
sort : Orda=>Vectna->Vectna
Totality: total
Visibility: export