mlnlffigen/sets-and-maps.sml

   1 (*************************************************************************)
   2 (* string-key.sml
   3  *
   4  *  (C) 2002, Lucent Technologies, Bell Labs
   5  *
   6  * author: Matthias Blume (blume@research.bell-labs.com)
   7  *)
   8 structure StringKey = struct
   9     type ord_key = string
  10     val compare = String.compare
  11 end
  12 (*************************************************************************)
  13 (* string-set.sml
  14  *
  15  *  (C) 2002, Lucent Technologies, Bell Labs
  16  *
  17  * author: Matthias Blume (blume@research.bell-labs.com)
  18  *)
  19 structure StringSet = RedBlackSetFn (StringKey)
  20 (*************************************************************************)
  21 (* string-map.sml
  22  *
  23  *  (C) 2002, Lucent Technologies, Bell Labs
  24  *
  25  * author: Matthias Blume (blume@research.bell-labs.com)
  26  *)
  27 structure StringMap = RedBlackMapFn (StringKey)
  28 (*************************************************************************)
  29 structure IntListKey = struct
  30     type ord_key = int list
  31     val compare = List.collate Int.compare
  32 end
  33 (*************************************************************************)
  34 (* intlist-map.sml
  35  *
  36  *  (C) 2002, Lucent Technologies, Bell Labs
  37  *
  38  * author: Matthias Blume (blume@research.bell-labs.com)
  39  *)
  40 structure IntListMap = RedBlackMapFn (IntListKey)
  41 (*************************************************************************)
  42 structure LargeIntKey = struct
  43     type ord_key = LargeInt.int
  44     val compare = LargeInt.compare
  45 end
  46 (*************************************************************************)
  47 structure LargeIntSet = RedBlackSetFn (LargeIntKey)
  48 (*************************************************************************)