SML/NJ Library Manual

The ARRAY_SORT signature


signature ARRAY_SORT

The ARRAY_SORT signature provides an interface for the in-place sorting of polymorphic arrays.


type 'a array
val sort : (('a * 'a) -> order) -> 'a array -> unit
val sorted : (('a * 'a) -> order) -> 'a array -> bool


type 'a array

sort cmp arr
sorts the array arr in non-decreasing order using the comparison relationship defined by cmp.

sorted cmp arr
returns true if the array arr is sorted in non-decreasing order under the comparison relationship cmp.

See Also

ArrayQSort, MONO_ARRAY_SORT, ArrayQSortFn

[ Top | Parent | Contents | Index | Root ]

Last Modified May 12, 1998
Comments to John Reppy
Copyright © 1998 Bell Labs, Lucent Technologies