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 /smlnj-lib/trunk/Util/listsort-sig.sml
ViewVC logotype

View of /smlnj-lib/trunk/Util/listsort-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2144 - (download) (annotate)
Thu Nov 2 16:23:11 2006 UTC (12 years, 10 months ago) by blume
File size: 718 byte(s)
moved smlnj-lib to toplevel
(* listsort-sig.sml
 *
 * COPYRIGHT (c) 1989 by AT&T Bell Laboratories
 *
 * The generic list sorting interface.  Taken from the SML/NJ compiler.
 *)

signature LIST_SORT =
  sig

     val sort : ('a * 'a -> bool) -> 'a list -> 'a list  
	(* (sort gt l) sorts the list l in ascending order using the
	 * ``greater-than'' relationship defined by gt.
	 *)

     val uniqueSort : ('a * 'a -> order) -> 'a list -> 'a list
       (* uniquesort produces an increasing list, removing equal 
        * elements
        *)

     val sorted : ('a * 'a -> bool) -> 'a list -> bool  
	(* (sorted gt l) returns true if the list is sorted in ascending
	 * order under the ``greater-than'' predicate gt.
	 *)

  end; (* LIST_SORT *)

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