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 aSource
failOnException :: (Range -> String -> IO a) -> IO a -> IO aSource
Note that failOnException only catches ParseErrors.