1 files changed, 7 insertions, 1 deletions

diff --git a/ControlMaybe.hs b/ControlMaybe.hs
index 69a38f7..659dab7 100644
--- a/ControlMaybe.hs
+++ b/ControlMaybe.hs
@@ -4,9 +4,12 @@ module ControlMaybe where
 -- import GHC.IO.Exception (IOException(..))
 import Control.Exception as Exception (IOException(..),catch)
 
+
+withJust :: Monad m => Maybe x -> (x -> m ()) -> m ()
 withJust (Just x) f = f x
 withJust Nothing  f = return ()
 
+whenJust :: Monad m => m (Maybe x) -> (x -> m ()) -> m ()
 whenJust acn f = do
     x <- acn
     withJust x f
@@ -18,6 +21,9 @@ catchIO_ a h = Exception.catch a (\(_ :: IOException) -> h)
 catchIO :: IO a -> (IOException -> IO a)  -> IO a
 catchIO body handler = Exception.catch body handler
 
+handleIO_ :: IO a -> IO a -> IO a
 handleIO_ = flip catchIO_
-handleIO = flip catchIO
 
+
+handleIO :: (IOException -> IO a) -> IO a -> IO a
+handleIO = flip catchIO