| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.LSP.Diagnostic
Description
Handling of diagnostics in the language server - things like warnings and errors.
Synopsis
- publishWarningDiagnostics :: [(SrcLoc, Doc)] -> LspT () IO ()
- publishErrorDiagnostics :: NonEmpty ProgError -> LspT () IO ()
- diagnosticSource :: Maybe Text
- maxDiagnostic :: Int
Documentation
publishWarningDiagnostics :: [(SrcLoc, Doc)] -> 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.