| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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 Source
failOnException :: (Range -> String -> IO a) -> IO a -> IO a Source
Note that failOnException only catches ParseErrors.