SML/NJ Library Manual

The MONO_ARRAY_SORT signature

Synopsis

signature MONO_ARRAY_SORT


The MONO_ARRAY_SORT signature provides an interface for the in-place sorting of monomorphic arrays.

Interface

structure A : MONO_ARRAY
val sort : ((A.elem * A.elem) -> order) -> A.array -> unit
val sorted : ((A.elem * A.elem) -> order) -> A.array -> bool


Description

structure A

provides a structure in which the array and element type are defined.

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

MONO_ARRAY, ARRAY_SORT, ArrayQSort

Last Modified June 9, 1998
Comments to John Reppy
Copyright © 1998 Bell Labs, Lucent Technologies