annotateLet | Dhall.LSP.Backend.Typing |
binderExprFromText | Dhall.LSP.Backend.Parsing |
buildCompletionContext | Dhall.LSP.Backend.Completion |
buildCompletionContext' | Dhall.LSP.Backend.Completion |
Cache | Dhall.LSP.Backend.Dhall |
chosenCharacterSet | Dhall.LSP.State |
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 |