diff options
Diffstat (limited to 'lib/Utilities.ml')
| -rw-r--r-- | lib/Utilities.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Utilities.ml b/lib/Utilities.ml index a96d16f..52483b3 100644 --- a/lib/Utilities.ml +++ b/lib/Utilities.ml @@ -17,6 +17,11 @@ module Result = struct (Ok []) end +module Option = struct + let ( let* ) = Option.bind + let fmap f m = Option.bind m f +end + module Atomic = struct let rec swap atom f = let v = Atomic.get atom in |
