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/comp-lib/sortedlist.sml
ViewVC logotype

View of /sml/trunk/src/comp-lib/sortedlist.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 430 - (download) (annotate)
Wed Sep 8 09:47:00 1999 UTC (21 years, 10 months ago) by monnier
File size: 1614 byte(s)
This commit was generated by cvs2svn to compensate for changes in r429,
which included commits to RCS files with non-trunk default branches.
(* Copyright 1989 by AT&T Bell Laboratories *)
structure SortedList =

fun enter(new:int,l) =
  let fun f [] = [new]
	| f (l as h::t) = if new<h then new::l else if new>h then h::f t else l
  in  f l

fun merge(a,[]) = a
  | merge([],a) = a
  | merge(l as (i:int)::a, m as j::b) = 
      if j<i then j::merge(l,b) else i::merge(a,if i<j then m else b)

local fun loop (a::b::rest) = loop(merge(a,b)::loop rest)
        | loop l = l
in fun foldmerge l = hd(loop l) handle Hd => []

fun uniq l =
    let fun split([],l,r) = (l,r)
	  | split(h::t,l,r) = split(t,r,h::l)
        fun sort [] = []
          | sort (l as [_]) = l
          | sort (l as [x : int,y : int]) = 
             if x = y then [x] else if x < y then l else [y,x]
          | sort l = let val (l,r) = split(l,[],[])
                     in  merge(sort l, sort r) end
    in  sort l

fun remove(x as (xl:int)::xr, y as yl::yr) =
    if xl>yl then yl::remove(x,yr) else remove(xr,if xl<yl then y else yr)
  | remove(_,y) = y

fun rmv (x : int,l) =
    let fun loop nil = nil
	  | loop (a::b) = if x=a then b else a::loop b
    in loop l

fun member l (e:int) =
  let fun f [] = false
	| f (h::t) = if h<e then f t else e=h
  in  f l

fun intersect(nil,_) = nil
  | intersect(_,nil) = nil
  | intersect(l as (a:int)::b,r as c::d) =
	if a=c then a::intersect(b,d)
	else if a<c then intersect(b,r)
	else intersect(l,d)

fun difference(nil,_) = nil
  | difference(l,nil) = l
  | difference(l as (a:int)::b,r as c::d) =
	if a=c then difference(b,d)
	else if a<c then a::difference(b,r)
	else difference(l,d)	

ViewVC Help
Powered by ViewVC 1.0.0