| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Futhark.LSP.Diagnostic
Description
Handling of diagnostics in the language server - things like warnings and errors.
Synopsis
- publishWarningDiagnostics :: [(Loc, Doc a)] -> LspT () IO ()
- publishErrorDiagnostics :: NonEmpty ProgError -> LspT () IO ()
- diagnosticSource :: Maybe Text
- maxDiagnostic :: Int
Documentation
publishWarningDiagnostics :: [(Loc, Doc a)] -> LspT () IO () Source #
Send warning diagnostics to the client.
publishErrorDiagnostics :: NonEmpty ProgError -> LspT () IO () Source #
Send error diagnostics to the client.
diagnosticSource :: Maybe Text Source #
The source of the diagnostics. (That is, the Futhark compiler, but apparently the client must be told such things...)
maxDiagnostic :: Int Source #
The maximum number of diagnostics to report.