[MLton-commit] r5621

[Vesa Karvonen]

Signature for a generic hash function.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
U   mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
U   mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
A   mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm	2007-06-14 15:29:09 UTC (rev 5620)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm	2007-06-14 15:32:41 UTC (rev 5621)
@@ -20,6 +20,7 @@
    ../../../public/value/arbitrary.sig
    ../../../public/value/dummy.sig
    ../../../public/value/eq.sig
+   ../../../public/value/hash.sig
    ../../../public/value/ord.sig
    ../../../public/value/show.sig
    ../../../public/value/type-info.sig

Modified: mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.mlb	2007-06-14 15:29:09 UTC (rev 5620)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.mlb	2007-06-14 15:32:41 UTC (rev 5621)
@@ -69,6 +69,8 @@
 
          public/value/show.sig
          detail/value/show.sml
+
+         public/value/hash.sig
       in
          public/export.sml
       end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2007-06-14 15:29:09 UTC (rev 5620)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2007-06-14 15:32:41 UTC (rev 5621)
@@ -30,6 +30,9 @@
 signature EQ = EQ
 signature EQ_GENERIC = EQ_GENERIC
 
+signature HASH = HASH
+signature HASH_GENERIC = HASH_GENERIC
+
 signature ORD = ORD
 signature ORD_GENERIC = ORD_GENERIC
 

Added: mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig	2007-06-14 15:29:09 UTC (rev 5620)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig	2007-06-14 15:32:41 UTC (rev 5621)
@@ -0,0 +1,20 @@
+(* Copyright (C) 2007 SSH Communications Security, Helsinki, Finland
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+(**
+ * Signature for a generic hash function.
+ *)
+signature HASH = sig
+   structure Hash : OPEN_GENERIC_REP
+
+   val hash : ('a, 'x) Hash.t -> 'a -> Word.t
+   (** Extracts the hash function. *)
+end
+
+signature HASH_GENERIC = sig
+   include HASH OPEN_GENERIC
+   sharing Hash = Rep
+end


Property changes on: mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig
___________________________________________________________________
Name: svn:eol-style
   + native