| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Mikan.TypeChecking.Errors.Names
Description
Convert errors to their names.
Synopsis
- typeErrorString :: TypeError -> String
- typeErrorName :: TypeError -> ErrorName
- impossibleConstructorErrorName :: NegativeUnification -> NegativeUnification_
- missingTypeSignatureInfoName :: MissingTypeSignatureInfo -> DataRecOrFun_
- notAHaskellTypeErrorName :: WhyNotAHaskellType -> NotAHaskellType_
- unquotableName :: CannotQuote -> CannotQuote_