Agda-2.2.4: A dependently typed functional programming language and proof assistant Source code Contents Index

Agda.Interaction.Exceptions

Description

This module defines the exception handler.

Documentation

handleParseException :: (ParseError -> IO a) -> ParseError -> IO a Source

handleDeclarationException :: (DeclarationException -> IO a) -> DeclarationException -> IO a Source

failOnException :: (Range -> String -> IO a) -> IO a -> IO a Source

Produced by Haddock version 2.4.2