Added ControlMaybe

1 files changed, 23 insertions, 0 deletions

diff --git a/ControlMaybe.hs b/ControlMaybe.hs
new file mode 100644
index 0000000..69a38f7
--- /dev/null
+++ b/ControlMaybe.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE ScopedTypeVariables #-}
+module ControlMaybe where
+
+-- import GHC.IO.Exception (IOException(..))
+import Control.Exception as Exception (IOException(..),catch)
+
+withJust (Just x) f = f x
+withJust Nothing  f = return ()
+
+whenJust acn f = do
+    x <- acn
+    withJust x f
+
+
+catchIO_ :: IO a -> IO a -> IO a
+catchIO_ a h = Exception.catch a (\(_ :: IOException) -> h)
+
+catchIO :: IO a -> (IOException -> IO a)  -> IO a
+catchIO body handler = Exception.catch body handler
+
+handleIO_ = flip catchIO_
+handleIO = flip catchIO
+