WithAddressContractNamesResolver returns a server option that sets the given function as the function that is used to resolve contract names of an address.

WithAddressImportResolver returns a server option that sets the given function as the function that is used to resolve address imports.

WithCodeLensProvider returns a server option that adds the given function as a function that is used to generate code lenses.

WithCommand returns a server options that adds the given command to the set of commands provided by the server to the client.

WithDiagnosticProvider returns a server option that adds the given function as a function that is used to generate diagnostics.

WithStandardLibraryValues returns a server option that adds the given function as a function that is used to resolve standard library values (in addition to the default standard library) This is used to provide parts of the standard library that are present in some given environment but are not native to the language.

WithInitializationOptionsHandler returns a server option that adds the given function as a function that is used to handle initialization options sent by the client.

WithMemberAccountAccessHandler returns a server option that adds the given function as a function that is used to determine access for accounts.

WithStringImportResolver returns a server option that sets the given function as the function that is used to resolve string imports.

Document represents an open document on the client.

StdinStdoutReadWriterCloser implements an io.ReadWriter and io.Closer around STDIN and STDOUT.

AddressContractNamesResolver is a function that is used to resolve contract names of an address.

AddressImportResolver is a function that is used to resolve address imports.

CodeLensProvider is a function that is used to provide code lenses for the given checker.

CommandHandler represents the form of functions that handle commands submitted from the client using workspace/executeCommand.

DiagnosticProvider is a function that is used to provide diagnostics for the given checker.

DocumentSymbolProvider is a function that is used to provide document symbols for the given checker.

InitializationOptionsHandler is a function that is used to handle initialization options sent by the client.

StringImportResolver is a function that is used to resolve string imports.