Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #