Agda
Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Errors.Names

Description

Convert errors to their names.

Synopsis

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 #