Dhall.LSP.State

Documentation

type HandlerM = ExceptT (Severity, Text) (StateT ServerState (LspT ServerConfig 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

FromJSON ServerConfig

Defined in Dhall.LSP.State

Methods

parseJSON :: Value -> Parser ServerConfig

parseJSONList :: Value -> Parser [ServerConfig]

Show ServerConfig

Defined in Dhall.LSP.State

Methods

showsPrec :: Int -> ServerConfig -> ShowS

show :: ServerConfig -> String

showList :: [ServerConfig] -> ShowS

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

importCache :: Lens' ServerState Cache

httpManager :: Lens' ServerState (Maybe Dynamic)

errors :: Lens' ServerState (Map Uri DhallError)

initialState :: ServerState