Module

Vscode.Server.Diagnostic

Package: purescript-whine-core
Repository: collegevine/purescript-whine

#Diagnostic Source

type Diagnostic = { code :: String, message :: String, range :: Range, severity :: UndefinedOr DiagnosticSeverity, source :: String }

#Range Source

type Range = { end :: Position, start :: Position }

#Position Source

type Position = { character :: Int, line :: Int }

#DiagnosticSeverity Source

newtype DiagnosticSeverity

Constructors

DiagnosticSeverity Int

#diagnosticSeverity Source

diagnosticSeverity :: { error :: DiagnosticSeverity, hint :: DiagnosticSeverity, information :: DiagnosticSeverity, warning :: DiagnosticSeverity }