home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / mosmllib / ListPair.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  1.3 KB  |  50 lines  |  [TEXT/R*ch]
  1. (* ListPair *)
  2.  
  3. fun zip (xs, ys) = 
  4.     let fun h (x::xr) (y::yr) res = h xr yr ((x, y) :: res)
  5.       | h _       _       res = List.rev res
  6.     in h xs ys [] end;
  7.  
  8. fun unzip xys =
  9.     let fun h ([],          xs, ys) = (List.rev xs, List.rev ys)
  10.       | h ((x, y)::xyr, xs, ys) = h (xyr, x::xs, y::ys)
  11.     in h (xys, [], []) end;
  12.  
  13. fun map f (xs, ys) = 
  14.     let fun h (x::xr) (y::yr) res = h xr yr (f(x, y) :: res)
  15.       | h _       _       res = List.rev res
  16.     in h xs ys [] end;
  17.  
  18. fun app f (xs, ys) = 
  19.     let fun h (x::xr) (y::yr) = (f (x, y); h xr yr)
  20.       | h _       _       = ()
  21.     in h xs ys end;
  22.  
  23. fun all p (xs, ys) = 
  24.     let fun h (x::xr) (y::yr) = p(x, y) andalso h xr yr
  25.       | h _       _       = true
  26.     in h xs ys end;
  27.  
  28. fun exists p (xs, ys) = 
  29.     let fun h (x::xr) (y::yr) = p(x, y) orelse h xr yr
  30.       | h _       _       = false
  31.     in h xs ys end;
  32.  
  33. fun foldr f e (xs, ys) = 
  34.     let fun h (x::xr) (y::yr) = f(x, y, h xr yr) 
  35.       | h _       _       = e
  36.     in h xs ys end;
  37.  
  38. fun foldl f e (xs, ys) = 
  39.     let fun h e (x::xr) (y::yr) = h (f(x, y, e)) xr yr
  40.       | h e _       _       = e
  41.     in h e xs ys end;
  42.  
  43. (* The following is not a member of the Basis Library:
  44.  
  45. fun find p (xs, ys) = 
  46.     let fun h (x::xr) (y::yr) = if p (x, y) then SOME (x, y) else h xr yr
  47.       | h _       _       = NONE
  48.     in h xs ys end;
  49. *)
  50.