Documentation

Init.Data.Array.QSort

@[inline]

def Array.qpartition {α : Type} [inst : Inhabited α] (as : Array α) (lt : α → α → Bool) (lo : Nat) (hi : Nat) :

Nat × Array α

Equations

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

def Array.qpartition.loop {α : Type} [inst : Inhabited α] (lt : α → α → Bool) (hi : Nat) (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} [inst : Inhabited α] (as : Array α) (lt : α → α → Bool) (low : optParam Nat 0) (high : optParam Nat (Array.size as - 1)) :

Equations

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

@[specialize]

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