Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Interaction.Exceptions
Description
This module defines the exception handler.
Synopsis
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.
Produced by Haddock version 2.6.0