|
From: Vesa K. <ve...@ml...> - 2006-11-13 07:09:56
|
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
|