| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Development.IDE.Session.Diagnostics
Synopsis
- data CradleErrorDetails = CradleErrorDetails {}
- renderCradleError :: CradleError -> Cradle a -> NormalizedFilePath -> FileDiagnostic
- data MultiCradleErr = MultiCradleErr {
- mcPwd :: FilePath
- mcFilePath :: FilePath
- mcPrefixes :: [(FilePath, String)]
- parseMultiCradleErr :: [String] -> Maybe MultiCradleErr
- multiCradleErrMessage :: MultiCradleErr -> [String]
- unknownModuleMessage :: String -> [String]
Documentation
data CradleErrorDetails Source #
Constructors
| CradleErrorDetails | |
Fields
| |
Instances
renderCradleError :: CradleError -> Cradle a -> NormalizedFilePath -> FileDiagnostic Source #
Takes a cradle error, the corresponding cradle and the file path where the cradle error occurred (of the file we attempted to load). Depicts the cradle error in a user-friendly way.
data MultiCradleErr Source #
Information included in Multi Cradle error messages
Constructors
| MultiCradleErr | |
Fields
| |
Instances
| Show MultiCradleErr Source # | |
Defined in Development.IDE.Session.Diagnostics Methods showsPrec :: Int -> MultiCradleErr -> ShowS # show :: MultiCradleErr -> String # showList :: [MultiCradleErr] -> ShowS # | |
parseMultiCradleErr :: [String] -> Maybe MultiCradleErr Source #
Attempt to parse a multi-cradle message
multiCradleErrMessage :: MultiCradleErr -> [String] Source #
unknownModuleMessage :: String -> [String] Source #