ghcide-2.9.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageGHC2021

Development.IDE.Session.Diagnostics

Synopsis

Documentation

data CradleErrorDetails Source #

Constructors

CradleErrorDetails 

Fields

Instances

Instances details
FromJSON CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

ToJSON CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

Generic CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

Associated Types

type Rep CradleErrorDetails :: Type -> Type #

Read CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

Show CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

Eq CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

Ord CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

type Rep CradleErrorDetails Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

type Rep CradleErrorDetails = D1 ('MetaData "CradleErrorDetails" "Development.IDE.Session.Diagnostics" "ghcide-2.9.0.0-5fVLSF6BuTDBEO5GZ0xNyi" 'False) (C1 ('MetaCons "CradleErrorDetails" 'PrefixI 'True) (S1 ('MetaSel ('Just "cabalProjectFiles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath])))

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

Instances

Instances details
Show MultiCradleErr Source # 
Instance details

Defined in Development.IDE.Session.Diagnostics

parseMultiCradleErr :: [String] -> Maybe MultiCradleErr Source #

Attempt to parse a multi-cradle message