| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Rzk.VSCode.Handlers
Contents
Synopsis
- parseFiles :: [FilePath] -> IO [(FilePath, Either String Module)]
- collectErrors :: [(FilePath, Either String Module)] -> ([(FilePath, String)], [(FilePath, Module)])
- maxDiagnosticCount :: Int
- filePathToNormalizedUri :: FilePath -> NormalizedUri
- typecheckFromConfigFile :: LSP ()
- provideCompletions :: Handler LSP 'Method_TextDocumentCompletion
Documentation
parseFiles :: [FilePath] -> IO [(FilePath, Either String Module)] Source #
Given a list of file paths, reads them and parses them as Rzk modules, returning the same list of file paths but with the parsed module (or parse error)
collectErrors :: [(FilePath, Either String Module)] -> ([(FilePath, String)], [(FilePath, Module)]) Source #
Given the list of possible modules returned by parseFiles, this segregates the errors
from the successfully parsed modules and returns them in separate lists so the errors
can be reported and the modules can be typechecked.
maxDiagnosticCount :: Int Source #
The maximum number of diagnostic messages to send to the client
typecheckFromConfigFile :: LSP () Source #