Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/smlnj-lib/Doc/ML-Doc/Util/array-sort.mldoc
ViewVC logotype

View of /sml/trunk/src/smlnj-lib/Doc/ML-Doc/Util/array-sort.mldoc

Parent Directory Parent Directory | Revision Log Revision Log


Revision 137 - (download) (annotate)
Mon Sep 7 21:09:17 1998 UTC (20 years, 11 months ago) by monnier
File size: 1299 byte(s)
Initial revision
<!-- array-sort.mldoc -->
<!-- Entities.sgml entry 
<!ENTITY ARRAY-SORT SDATA "array-sort-sig.sml">
 -->

<!DOCTYPE ML-DOC SYSTEM>

<COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998>
<VERSION VERID="1.0" YEAR=1998 MONTH=5 DAY=12>
<TITLE>The ARRAY_SORT signature</TITLE>

<INTERFACE>
<HEAD>The <CD/ARRAY_SORT/ signature</HEAD>
<SEEALSO>
  <STRREF TOPID/ArrayQSort/
  <SIGREF/MONO_ARRAY_SORT/
  <FCTREF/ArrayQSortFn/
</SEEALSO>

<PP>
The <SIGREF NOLINK/ARRAY_SORT/ signature provides an
interface for the in-place sorting of polymorphic arrays.


<SIGNATURE SIGID="ARRAY_SORT">
  <SIGBODY SIGID="ARRAY_SORT" FILE=ARRAY-SORT>
    <SPEC>
      <TYPE><TYPARAM>'a<ID>array
    <SPEC>
      <VAL>sort<TY>(('a * 'a) -> order) -> 'a array -> unit
        <COMMENT>
          <PROTOTY>
          sort <ARG/cmp/ <ARG/arr/
          </PROTOTY>
          sorts the array <ARG/arr/ in non-decreasing order using
          the comparison relationship defined by <ARG/cmp/.
    <SPEC>
      <VAL>sorted<TY>(('a * 'a) -> order) -> 'a array -> bool
        <COMMENT>
          <PROTOTY>
          sorted <ARG/cmp/ <ARG/arr/
          </PROTOTY>
          returns true if the array <ARG/arr/ is sorted in non-decreasing
          order under the comparison relationship <ARG/cmp/.
</SIGNATURE>

</INTERFACE>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0