Dhall.LSP.State

Documentation

type HandlerM = ExceptT (Severity, Text) (StateT ServerState IO)

data Severity

Constructors

Error

Error displayed to the user.

Warning

Warning displayed to the user.

Info

Information displayed to the user.

Log

Log message, not displayed by default.

data ServerState

Constructors

ServerState

Fields

• _importCache :: Cache

  The dhall import cache

• _errors :: Map Uri DhallError

  Map from dhall files to their errors

• _httpManager :: Maybe Dynamic

  The http manager used by dhall's import infrastructure

• _lspFuncs :: LspFuncs ()

  Access to the lsp functions supplied by haskell-lsp

lspFuncs :: Lens' ServerState (LspFuncs ())

importCache :: Lens' ServerState Cache

httpManager :: Lens' ServerState (Maybe Dynamic)

errors :: Lens' ServerState (Map Uri DhallError)

sendFunc :: Functor f => LensLike' f (LspFuncs ()) (FromServerMessage -> IO ())

initialState :: LspFuncs () -> ServerState