ModuleAgda-2.8.0.2Haskell2010

Agda.TypeChecking.Errors.Names

Convert errors to their names.

Synopsis

valuetypeErrorString :: TypeError -> String

Print the name of a TypeError.

valuetypeErrorName :: TypeError -> ErrorName

Compute the name of a TypeError.

valuedeclarationExceptionName :: DeclarationException' -> DeclarationException_

valueexecErrorName :: ExecError -> ExecError_

valueghcBackendErrorName :: GHCBackendError -> GHCBackendError_

valuejsBackendErrorName :: JSBackendError -> JSBackendError_

valueimpossibleConstructorErrorName

valueinteractionErrorName :: InteractionError -> InteractionError_

valuemissingTypeSignatureInfoName :: MissingTypeSignatureInfo -> DataRecOrFun_

valuenotAHaskellTypeErrorName :: WhyNotAHaskellType -> NotAHaskellType_

valuesplitErrorName :: SplitError -> SplitError_

valueunquotableName :: CannotQuote -> CannotQuote_

valueunquoteErrorName :: UnquoteError -> UnquoteError_