Funzione IsSorted

Nome completo: Std.Arrays.IsSorted

function IsSorted<'T>(comparison : (('T, 'T) -> Bool), array : 'T[]) : Bool

Sommario

Dato una matrice, restituisce se tale matrice è ordinata in base a una determinata funzione di confronto.

Parametri di tipo

'T

Tipo di ogni elemento di array.

Immissione

paragone

Funzione che confronta due elementi in modo che a sia considerato minore o uguale a b se comparison(a, b) è true.

array

Matrice da controllare.

Prodotto

true se e solo se per ogni coppia di elementi a e b di array che si verificano in tale ordine, comparison(a, b) è true.

Osservazioni

Si presuppone che la funzione comparison sia transitiva, in modo che se comparison(a, b) e comparison(b, c), si presuppone comparison(a, c).