Contents
Index
dhall-lsp-server-1.0.9: Language Server Protocol (LSP) server for Dhall
Index
annotateLet
Dhall.LSP.Backend.Typing
asciiOnly
Dhall.LSP.State
binderExprFromText
Dhall.LSP.Backend.Parsing
buildCompletionContext
Dhall.LSP.Backend.Completion
buildCompletionContext'
Dhall.LSP.Backend.Completion
Cache
Dhall.LSP.Backend.Dhall
CompileError
Dhall.LSP.Backend.ToJSON
completeEnvironmentImport
Dhall.LSP.Backend.Completion
completeFromContext
Dhall.LSP.Backend.Completion
completeLocalImport
Dhall.LSP.Backend.Completion
completeProjections
Dhall.LSP.Backend.Completion
completeText
Dhall.LSP.Backend.Completion
completeType
Dhall.LSP.Backend.Completion
Completion
1 (Type/Class)
Dhall.LSP.Backend.Completion
2 (Data Constructor)
Dhall.LSP.Backend.Completion
CompletionContext
1 (Type/Class)
Dhall.LSP.Backend.Completion
2 (Data Constructor)
Dhall.LSP.Backend.Completion
completionHandler
Dhall.LSP.Handlers
completionQueryAt
Dhall.LSP.Backend.Completion
computeSemanticHash
Dhall.LSP.Backend.Freezing
context
Dhall.LSP.Backend.Completion
contextToVariables
Dhall.LSP.Backend.Completion
DhallError
Dhall.LSP.Backend.Dhall
,
Dhall.LSP.Backend.Diagnostics
diagnose
Dhall.LSP.Backend.Diagnostics
Diagnosis
1 (Type/Class)
Dhall.LSP.Backend.Diagnostics
2 (Data Constructor)
Dhall.LSP.Backend.Diagnostics
diagnosis
Dhall.LSP.Backend.Diagnostics
diagnosticsHandler
Dhall.LSP.Handlers
didOpenTextDocumentNotificationHandler
Dhall.LSP.Handlers
didSaveTextDocumentNotificationHandler
Dhall.LSP.Handlers
doctor
Dhall.LSP.Backend.Diagnostics
documentFormattingHandler
Dhall.LSP.Handlers
documentLinkHandler
Dhall.LSP.Handlers
embedsWithRanges
Dhall.LSP.Backend.Diagnostics
emptyCache
Dhall.LSP.Backend.Dhall
Error
Dhall.LSP.State
ErrorImportSourced
Dhall.LSP.Backend.Dhall
ErrorInternal
Dhall.LSP.Backend.Dhall
ErrorParse
Dhall.LSP.Backend.Dhall
errors
Dhall.LSP.State
ErrorTypecheck
Dhall.LSP.Backend.Dhall
executeAnnotateLet
Dhall.LSP.Handlers
executeCommandHandler
Dhall.LSP.Handlers
executeFreezeAllImports
Dhall.LSP.Handlers
executeFreezeImport
Dhall.LSP.Handlers
executeLintAndFormat
Dhall.LSP.Handlers
explain
Dhall.LSP.Backend.Diagnostics
exprAt
Dhall.LSP.Backend.Typing
FileIdentifier
Dhall.LSP.Backend.Dhall
fileIdentifierFromFilePath
Dhall.LSP.Backend.Dhall
fileIdentifierFromURI
Dhall.LSP.Backend.Dhall
fileIdentifierFromUri
Dhall.LSP.Handlers
formatExpr
Dhall.LSP.Backend.Formatting
formatExprWithHeader
Dhall.LSP.Backend.Formatting
fromNormal
Dhall.LSP.Backend.Dhall
fromWellTyped
Dhall.LSP.Backend.Dhall
getAllImportsWithHashPositions
Dhall.LSP.Backend.Freezing
getCommandArguments
Dhall.LSP.Handlers
getForallIdentifier
Dhall.LSP.Backend.Parsing
getImportHash
Dhall.LSP.Backend.Parsing
getImportHashPosition
Dhall.LSP.Backend.Freezing
getImportLink
Dhall.LSP.Backend.Parsing
getLamIdentifier
Dhall.LSP.Backend.Parsing
getLetAnnot
Dhall.LSP.Backend.Parsing
getLetIdentifier
Dhall.LSP.Backend.Parsing
getLetInner
Dhall.LSP.Backend.Parsing
getServerConfig
Dhall.LSP.Handlers
HandlerM
Dhall.LSP.State
hashNormalToCode
Dhall.LSP.Backend.Dhall
holeExpr
Dhall.LSP.Backend.Parsing
hoverExplain
Dhall.LSP.Handlers
hoverHandler
Dhall.LSP.Handlers
hoverType
Dhall.LSP.Handlers
httpManager
Dhall.LSP.State
importCache
Dhall.LSP.State
Info
Dhall.LSP.State
initialState
Dhall.LSP.State
invalidate
Dhall.LSP.Backend.Dhall
left
Dhall.LSP.Backend.Diagnostics
lint
Dhall.LSP.Backend.Linting
load
Dhall.LSP.Backend.Dhall
loadFile
Dhall.LSP.Handlers
Log
Dhall.LSP.State
lspFuncs
Dhall.LSP.State
lspRequest
Dhall.LSP.Handlers
lspRespond
Dhall.LSP.Handlers
lspSend
Dhall.LSP.Handlers
lspSendNotification
Dhall.LSP.Handlers
lspUserMessage
Dhall.LSP.Handlers
Normal
Dhall.LSP.Backend.Dhall
normalize
Dhall.LSP.Backend.Dhall
nullHandler
Dhall.LSP.Handlers
offsetToPosition
Dhall.LSP.Backend.Diagnostics
parse
Dhall.LSP.Backend.Dhall
parseWithHeader
Dhall.LSP.Backend.Dhall
Position
Dhall.LSP.Backend.Diagnostics
positionFromMegaparsec
Dhall.LSP.Backend.Diagnostics
positionToOffset
Dhall.LSP.Backend.Diagnostics
Range
1 (Type/Class)
Dhall.LSP.Backend.Diagnostics
2 (Data Constructor)
Dhall.LSP.Backend.Diagnostics
range
1 (Function)
Dhall.LSP.Backend.Diagnostics
2 (Function)
Dhall.LSP.Backend.Linting
rangeFromDhall
Dhall.LSP.Backend.Diagnostics
rangeToJSON
Dhall.LSP.Handlers
readUri
Dhall.LSP.Handlers
right
Dhall.LSP.Backend.Diagnostics
run
Dhall.LSP.Server
sendFunc
Dhall.LSP.State
ServerConfig
1 (Type/Class)
Dhall.LSP.State
2 (Data Constructor)
Dhall.LSP.State
ServerState
1 (Type/Class)
Dhall.LSP.State
2 (Data Constructor)
Dhall.LSP.State
Severity
Dhall.LSP.State
srcAt
Dhall.LSP.Backend.Typing
stripHash
Dhall.LSP.Backend.Freezing
subtractPosition
Dhall.LSP.Backend.Diagnostics
suggest
Dhall.LSP.Backend.Linting
Suggestion
1 (Type/Class)
Dhall.LSP.Backend.Linting
2 (Data Constructor)
Dhall.LSP.Backend.Linting
suggestion
Dhall.LSP.Backend.Linting
toJSON
Dhall.LSP.Backend.ToJSON
typeAt
Dhall.LSP.Backend.Typing
typecheck
Dhall.LSP.Backend.Dhall
values
Dhall.LSP.Backend.Completion
Warning
Dhall.LSP.State
WellTyped
Dhall.LSP.Backend.Dhall
wrapHandler
Dhall.LSP.Handlers
_errors
Dhall.LSP.State
_httpManager
Dhall.LSP.State
_importCache
Dhall.LSP.State
_lspFuncs
Dhall.LSP.State