[MLton-commit] r5592

[Vesa Karvonen]

For making isomorphisms between pairs.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/generic/iso.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/iso.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/generic/iso.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/generic/iso.sml	2007-06-07 09:31:39 UTC (rev 5591)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/generic/iso.sml	2007-06-07 09:33:23 UTC (rev 5592)
@@ -25,5 +25,6 @@
       fun op --> ? = mk (Fn.map, Fn.map) ?
       fun op  +` ? = mk (Sum.map, Sum.map) ?
       fun op  *` ? = mk (Product.map, Product.map) ?
+      fun pair   ? = mk (Pair.map, Pair.map) ?
    end
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/iso.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/iso.sig	2007-06-07 09:31:39 UTC (rev 5591)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/iso.sig	2007-06-07 09:33:23 UTC (rev 5592)
@@ -48,4 +48,10 @@
     * Creates an isomorphism between products given isomorphisms between
     * elements.
     *)
+
+   val pair : ('a, 'c) t * ('b, 'd) t -> ('a * 'b, 'c * 'd) t
+   (**
+    * Creates an isomorphism between pairs given isomorphisms between
+    * elements.
+    *)
 end