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/mldoc/mono-hash2-table.mldoc
ViewVC logotype

View of /sml/trunk/src/smlnj-lib/Doc/mldoc/mono-hash2-table.mldoc

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2 - (download) (annotate)
Sat Oct 4 23:33:09 1997 UTC (21 years, 11 months ago) by monnier
File size: 5292 byte(s)
Initial revision
<!-- mono-hash2-table.mldoc -->

<!DOCTYPE ML-DOC SYSTEM>

<COPYRIGHT OWNER="AT&AMP;T Bell Laboratories" YEAR=1996>
<VERSION VERID="1.0" YEAR=1996 MONTH=5 DAY=29>
<TITLE>The MONO_HASH2_TABLE signature</TITLE>

<SECT>
<HEAD>The <CD/MONO_HASH2_TABLE/ signature</HEAD>

<PP>
<!-- Some general introductory text -->

<SIGNATURE SIGID="MONO_HASH2_TABLE">
  <SIGBODY SIGID="MONO_HASH2_TABLE" FILE=MONO-HASH2-TABLE-SIG>
    <SPEC>
      <SUBSTRUCT>Key1<ID>HASH_KEY</SUBSTRUCT>
    <SPEC>
      <SUBSTRUCT>Key2<ID>HASH_KEY</SUBSTRUCT>
    <SPEC>
      <TYPE><TYPARAM>'a<ID>hash_table
    <SPEC>
      <VAL>mkTable<TY>(int * exn) -> 'a hash_table
        <COMMENT>
          <PROTOTY>
          mkTable (<ARG/i/, <ARG/ex/)
          </PROTOTY>
          explain the use and semantics of mkTable HERE.
    <SPEC>
      <VAL>insert<TY>'a hash_table -> (Key1.hash_key * Key2.hash_key * 'a) -> unit
        <COMMENT>
          <PROTOTY>
          insert <ARG/ht/ (<ARG/hk/, <ARG/hk2/, <ARG/a/)
          </PROTOTY>
          explain the use and semantics of insert HERE.
    <SPEC>
      <VAL>lookup1<TY>'a hash_table -> Key1.hash_key -> 'a
        <COMMENT>
          <PROTOTY>
          lookup1 <ARG/ht/ <ARG/hk/
          </PROTOTY>
          explain the use and semantics of lookup1 HERE.
    <SPEC>
      <VAL>lookup2<TY>'a hash_table -> Key2.hash_key -> 'a
        <COMMENT>
          <PROTOTY>
          lookup2 <ARG/ht/ <ARG/hk/
          </PROTOTY>
          explain the use and semantics of lookup2 HERE.
    <SPEC>
      <VAL>find<TY>'a hash_table -> Key1.hash_key -> 'a option
        <COMMENT>
          <PROTOTY>
          find <ARG/ht/ <ARG/hk/
          </PROTOTY>
          explain the use and semantics of find HERE.
    <SPEC>
      <VAL>find<TY>'a hash_table -> Key2.hash_key -> 'a option
        <COMMENT>
          <PROTOTY>
          find <ARG/ht/ <ARG/hk/
          </PROTOTY>
          explain the use and semantics of find HERE.
    <SPEC>
      <VAL>remove<TY>'a hash_table -> Key1.hash_key -> 'a
        <COMMENT>
          <PROTOTY>
          remove <ARG/ht/ <ARG/hk/
          </PROTOTY>
          explain the use and semantics of remove HERE.
    <SPEC>
      <VAL>remove<TY>'a hash_table -> Key2.hash_key -> 'a
        <COMMENT>
          <PROTOTY>
          remove <ARG/ht/ <ARG/hk/
          </PROTOTY>
          explain the use and semantics of remove HERE.
    <SPEC>
      <VAL>numItems<TY>'a hash_table -> int
        <COMMENT>
          <PROTOTY>
          numItems <ARG/ht/
          </PROTOTY>
          explain the use and semantics of numItems HERE.
    <SPEC>
      <VAL>listItems<TY>'a hash_table -> (Key1.hash_key * Key2.hash_key * 'a) list
        <COMMENT>
          <PROTOTY>
          listItems <ARG/ht/
          </PROTOTY>
          explain the use and semantics of listItems HERE.
    <SPEC>
      <VAL>app<TY>('a -> unit) -> 'a hash_table -> unit
        <COMMENT>
          <PROTOTY>
          app <ARG/f/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of app HERE.
    <SPEC>
      <VAL>appi<TY>((Key1.hash_key * Key2.hash_key * 'a) -> unit) -> 'a hash_table -> unit
        <COMMENT>
          <PROTOTY>
          appi <ARG/f/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of appi HERE.
    <SPEC>
      <VAL>map<TY>('a -> 'b) -> 'a hash_table -> 'b hash_table
        <COMMENT>
          <PROTOTY>
          map <ARG/f/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of map HERE.
    <SPEC>
      <VAL>mapi<TY>((Key1.hash_key * Key2.hash_key * 'a) -> 'b) -> 'a hash_table -> 'b hash_table
        <COMMENT>
          <PROTOTY>
          mapi <ARG/f/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of mapi HERE.
    <SPEC>
      <VAL>fold<TY>(('a * 'b) -> 'b) -> 'b -> 'a hash_table -> 'b
        <COMMENT>
          <PROTOTY>
          fold <ARG/f/ <ARG/a/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of fold HERE.
    <SPEC>
      <VAL>foldi<TY>((Key1.hash_key * Key2.hash_key * 'a * 'b) -> 'b) -> 'b -> 'a hash_table -> 'b
        <COMMENT>
          <PROTOTY>
          foldi <ARG/f/ <ARG/a/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of foldi HERE.
    <SPEC>
      <VAL>filter<TY>('a -> bool) -> 'a hash_table -> unit
        <COMMENT>
          <PROTOTY>
          filter <ARG/f/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of filter HERE.
    <SPEC>
      <VAL>filteri<TY>((Key1.hash_key * Key2.hash_key * 'a) -> bool) -> 'a hash_table -> unit
        <COMMENT>
          <PROTOTY>
          filteri <ARG/f/ <ARG/ht/
          </PROTOTY>
          explain the use and semantics of filteri HERE.
    <SPEC>
      <VAL>copy<TY>'a hash_table -> 'a hash_table
        <COMMENT>
          <PROTOTY>
          copy <ARG/ht/
          </PROTOTY>
          explain the use and semantics of copy HERE.
    <SPEC>
      <VAL>bucketSizes<TY>'a hash_table -> (int list * int list)
        <COMMENT>
          <PROTOTY>
          bucketSizes <ARG/ht/
          </PROTOTY>
          explain the use and semantics of bucketSizes HERE.
<!-- optional SEEALSO; uncomment to use     -->
<!-- <SEEALSO>    -->
<!--   non-empty list of XREFS here   -->
<!-- </SEEALSO>    -->
</SIGNATURE>

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