[MLton-commit] r4817

Vesa Karvonen vesak at mlton.org
Mon Nov 13 07:09:55 PST 2006


Added isNone for symmetry.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml	2006-11-13 00:15:32 UTC (rev 4816)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml	2006-11-13 15:09:54 UTC (rev 4817)
@@ -10,4 +10,6 @@
 structure Option : OPTION = struct
    open Option
    type 'a t = 'a option
+   val isNone = fn NONE   => true
+                 | SOME _ => false
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig	2006-11-13 00:15:32 UTC (rev 4816)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig	2006-11-13 15:09:54 UTC (rev 4817)
@@ -14,4 +14,9 @@
    (**
     * Convenience alias.
     *)
+
+   val isNone : 'a option -> bool
+   (**
+    * Returns {true} if given option is {NONE}; otherwise returns {false}.
+    *)
 end




More information about the MLton-commit mailing list