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 ServerConfig

Constructors

ServerConfig

Fields

• chosenCharacterSet :: Maybe CharacterSet

Instances

Show ServerConfig

Defined in Dhall.LSP.State

Methods

showsPrec :: Int -> ServerConfig -> ShowS

show :: ServerConfig -> String

showList :: [ServerConfig] -> ShowS

FromJSON ServerConfig

Defined in Dhall.LSP.State

Methods

parseJSON :: Value -> Parser ServerConfig

parseJSONList :: Value -> Parser [ServerConfig]

Default ServerConfig

Defined in Dhall.LSP.State

Methods

def :: ServerConfig

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 ServerConfig

  Access to the lsp functions supplied by haskell-lsp

lspFuncs :: Lens' ServerState (LspFuncs ServerConfig)

importCache :: Lens' ServerState Cache

httpManager :: Lens' ServerState (Maybe Dynamic)

errors :: Lens' ServerState (Map Uri DhallError)

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

initialState :: LspFuncs ServerConfig -> ServerState