def Array.qpartition {α : Type u_1} (as : Array α) (lt : α → α → Bool) (lo : Nat) (hi : Nat) : Nat × Array α

Equations

• One or more equations did not get rendered due to their size.

@[irreducible]

def Array.qpartition.loop {α : Type u_1} (lt : α → α → Bool) (hi : Nat) (this : Inhabited α) (pivot : α) (as : Array α) (i : Nat) (j : Nat) : Nat × Array α

Equations

• One or more equations did not get rendered due to their size.

@[inline]

def Array.qsort {α : Type u_1} (as : Array α) (lt : α → α → Bool) (low : optParam Nat 0) (high : optParam Nat (as.size - 1)) : Array α

Equations

• as.qsort lt low high = Array.qsort.sort lt as low high

@[specialize #[]]

partial def Array.qsort.sort {α : Type u_1} (lt : α → α → Bool) (as : Array α) (low : Nat) (high : Nat) : Array α

def Array.qsortOrd {α : Type u_1} [ord : Ord α] (xs : Array α) : Array α

Sort an array using compare to compare elements.

Equations

• xs.qsortOrd = xs.qsort fun (x y : α) => (compare x y).isLT