Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Errors.Names

Description

Convert errors to their names.

Synopsis

- typeErrorString :: TypeError -> String
- typeErrorName :: TypeError -> ErrorName
- declarationExceptionName :: DeclarationException' -> DeclarationException_
- execErrorName :: ExecError -> ExecError_
- ghcBackendErrorName :: GHCBackendError -> GHCBackendError_
- jsBackendErrorName :: JSBackendError -> JSBackendError_
- impossibleConstructorErrorName :: NegativeUnification -> NegativeUnification_
- interactionErrorName :: InteractionError -> InteractionError_
- missingTypeSignatureInfoName :: MissingTypeSignatureInfo -> DataRecOrFun_
- notAHaskellTypeErrorName :: WhyNotAHaskellType -> NotAHaskellType_
- splitErrorName :: SplitError -> SplitError_
- unquotableName :: CannotQuote -> CannotQuote_
- unquoteErrorName :: UnquoteError -> UnquoteError_

# Documentation

typeErrorString :: TypeError -> String Source #

Print the name of a `TypeError`.

typeErrorName :: TypeError -> ErrorName Source #

Compute the name of a `TypeError`.

declarationExceptionName :: DeclarationException' -> DeclarationException_ Source #

execErrorName :: ExecError -> ExecError_ Source #

ghcBackendErrorName :: GHCBackendError -> GHCBackendError_ Source #

jsBackendErrorName :: JSBackendError -> JSBackendError_ Source #

impossibleConstructorErrorName :: NegativeUnification -> NegativeUnification_ Source #

interactionErrorName :: InteractionError -> InteractionError_ Source #

missingTypeSignatureInfoName :: MissingTypeSignatureInfo -> DataRecOrFun_ Source #

notAHaskellTypeErrorName :: WhyNotAHaskellType -> NotAHaskellType_ Source #

splitErrorName :: SplitError -> SplitError_ Source #

unquotableName :: CannotQuote -> CannotQuote_ Source #

unquoteErrorName :: UnquoteError -> UnquoteError_ Source #