idris

Safe HaskellNone

Util.System

Documentation

catchIO :: IO a -> (IOError -> IO a) -> IO aSource