Safe Haskell | Safe-Infered |
---|
Agda.Interaction.Exceptions
Description
This module defines the exception handler.
- handleParseException :: (ParseError -> IO a) -> ParseError -> IO a
- failOnException :: (Range -> String -> IO a) -> IO a -> IO a
Documentation
handleParseException :: (ParseError -> IO a) -> ParseError -> IO a
failOnException :: (Range -> String -> IO a) -> IO a -> IO a
Note that failOnException
only catches ParseError
s.