bracket, (un)block and MonadIO

Keith Wansbrough [email protected]
Fri, 05 Sep 2003 13:02:22 +0100


>  	-- ** The @handle@ functions
> -	handle,	   -- :: (Exception -> IO a) -> IO a -> IO a
> -	handleJust,-- :: (Exception -> Maybe b) -> (b -> IO a) -> IO a -> IO a
> +	handle,	   -- :: MonadIO m => (Exception -> m a) -> m a -> m a
> +	handleJust,-- :: (Exception -> Maybe b) -> (b -> m a) -> m a -> m a

Is the MonadIO constraint on m intentionally missing from handleJust?

--KW 8-)
-- 
Keith Wansbrough <[email protected]>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.