diff options
| author |  Aleksandar Milicevic <unknown> | 2011-10-07 19:39:07 -0400 |
|---|---|---|
| committer | Aleksandar Milicevic <unknown> | 2011-10-07 19:39:07 -0400 |
| commit | 7366d2fe7b18ad4425ae807b5a7b8cc8a25449c2 (patch) | |
| tree | debee597327430897d5702119b394645cdeae968 /Jennisys/Utils.fs | |
| parent | 0a8e7489a6a95495b8a36b4d46b747745f663318 (diff) | |
Jennisys: Implemented some support for mutator methods by keeping track of the pre state
Diffstat (limited to 'Jennisys/Utils.fs')
| -rw-r--r-- | Jennisys/Utils.fs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Jennisys/Utils.fs b/Jennisys/Utils.fs index dcb13f08..e39464f1 100644 --- a/Jennisys/Utils.fs +++ b/Jennisys/Utils.fs @@ -22,6 +22,14 @@ let BoolToOption b = // =====================================
/// ensures: ret = (opt == Some(_))
// =====================================
+let OptionToBool opt =
+ match opt with
+ | Some(_) -> true
+ | None -> false
+
+// =====================================
+/// ensures: ret = (opt == Some(_))
+// =====================================
let IsSomeOption opt =
match opt with
| Some(_) -> true
|