[MLton-commit] r4841

[Vesa K. <ve...@ml...>]

Added map.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/basic/unstable/basic.mlb
U   mltonlib/trunk/com/ssh/basic/unstable/detail/bin-op.sml
U   mltonlib/trunk/com/ssh/basic/unstable/public/bin-op.sig

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

Modified: mltonlib/trunk/com/ssh/basic/unstable/basic.mlb
===================================================================
--- mltonlib/trunk/com/ssh/basic/unstable/basic.mlb	2006-11-19 19:52:20 UTC (rev 4840)
+++ mltonlib/trunk/com/ssh/basic/unstable/basic.mlb	2006-11-19 19:56:24 UTC (rev 4841)
@@ -32,7 +32,7 @@
             bas public/univ.sig detail/univ.sml end
          end
          basis BinOp = let
-            open Sq
+            open Fn Sq
          in
             bas public/bin-op.sig detail/bin-op.sml end
          end

Modified: mltonlib/trunk/com/ssh/basic/unstable/detail/bin-op.sml
===================================================================
--- mltonlib/trunk/com/ssh/basic/unstable/detail/bin-op.sml	2006-11-19 19:52:20 UTC (rev 4840)
+++ mltonlib/trunk/com/ssh/basic/unstable/detail/bin-op.sml	2006-11-19 19:56:24 UTC (rev 4841)
@@ -6,4 +6,5 @@
 
 structure BinOp :> BIN_OP = struct
    type 'a t = 'a Sq.t -> 'a
+   fun map (b2a, a2b) = Fn.map (Sq.map b2a, a2b)
 end

Modified: mltonlib/trunk/com/ssh/basic/unstable/public/bin-op.sig
===================================================================
--- mltonlib/trunk/com/ssh/basic/unstable/public/bin-op.sig	2006-11-19 19:52:20 UTC (rev 4840)
+++ mltonlib/trunk/com/ssh/basic/unstable/public/bin-op.sig	2006-11-19 19:56:24 UTC (rev 4841)
@@ -8,4 +8,7 @@
 signature BIN_OP = sig
    type 'a t = 'a Sq.t -> 'a
    (** Type of binary operators (e.g. {+, -, @, ...}). *)
+
+   val map : ('b, 'a) Iso.t -> 'a t -> 'b t
+   (** Change the sort of a binary operator. *)
 end