Index

_

_local_to_uri() (leanclient.client.LeanLSPClient method) _locals_to_uris() (leanclient.client.LeanLSPClient method) _normalize_local_path() (leanclient.client.LeanLSPClient static method) _open_new_files() (leanclient.client.LeanLSPClient method) _read_stdout_loop() (leanclient.client.LeanLSPClient method) _register_notification_handler() (leanclient.client.LeanLSPClient method) _rpc_call() (leanclient.client.LeanLSPClient method) _rpc_connect() (leanclient.client.LeanLSPClient method) _rpc_release_session() (leanclient.client.LeanLSPClient method) _run_event_loop() (leanclient.client.LeanLSPClient method) _send_notification() (leanclient.client.LeanLSPClient method)

_send_request() (leanclient.client.LeanLSPClient method) _send_request_async() (leanclient.client.LeanLSPClient method) _send_request_retry() (leanclient.client.LeanLSPClient method) _send_request_rpc() (leanclient.client.LeanLSPClient method) _send_request_sync() (leanclient.client.LeanLSPClient method) _setup_global_handlers() (leanclient.client.LeanLSPClient method) _unregister_notification_handler() (leanclient.client.LeanLSPClient method) _uri_to_abs() (leanclient.client.LeanLSPClient method) _uri_to_local() (leanclient.client.LeanLSPClient method) _wait_for_diagnostics() (leanclient.client.LeanLSPClient method) _wait_for_line_range() (leanclient.client.LeanLSPClient method)

A

apply_changes_to_text() (in module leanclient.utils)

apply_code_action_resolve() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

B

build_project() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

C

clear_history() (leanclient.client.LeanLSPClient method) close() (leanclient.client.LeanLSPClient method) close_all_files() (leanclient.client.LeanLSPClient method)

close_file() (leanclient.single_file_client.SingleFileClient method) close_files() (leanclient.client.LeanLSPClient method) create_file_client() (leanclient.client.LeanLSPClient method)

D

DocumentContentChange (class in leanclient.utils)

E

end (leanclient.utils.DocumentContentChange attribute)

experimental() (in module leanclient.utils) extract_widgets_from_interactive_diag() (in module leanclient.utils)

G

get_call_hierarchy_incoming() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_call_hierarchy_items() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_call_hierarchy_outgoing() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_code_action_resolve() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_code_actions() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_completion_item_resolve() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_completions() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_declarations() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_definitions() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_diagnostics() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_diagnostics_in_range() (in module leanclient.utils) get_dict() (leanclient.utils.DocumentContentChange method) get_document_highlights() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_document_symbols() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_env() (leanclient.client.LeanLSPClient method) get_file_content() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

get_folding_ranges() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_goal() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_hover() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_info_trees() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_interactive_diagnostics() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_module_imported_by() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_module_imports() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_references() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_semantic_tokens() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_semantic_tokens_range() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_term_goal() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_type_definitions() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_widget_source() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method) get_widgets() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

I

is_full_change() (leanclient.utils.DocumentContentChange method)

L

leanclient.client module leanclient.info_tree module leanclient.pool module

leanclient.single_file_client module leanclient.utils module LeanClientPool (class in leanclient.pool) LeanLSPClient (class in leanclient.client)

M

map() (leanclient.pool.LeanClientPool method) module leanclient.client leanclient.info_tree leanclient.pool leanclient.single_file_client leanclient.utils

N

needs_mathlib_cache_get() (in module leanclient.utils)

normalize_newlines() (in module leanclient.utils)

O

open_file() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

open_files() (leanclient.client.LeanLSPClient method)

P

parse_info_tree() (in module leanclient.info_tree)

prepare_module_hierarchy() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

S

SemanticTokenProcessor (class in leanclient.utils) SingleFileClient (class in leanclient.single_file_client)

start (leanclient.utils.DocumentContentChange attribute) submit() (leanclient.pool.LeanClientPool method)

T

text (leanclient.utils.DocumentContentChange attribute)

U

update_file() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)

update_file_content() (leanclient.client.LeanLSPClient method) (leanclient.single_file_client.SingleFileClient method)