Safe Haskell	None
Language	Haskell2010

Development.IDE.Types.Diagnostics

Synopsis

data Diagnostic = Diagnostic {
- _range :: Range
- _severity :: Maybe DiagnosticSeverity
- _code :: Maybe NumberOrString
- _source :: Maybe DiagnosticSource
- _message :: Text
- _relatedInformation :: Maybe (List DiagnosticRelatedInformation)
}
type FileDiagnostic = (NormalizedFilePath, Diagnostic)
data DiagnosticSeverity
- = DsError
- | DsWarning
- | DsInfo
- | DsHint
type DiagnosticStore = Map NormalizedUri StoreItem
newtype List a = List [a]
ideErrorText :: NormalizedFilePath -> Text -> FileDiagnostic
showDiagnostics :: [FileDiagnostic] -> Text
showDiagnosticsColored :: [FileDiagnostic] -> Text

Documentation

data Diagnostic #

Constructors

Diagnostic
Fields _range :: Range _severity :: Maybe DiagnosticSeverity _code :: Maybe NumberOrString _source :: Maybe DiagnosticSource _message :: Text _relatedInformation :: Maybe (List DiagnosticRelatedInformation)

Instances

Eq Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods (==) :: Diagnostic -> Diagnostic -> Bool # (/=) :: Diagnostic -> Diagnostic -> Bool #
Ord Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods compare :: Diagnostic -> Diagnostic -> Ordering # (<) :: Diagnostic -> Diagnostic -> Bool # (<=) :: Diagnostic -> Diagnostic -> Bool # (>) :: Diagnostic -> Diagnostic -> Bool # (>=) :: Diagnostic -> Diagnostic -> Bool # max :: Diagnostic -> Diagnostic -> Diagnostic # min :: Diagnostic -> Diagnostic -> Diagnostic #
Read Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods readsPrec :: Int -> ReadS Diagnostic # readList :: ReadS [Diagnostic] # readPrec :: ReadPrec Diagnostic # readListPrec :: ReadPrec [Diagnostic] #
Show Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods showsPrec :: Int -> Diagnostic -> ShowS # show :: Diagnostic -> String # showList :: [Diagnostic] -> ShowS #
Generic Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Associated Types type Rep Diagnostic :: Type -> Type # Methods from :: Diagnostic -> Rep Diagnostic x # to :: Rep Diagnostic x -> Diagnostic #
ToJSON Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods toJSON :: Diagnostic -> Value # toEncoding :: Diagnostic -> Encoding # toJSONList :: [Diagnostic] -> Value # toEncodingList :: [Diagnostic] -> Encoding #
FromJSON Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods parseJSON :: Value -> Parser Diagnostic # parseJSONList :: Value -> Parser [Diagnostic] #
NFData Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods rnf :: Diagnostic -> () #
type Rep Diagnostic
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic type Rep Diagnostic = D1 (MetaData "Diagnostic" "Language.Haskell.LSP.Types.Diagnostic" "haskell-lsp-types-0.17.0.0-K3hfjWdRB9pAE7NekvVUx3" False) (C1 (MetaCons "Diagnostic" PrefixI True) ((S1 (MetaSel (Just "_range") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Range) :: (S1 (MetaSel (Just "_severity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DiagnosticSeverity)) :: S1 (MetaSel (Just "_code") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe NumberOrString)))) :: (S1 (MetaSel (Just "_source") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DiagnosticSource)) :: (S1 (MetaSel (Just "_message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "_relatedInformation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (List DiagnosticRelatedInformation)))))))

type FileDiagnostic = (NormalizedFilePath, Diagnostic) Source #

Human readable diagnostics for a specific file.

This type packages a pretty printed, human readable error message along with the related source location so that we can display the error on either the console or in the IDE at the right source location.

data DiagnosticSeverity #

Constructors

DsError	Error = 1,
DsWarning	Warning = 2,
DsInfo	Info = 3,
DsHint	Hint = 4

Instances

Eq DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods (==) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (/=) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool #
Ord DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods compare :: DiagnosticSeverity -> DiagnosticSeverity -> Ordering # (<) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (<=) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (>) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # (>=) :: DiagnosticSeverity -> DiagnosticSeverity -> Bool # max :: DiagnosticSeverity -> DiagnosticSeverity -> DiagnosticSeverity # min :: DiagnosticSeverity -> DiagnosticSeverity -> DiagnosticSeverity #
Read DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods readsPrec :: Int -> ReadS DiagnosticSeverity # readList :: ReadS [DiagnosticSeverity] # readPrec :: ReadPrec DiagnosticSeverity # readListPrec :: ReadPrec [DiagnosticSeverity] #
Show DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods showsPrec :: Int -> DiagnosticSeverity -> ShowS # show :: DiagnosticSeverity -> String # showList :: [DiagnosticSeverity] -> ShowS #
Generic DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Associated Types type Rep DiagnosticSeverity :: Type -> Type # Methods from :: DiagnosticSeverity -> Rep DiagnosticSeverity x # to :: Rep DiagnosticSeverity x -> DiagnosticSeverity #
ToJSON DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods toJSON :: DiagnosticSeverity -> Value # toEncoding :: DiagnosticSeverity -> Encoding # toJSONList :: [DiagnosticSeverity] -> Value # toEncodingList :: [DiagnosticSeverity] -> Encoding #
FromJSON DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods parseJSON :: Value -> Parser DiagnosticSeverity # parseJSONList :: Value -> Parser [DiagnosticSeverity] #
NFData DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic Methods rnf :: DiagnosticSeverity -> () #
type Rep DiagnosticSeverity
Instance details Defined in Language.Haskell.LSP.Types.Diagnostic type Rep DiagnosticSeverity = D1 (MetaData "DiagnosticSeverity" "Language.Haskell.LSP.Types.Diagnostic" "haskell-lsp-types-0.17.0.0-K3hfjWdRB9pAE7NekvVUx3" False) ((C1 (MetaCons "DsError" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DsWarning" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DsInfo" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DsHint" PrefixI False) (U1 :: Type -> Type)))

type DiagnosticStore = Map NormalizedUri StoreItem #

newtype List a #

This data type is used to host a FromJSON instance for the encoding used by elisp, where an empty list shows up as "null"

Constructors

List [a]

Instances

Functor List
Instance details Defined in Language.Haskell.LSP.Types.List Methods fmap :: (a -> b) -> List a -> List b # (<$) :: a -> List b -> List a #
Foldable List
Instance details Defined in Language.Haskell.LSP.Types.List Methods fold :: Monoid m => List m -> m # foldMap :: Monoid m => (a -> m) -> List a -> m # foldr :: (a -> b -> b) -> b -> List a -> b # foldr' :: (a -> b -> b) -> b -> List a -> b # foldl :: (b -> a -> b) -> b -> List a -> b # foldl' :: (b -> a -> b) -> b -> List a -> b # foldr1 :: (a -> a -> a) -> List a -> a # foldl1 :: (a -> a -> a) -> List a -> a # toList :: List a -> [a] # null :: List a -> Bool # length :: List a -> Int # elem :: Eq a => a -> List a -> Bool # maximum :: Ord a => List a -> a # minimum :: Ord a => List a -> a # sum :: Num a => List a -> a # product :: Num a => List a -> a #
Traversable List
Instance details Defined in Language.Haskell.LSP.Types.List Methods traverse :: Applicative f => (a -> f b) -> List a -> f (List b) # sequenceA :: Applicative f => List (f a) -> f (List a) # mapM :: Monad m => (a -> m b) -> List a -> m (List b) # sequence :: Monad m => List (m a) -> m (List a) #
Eq a => Eq (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods (==) :: List a -> List a -> Bool # (/=) :: List a -> List a -> Bool #
Ord a => Ord (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods compare :: List a -> List a -> Ordering # (<) :: List a -> List a -> Bool # (<=) :: List a -> List a -> Bool # (>) :: List a -> List a -> Bool # (>=) :: List a -> List a -> Bool # max :: List a -> List a -> List a # min :: List a -> List a -> List a #
Read a => Read (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods readsPrec :: Int -> ReadS (List a) # readList :: ReadS [List a] # readPrec :: ReadPrec (List a) # readListPrec :: ReadPrec [List a] #
Show a => Show (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods showsPrec :: Int -> List a -> ShowS # show :: List a -> String # showList :: [List a] -> ShowS #
Generic (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Associated Types type Rep (List a) :: Type -> Type # Methods from :: List a -> Rep (List a) x # to :: Rep (List a) x -> List a #
Semigroup (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods (<>) :: List a -> List a -> List a # sconcat :: NonEmpty (List a) -> List a # stimes :: Integral b => b -> List a -> List a #
Monoid (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods mempty :: List a # mappend :: List a -> List a -> List a # mconcat :: [List a] -> List a #
ToJSON a => ToJSON (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods toJSON :: List a -> Value # toEncoding :: List a -> Encoding # toJSONList :: [List a] -> Value # toEncodingList :: [List a] -> Encoding #
FromJSON a => FromJSON (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods parseJSON :: Value -> Parser (List a) # parseJSONList :: Value -> Parser [List a] #
NFData a => NFData (List a)
Instance details Defined in Language.Haskell.LSP.Types.List Methods rnf :: List a -> () #
type Rep (List a)
Instance details Defined in Language.Haskell.LSP.Types.List type Rep (List a) = D1 (MetaData "List" "Language.Haskell.LSP.Types.List" "haskell-lsp-types-0.17.0.0-K3hfjWdRB9pAE7NekvVUx3" True) (C1 (MetaCons "List" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])))

ideErrorText :: NormalizedFilePath -> Text -> FileDiagnostic Source #

showDiagnostics :: [FileDiagnostic] -> Text Source #

showDiagnosticsColored :: [FileDiagnostic] -> Text Source #