canopus 0.4.0 → 0.5.0

data/lib/canopus.rb

@@ -14,6 +14,7 @@ require "thuban"
 require_relative "canopus/command"
 require_relative "canopus/panel"
 require_relative "canopus/decoration"
+require_relative "canopus/provider"
 require_relative "canopus/patch"
 require_relative "canopus/buffer"
 require_relative "canopus/multi_buffer"
@@ -22,7 +23,24 @@ require_relative "canopus/editor"
 require_relative "canopus/language"
 require "spica"
 require_relative "canopus/project"
-require_relative "canopus/terminal"
+require_relative "canopus/debug/configuration"
+require_relative "canopus/debug/breakpoints"
+megrez_path = ENV["MEGREZ_PATH"]
+megrez_root = File.expand_path("..", __dir__)
+megrez_path ? require(File.expand_path("lib/megrez", File.expand_path(megrez_path, megrez_root))) : require("megrez")
+require_relative "canopus/debug/session"
+require_relative "canopus/debug/panel"
+require_relative "canopus/debug/console"
+tarazed_path = ENV["TARAZED_PATH"]
+tarazed_root = File.expand_path("..", __dir__)
+tarazed_path ? require(File.expand_path("lib/tarazed", File.expand_path(tarazed_path, tarazed_root))) : require("tarazed")
+require_relative "canopus/task/configuration"
+require_relative "canopus/task/problem_matcher"
+require_relative "canopus/task/runner"
+require_relative "canopus/test_runner"
 require_relative "canopus/workspace"
-require_relative "canopus/plugins"
 require_relative "canopus/controller"
+
+module Canopus
+  autoload :Plugins, "canopus/plugins"
+end

data/sig/canopus.rbs

@@ -1,7 +1,7 @@
 module Canopus
   VERSION: String
   type json = nil | bool | Integer | Float | String | Array[json] | Hash[String | Symbol, json]
-  type rope = Denebola::Rope | LazyRope
+  type rope = Denebola::Rope | Denebola::LazyRope | LazyRope
   type patch = Patch | Patch::Composite | Patch::Reload
   type changes = Array[[Range[Integer], String]]
   type bias = :left | :right
@@ -28,6 +28,15 @@ module Canopus
     def reversed?: () -> bool
   end
 
+  class BlockSelection < Data
+    include Enumerable[[DisplayPoint, DisplayPoint]]
+    attr_reader anchor: DisplayPoint
+    attr_reader head: DisplayPoint
+    def self.new: (DisplayPoint anchor, DisplayPoint head) -> instance
+    def each: () { ([DisplayPoint, DisplayPoint]) -> void } -> self
+            | () -> Enumerator[[DisplayPoint, DisplayPoint], self]
+  end
+
   class Patch
     class Edit < Data
       attr_reader old_range: Range[Integer]
@@ -75,19 +84,21 @@ module Canopus
       attr_reader kind: Symbol
       attr_reader time: Numeric
     end
-    def self.open: (String path, ?large_file_threshold: Integer) -> instance
+    def self.open: (String path, ?large_file_threshold: Integer, ?encoding: Encoding?) -> instance
     def self.decode_bytes: (String raw) -> [String, Encoding, String]
-    def initialize: (?String text, ?path: String?, ?encoding: Encoding, ?bom: String, ?disk_digest: String?, ?read_only: bool, ?draft: bool, ?rope: rope?) -> void
+    def initialize: (?String text, ?path: String?, ?encoding: Encoding, ?bom: String, ?disk_digest: String?, ?read_only: bool, ?draft: bool, ?rope: rope?, ?detection: untyped) -> void
     attr_reader rope: rope
     attr_reader path: String?
     attr_reader encoding: Encoding
     attr_reader line_ending: String
+    attr_reader newline: Symbol?
     attr_reader version: Integer
     attr_reader history: Array[Transaction]
     attr_reader notification_errors: Array[Error]
     attr_reader read_only: bool
     attr_reader disk_digest: String?
     attr_reader bom: String
+    attr_reader detection: untyped
     attr_accessor selections: Array[Selection]
     def text: () -> String
     def relocate: (String path) -> String
@@ -95,7 +106,7 @@ module Canopus
     def line: (Integer row) -> String
     def line_count: () -> Integer
     def dirty?: () -> bool
-    def reload: (?force: bool) -> self
+    def reload: (?force: bool, ?encoding: Encoding?) -> self
     def on_edit: () { (patch) -> void } -> Zaniah::Subscription
     def anchor: (Integer offset, ?bias: bias) -> Anchor
     def resolve: (Anchor anchor) -> Integer
@@ -105,8 +116,15 @@ module Canopus
     def edit: (changes changes, ?kind: Symbol, ?selections: Array[Selection]?, ?before_selections: Array[Selection], ?time: Numeric, ?group: bool) -> patch?
     def undo: () -> bool
     def redo: () -> bool
-    def save: (?String? path, ?force: bool) -> self
+    def persistent_undo_record: (max_entries: Integer) -> Hash[String, untyped]?
+    def restore_persistent_undo!: (Hash[String, untyped] record) -> true
+    def save: (?String? path, ?force: bool, ?encoding: Encoding?) -> self
+    def roundtrip?: (?encoding: Encoding?) -> bool
+    def mixed_line_endings?: () -> bool
+    def convert_line_endings: (?to: :lf | :crlf | :cr) -> bool
+    def convert_newlines: (?to: :lf | :crlf | :cr) -> bool
     def trim_trailing_whitespace: () -> patch?
+    def ensure_final_newline: () -> bool
   end
 
   class LazyRope
@@ -175,6 +193,7 @@ module Canopus
   end
 
   class Editor
+    type closing_pairs = Hash[String, String]
     def self.search_pattern: (String | Regexp pattern, ?case_sensitive: bool, ?whole_word: bool) -> Regexp
     def initialize: (?Buffer buffer, ?wrap_width: Integer?, ?tab_size: Integer) -> void
     attr_reader buffer: Buffer
@@ -185,6 +204,7 @@ module Canopus
     attr_accessor tab_size: Integer
     attr_accessor use_tabs: bool
     attr_accessor auto_pairs: bool
+    attr_accessor closing_pairs: closing_pairs
     attr_accessor viewport_rows: Integer
     attr_accessor relative_line_numbers: bool?
     attr_accessor composition: Zaniah::Input::Composition?
@@ -193,8 +213,9 @@ module Canopus
     def language=: (Language::Definition definition) -> Language::Document
     def primary: () -> Selection
     def select: (Integer first, ?Integer last, ?add: bool) -> self
-    def set_selections: (Array[Selection] selections) -> Array[Selection]
-    def insert_text: (String text, ?auto_indent: bool) -> untyped
+    def on_selection: () { (Array[Selection]) -> void } -> Zaniah::Subscription
+    def set_selections: (Array[Selection] selections, ?merge: bool) -> Array[Selection]
+    def insert_text: (String text, ?auto_indent: bool, ?pair: bool) -> untyped
     def edit: (Array[[Range[Integer], String]] changes, ?kind: Symbol) -> Array[Selection]?
     def delete_backward: () -> untyped
     def delete_forward: () -> untyped
@@ -202,8 +223,11 @@ module Canopus
     def redo: () -> bool
     def move: (Symbol direction, ?extend: bool, ?count: Integer) -> void
     def select_all: () -> self
+    def select_matches: (String | Regexp pattern, ?case_sensitive: bool, ?whole_word: bool, ?range: Range[Integer]?) -> Array[Range[Integer]]
     def select_next_occurrence: (?all: bool) -> untyped
     def rectangle: (DisplayPoint first, DisplayPoint last) -> void
+    def add_cursor: (:up | :down direction) -> Array[Selection]?
+    def add_cursors_to_selected_lines: (:start | :end edge) -> Array[Selection]
     def indent: (?outdent: bool) -> untyped
     def toggle_comment: (?prefix: String, ?suffix: String?) -> untyped
     def duplicate_lines: () -> untyped
@@ -233,6 +257,22 @@ module Canopus
       attr_reader selection: Range[Integer]
       attr_reader depth: Integer
     end
+    class DocumentSymbol < Data
+      attr_reader id: Integer
+      attr_reader name: String
+      attr_reader kind: Integer | ::Symbol
+      attr_reader range: Range[Integer]
+      attr_reader selection: Range[Integer]
+      attr_reader depth: Integer
+      attr_reader parent_id: Integer?
+    end
+    class Bracket < Data
+      attr_reader open_range: Range[Integer]
+      attr_reader close_range: Range[Integer]
+      attr_reader open_row: Integer
+      attr_reader close_row: Integer
+      attr_reader depth: Integer
+    end
     DEFINITIONS: Array[Definition]
     PLAIN: Definition
     def self.for_path: (String? path) -> Definition
@@ -251,17 +291,23 @@ module Canopus
       def syntax_complete?: () -> bool
       def tokens_current?: (Integer row) -> bool
       def tokens_for: (Integer row) -> Array[[String | Class, String]]
-      def highlighter: (?strategy: (:auto | :incremental | :window | :full)?, ?window_context: Integer?) -> Antares::Highlighter
+      def highlighter: (?strategy: (:auto | :incremental | :window | :full)?, ?window_context: Integer?, ?max_seconds: Numeric?) -> Antares::Highlighter
       def outline: () -> Array[Symbol]
       def diagnostics: () -> Array[{range: Range[Integer], message: String, severity: Integer}]
       def fold_ranges: () -> Array[Range[Integer]]
       def indent_for: (Integer offset, ?tab_size: Integer, ?use_tabs: bool) -> String
       def bracket_at: (Integer offset) -> Range[Integer]?
+      def brackets: (?Range[Integer]? rows) -> Array[Bracket]
+      def structure_regions: () -> Array[{start_line: Integer, end_line: Integer, kind: ::Symbol}]
+      def selection_ranges: (Array[Integer] offsets) -> Array[Array[Range[Integer]]]?
     end
   end
   class Settings
     type values = Hash[String, json]
     def self.schema: () -> values
+    def self.schema_model: () -> Kochab::Schema
+    def self.schema_metadata: () -> Kochab::Schema
+    def self.file_diagnostics: (String path) -> [Kochab::Document, Array[Kochab::Error | Kochab::Diagnostic]]?
     def self.user_path: () -> String
     def initialize: (*(String | values) layers) -> void
     attr_reader values: values
@@ -272,14 +318,14 @@ module Canopus
     def reload: () -> instance
     def for_language: (String language) -> instance
     def merge!: (String | values layer) -> instance
-    def set_file: (String path, String key, json value) -> instance
+    def set_file: (String path, String | Array[String] key, json value) -> instance
   end
   class Theme
     attr_reader name: String
     attr_reader colors: Hash[Symbol, String]
     attr_reader syntax: Hash[String, String]
     def initialize: (?name: String, ?colors: Hash[Symbol, String], ?syntax: Hash[String, String]) -> void
-    def self.load: (String path) -> instance
+    def self.load: (String path, ?warnings: Array[String]?) -> instance
     def []: (Symbol key) -> String
     def token_color: (untyped token) -> String
   end
@@ -299,6 +345,7 @@ module Canopus
     def forward: () -> untyped
   end
   class Workspace
+    type terminal_layout_node = {terminal: Tarazed::PTY} | {direction: :horizontal | :vertical, ratio: Numeric, children: Array[terminal_layout_node]}
     class ClosedTab < Data
       attr_reader path: String
       attr_reader selections: Array[[Integer, Integer]]
@@ -315,7 +362,8 @@ module Canopus
     attr_reader settings: Settings
     attr_reader theme: Theme
     attr_reader root: String
-    attr_reader clients: Hash[String, LSP::Client]
+    attr_reader clients: Hash[String, Sadr::Client]
+    attr_reader minimap: Minimap
     attr_accessor message: String
     def notify: (String text, ?now: Numeric) -> Integer
     def notifications: () -> Array[{id: Integer, text: String, expires: Numeric}]
@@ -324,8 +372,9 @@ module Canopus
     attr_accessor show_project: bool
     attr_accessor terminal_visible: bool
     attr_accessor terminal_composition: Zaniah::Input::Composition?
-    attr_reader terminals: Array[Terminal::PTY]
+    attr_reader terminals: Array[Tarazed::PTY]
     attr_reader active_terminal_index: Integer
+    attr_reader terminal_layout: terminal_layout_node?
     attr_accessor performance: PerformanceRecorder?
     def editor: () -> Editor?
     def files: () -> Array[String]
@@ -333,7 +382,7 @@ module Canopus
     def vim: () -> Vim
     def open: (String path) -> Editor
     def canonical_path: (String path) -> String
-    def save_buffer: (?Buffer buffer, ?path: String?) -> Buffer
+    def save_buffer: (?Buffer buffer, ?path: String?, ?encoding: Encoding?, ?confirmed: bool) -> Buffer
     def new_buffer: () -> Editor
     def focus: (Pane pane) -> void
     def activate_tab: (Pane pane, Editor tab) -> void
@@ -345,39 +394,90 @@ module Canopus
     def buffer_refs: (String | Buffer path_or_buffer) -> Array[[Symbol, Integer]]
     def clear_vim_states: () -> void
     def move_tab: (from: Pane, to: Pane, ?editor: Editor, ?index: Integer?) -> void
-    def new_terminal: (?cwd: String) -> Terminal::PTY
-    def activate_terminal: (Integer index) -> Terminal::PTY
-    def move_terminal: (Integer from, Integer to) -> Terminal::PTY
-    def request_terminal_close: (?Integer index) -> (Terminal::PTY | false | nil)
-    def close_terminal: (?Integer index) -> Terminal::PTY?
-    def restart_terminal: (?Integer index) -> Terminal::PTY?
-    def terminal_title: (?Terminal::PTY? current) -> String
-    def rename_terminal: (String name, ?Terminal::PTY? current) -> String?
+    def new_terminal: (?cwd: String?, ?profile: String?) -> Tarazed::Session
+    def split_terminal: (:horizontal | :vertical direction, ?profile: String?) -> Tarazed::Session
+    def terminal_profile: (?Tarazed::PTY? current) -> String?
+    def activate_terminal: (Integer index) -> Tarazed::PTY
+    def move_terminal: (Integer from, Integer to) -> Tarazed::PTY
+    def request_terminal_close: (?Integer index) -> (Tarazed::PTY | false | nil)
+    def close_terminal: (?Integer index) -> Tarazed::PTY?
+    def restart_terminal: (?Integer index) -> Tarazed::PTY?
+    def terminal_title: (?Tarazed::PTY? current) -> String
+    def rename_terminal: (String name, ?Tarazed::PTY? current) -> String?
+    def show_terminal_commands: (?failed: bool) -> void
     def drain_terminals: (?now: Numeric) -> bool
-    def resize_terminal: (Integer columns, Integer rows, ?final: bool, ?now: Numeric) -> void
+    def resize_terminal: (Integer columns, Integer rows, ?final: bool, ?now: Numeric, ?terminal: Tarazed::PTY?) -> void
     def flush_terminal_resize: () -> void
     def toggle_dock: (Symbol side) -> bool
     def register_panel: (String name, ?side: Panel::dock) { () -> (Zaniah::Element | String) } -> Panel::Definition
     def register_action: (String name, ?description: String, ?category: String, ?condition: String, ?keybinding: Command::keybinding) { (*untyped) -> untyped } -> Command::Definition
     def definition_for: (String? path) -> Language::Definition
     def register_language: (String name, extensions: Array[String], ?lexer: String, ?comment: String, ?indent_open: String, ?indent_close: String, ?servers: Array[Array[String]]) -> untyped
-    def command_context: (?terminal: bool) -> Command::context
+    def command_context: (?terminal: bool, ?task_output: bool) -> Command::context
     def call: (String name, *untyped arguments, ?context: Command::context?) -> untyped
-    def save_session: (String path) -> void
+    def save_session: (String path, ?max_draft_bytes: Integer?) -> void
     def restore_session: (String path) -> self
+    def recovery_directory: () -> String
+    def recovery_candidates: () -> Array[String]
+    def offer_recovery: () -> bool
+    def resolve_recovery: (:restore | :discard choice) -> bool
+    def poll_recovery: (?now: Numeric, ?force: bool) -> bool
+    def poll_auto_save: (?now: Numeric) -> bool
+    def close_recovery: (?clean: bool) -> void
+    def preserve_recovery!: () -> true
     def theme=: (Theme | String theme) -> void
     def palette_open: (Symbol kind, ?command_ids: Array[String]?, ?context: Command::context?) -> void
     def show_snippet_choices: (?Editor current) -> untyped
     def update_palette: () -> void
     def palette_accept: () -> void
-    def connect_server: (String language, Array[String] command) -> LSP::Client
-    def language_client: (?Buffer buffer) -> LSP::Client
+    def connect_server: (String language, Array[String] command) -> Sadr::Client
+    def language_clients: (?Buffer buffer, ?feature: String?, ?timeout: Numeric?) -> Array[Sadr::Client]
+    def language_client: (?Buffer buffer, ?feature: String?, ?timeout: Numeric?) -> Sadr::Client
+    def language_server_states: (String language) -> Array[Hash[Symbol, untyped]]
+    def show_language_server_restart: () -> void
+    def restart_language_server: (String language, Integer index) -> Sadr::Client
     def language_request: (Symbol kind, **json options) -> void
-    def diagnostics_for: (Buffer buffer) -> Array[LSP::object]
-    def apply_workspace_edit: (LSP::object edit, ?confirmed: bool) -> LSP::object
-    def resource_workspace_edit?: (LSP::object edit) -> bool
-    def confirm_workspace_edit: (LSP::object edit, ?label: String, ?response: LSP::Future?, ?on_applied: ^() -> void) -> untyped
+    def request_workspace_symbols: (String query) -> Thread
+    def cancel_workspace_symbol_search: () -> nil
+    def run_save_actions: (Buffer buffer) -> bool
+    def prepare_rename: (?Editor? current) -> bool?
+    def rename_prepared: (Hash[Symbol, untyped] snapshot, String name) -> bool?
+    def invalidate_prepare_rename: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def diagnostics_for: (Buffer buffer) -> Array[Sadr::object]
+    def document_highlight_decorations: (Buffer buffer, Range[Integer] rows, Editor? current) -> Array[Decoration::Item]
+    def request_document_highlights: (Editor current) -> bool
+    def invalidate_document_highlights: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def document_link_decorations: (Buffer buffer, Range[Integer] rows, Editor? current) -> Array[Decoration::Item]
+    def request_document_links: (Editor current) -> bool
+    def invalidate_document_links: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def linked_editing_range: (?Editor current) -> bool?
+    def invalidate_linked_editing_ranges: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def hierarchy_tree: () -> Zaniah::UI::TreeView
+    def show_call_hierarchy: (?Editor? current) -> bool?
+    def show_type_hierarchy: (?Editor? current) -> bool?
+    def invalidate_hierarchy: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def invalidate_folding_ranges: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def expand_selection: (?Editor current) -> bool?
+    def shrink_selection: (?Editor current) -> bool
+    def invalidate_selection_ranges: (?Buffer? buffer, ?client: Sadr::Client?, ?editor: Editor?) -> nil
+    def apply_workspace_edit: (Sadr::object edit, ?confirmed: bool) -> Sadr::object
+    def resource_workspace_edit?: (Sadr::object edit) -> bool
+    def confirm_workspace_edit: (Sadr::object edit, ?label: String, ?response: Sadr::Future?, ?on_applied: ^() -> void) -> untyped
     def post: () { () -> void } -> void
+    def bracket_decorations: (Buffer buffer, Range[Integer] rows, Editor? current) -> Array[Decoration::Item]
+    def invalidate_brackets: (?Buffer? buffer) -> nil
+    def sticky_scroll_enabled?: (Editor current) -> bool
+    def breadcrumbs_enabled?: (Editor current) -> bool
+    def sticky_context: (Editor current, Integer display_row) -> Array[Language::DocumentSymbol]
+    def document_symbol_chain: (Editor current, Integer offset) -> Array[Language::DocumentSymbol]
+    def document_symbol_siblings: (Editor current, Language::DocumentSymbol symbol, generation: Integer) -> Array[Language::DocumentSymbol]
+    def document_symbol_generation: (Editor current) -> Integer?
+    def breadcrumb_context: (Editor current) -> Hash[Symbol, untyped]?
+    def show_breadcrumb_menu: (Pane pane, Editor current, Hash[Symbol, untyped] item, Hash[Symbol, untyped] context) -> bool
+    def minimap_settings: (Editor current) -> Hash[String, untyped]
+    def refresh_sticky_fallback: (Editor current, ?Language::Document document) -> Array[Language::DocumentSymbol]
+    def request_sticky_symbols: (Editor current) -> bool
+    def invalidate_sticky_symbols: (?Buffer? buffer, ?client: Sadr::Client?) -> nil
     def drain: () -> void
     def close: () -> void
     def plugins: () -> Plugins::Registry
@@ -396,7 +496,14 @@ module Canopus
     end
     class Registry
       PERMISSIONS: Array[String]
-      def initialize: (Workspace workspace) -> void
+      def initialize: (Workspace workspace, ?state_path: String?) -> void
+      def search: (String query, ?limit: Integer) -> Array[Hash[Symbol, untyped]]
+      def install: (String name, ?version: untyped) -> untyped
+      def update: (String name) -> untyped
+      def disable: (String name) -> true
+      def enable: (String name) -> true
+      def disabled?: (String name) -> bool
+      def load_gem: (String name, ?isolated: bool, ?permissions: Array[String], ?trusted: bool, ?timeout: Numeric) -> untyped
       def load: (String path, ?isolated: bool, ?permissions: Array[String], ?trusted: bool, ?timeout: Numeric) -> untyped
       def close: () -> void
     end

data/sig/controller.rbs

@@ -5,6 +5,7 @@ module Canopus
     attr_reader window: Zaniah::Platform::Headless::Window
     attr_reader keymap: Zaniah::Input::Keymap
     def initialize: (Workspace workspace, Zaniah::Platform::Headless::Window window) -> void
+    def wait_for: (Array[String] paths) -> Array[String]
     def input: (Zaniah::Input::event event) -> void
     def input_text: (String text) -> void
     def key: (String stroke) -> void
@@ -27,17 +28,22 @@ module Canopus
       end
       attr_reader terminal_bounds: Zaniah::Bounds?
       attr_reader terminal_selection: [[Integer, Integer], [Integer, Integer]]?
+      def focus_terminal: (Tarazed::PTY? terminal) -> Tarazed::PTY?
       def terminal_link_at: (Zaniah::Point point) -> Link?
       def terminal_open_link: (Zaniah::Point point, modifiers: Array[String]) -> bool
-      def terminal_color: (Terminal::color value, Symbol fallback) -> String?
-      def terminal_point: (Zaniah::Point point) -> [Integer, Integer]
+      def terminal_color: (Tarazed::color value, Symbol fallback) -> String?
+      def terminal_point: (Zaniah::Point point) -> [Integer, Integer]?
       def terminal_scroll: (Numeric delta) -> nil
-      def terminal_select: (Zaniah::Point point, ?extend: bool) -> [[Integer, Integer], [Integer, Integer]]
+      def terminal_select: (Zaniah::Point point, ?extend: bool) -> [[Integer, Integer], [Integer, Integer]]?
       def terminal_selected_text: () -> String
+      def terminal_command: (:previous | :next direction) -> bool
+      def terminal_command_jump: (Tarazed::Command? command) -> bool
+      def terminal_toggle_command: (?Tarazed::Command? command) -> bool
     end
     include TerminalPresentable
     type action = Array[untyped]
     attr_reader editor_bounds: Hash[Editor, Zaniah::Bounds]
+    attr_reader minimap_bounds: Hash[Editor, Hash[Symbol, untyped]]
     attr_reader row_layouts: Hash[[Editor, Integer], Zaniah::TextSystem::LineLayout]
     attr_reader regions: Array[[Zaniah::Bounds, action]]
     attr_reader accessibility: Array[{role: Symbol, label: String, bounds: Zaniah::Bounds}]
@@ -50,5 +56,6 @@ module Canopus
     def hit: (Zaniah::Point point) -> action?
     def offset_at: (Editor editor, Zaniah::Point point) -> Integer
     def project_scroll: (Numeric delta) -> Numeric
+    def minimap_scroll: (Editor editor, Zaniah::Point point) -> bool
   end
 end

data/sig/debug.rbs

@@ -0,0 +1,121 @@
+module Canopus::Debug
+  class Configuration
+    RELATIVE_PATH: String
+    MAX_BYTES: Integer
+    MAX_CONFIGURATIONS: Integer
+    MAX_DEPTH: Integer
+    MAX_COLLECTION_SIZE: Integer
+    MAX_STRING_BYTES: Integer
+    MAX_EXPANDED_STRING_BYTES: Integer
+    MAX_TOTAL_EXPANDED_BYTES: Integer
+    MAX_ENVIRONMENT_ENTRY_BYTES: Integer
+    MAX_ENVIRONMENT_BYTES: Integer
+    VARIABLE: Regexp
+
+    attr_reader root: String
+    attr_reader configurations: Array[Hash[String, Canopus::json]]
+
+    def initialize: (root: String, ?settings: Canopus::Settings, ?environment: untyped) -> void
+    def resolve: (String | Hash[String, Canopus::json] configuration, ?file: String?, ?line_number: Integer?, ?selected_text: String?) -> Hash[String, Canopus::json]
+    def adapter: (String type, ?file: String?, ?line_number: Integer?, ?selected_text: String?) -> Hash[String, Canopus::json]
+  end
+
+  class Breakpoints
+    class Entry < Data
+      attr_reader path: String
+      attr_reader line: Integer
+      attr_reader condition: String?
+      attr_reader hit_condition: String?
+      attr_reader log_message: String?
+      attr_reader enabled: bool
+      def self.new: (String path, Integer line, String? condition, String? hit_condition, String? log_message, bool enabled) -> instance
+    end
+
+    VERSION: Integer
+    RELATIVE_PATH: String
+    MAX_BYTES: Integer
+    MAX_ENTRIES: Integer
+    MAX_PATH_BYTES: Integer
+    MAX_CONDITION_BYTES: Integer
+    MAX_HIT_CONDITION_BYTES: Integer
+    MAX_LOG_MESSAGE_BYTES: Integer
+    MAX_LINE: Integer
+
+    attr_reader root: String
+    attr_reader entries: Array[Entry]
+
+    def initialize: (root: String) ?{ (String) -> void } -> void
+    def for_path: (String path) -> Array[Entry]
+    def add: (String path, Integer line, ?condition: String?, ?hit_condition: String?, ?log_message: String?, ?enabled: bool) -> Entry
+    def remove: (String path, Integer line) -> bool
+    def toggle: (String path, Integer line, ?condition: String?, ?hit_condition: String?, ?log_message: String?, ?enabled: bool) -> Entry?
+    def update: (String path, Integer line, ?new_line: Integer, ?condition: String?, ?hit_condition: String?, ?log_message: String?, ?enabled: bool) -> Entry
+    def attach: (Canopus::Buffer buffer) -> self
+    def detach: (Canopus::Buffer buffer) -> bool
+    def close: () -> nil
+    def flush: () -> self
+    def error: () -> StandardError?
+  end
+
+  class Session
+    DEFAULT_TIMEOUT: Integer
+    CONNECT_INTERVAL: Float
+
+    attr_reader client: Megrez::Session?
+    def stopped_thread_id: () -> Integer?
+    def initialize: (root: String, configuration: Hash[String, Canopus::json],
+      adapter: Hash[String, Canopus::json], breakpoints: Breakpoints,
+      ?client: Megrez::Session?, ?timeout: Numeric) -> void
+    def on: (Symbol | String event) { (untyped) -> untyped } -> Proc
+    def start: () -> self
+    def stack_frames: (?levels: Integer) -> Megrez::Future
+    def scopes: (Integer frame_id) -> Megrez::Future
+    def variables: (Integer reference) -> Megrez::Future
+    def evaluate: (String expression, frame_id: Integer, ?context: String) -> Megrez::Future
+    def close: () -> nil
+  end
+
+  class Panel
+    ITEM_LIMIT: Integer
+    WATCH_LIMIT: Integer
+    TEXT_LIMIT: Integer
+    DEPTH_LIMIT: Integer
+    ROOT_STACK: Array[Symbol]
+    ROOT_VARIABLES: Array[Symbol]
+    ROOT_WATCHES: Array[Symbol]
+    ROOT_BREAKPOINTS: Array[Symbol]
+    ROOTS: Array[Array[Symbol]]
+
+    attr_reader tree: Zaniah::UI::TreeView
+    attr_reader watches: Array[String]
+    attr_reader expanded_paths: Set[Array[untyped]]
+    attr_reader selected_frame: Megrez::StackFrame?
+    def initialize: (breakpoints: Breakpoints, post: untyped, select_frame: untyped,
+      select_breakpoint: untyped, report: untyped, request_frame: untyped) -> void
+    def stopped: (Session session, Megrez::StackFrame frame) -> self
+    def continued: (Session session) -> bool
+    def clear: () -> nil
+    def refresh_breakpoints: () -> nil
+    def add_watch: (String expression) -> bool
+    def remove_watch: (String expression) -> bool
+  end
+
+  class Console
+    ITEM_LIMIT: Integer
+    TEXT_LIMIT: Integer
+    PENDING_LIMIT: Integer
+    OUTPUT_QUEUE_LIMIT: Integer
+
+    attr_reader tree: Zaniah::UI::TreeView
+    attr_reader entries: Array[{id: Integer, label: String}]
+    attr_reader selected_frame: Megrez::StackFrame?
+    def initialize: (post: untyped, request_frame: untyped) -> void
+    def attach: (Session session) -> self
+    def stopped: (Session session, Megrez::StackFrame frame) -> bool
+    def continued: (Session session) -> bool
+    def clear: () -> nil
+    def detach: () -> nil
+    def output: (Session session, Hash[String | Symbol, untyped] event) -> bool
+    def evaluate: (String expression) -> Megrez::Future
+  end
+end

data/sig/decoration.rbs

@@ -1,6 +1,16 @@
 module Canopus
   module Decoration
     type kind = :inline | :block | :gutter | :highlight | :line
+    type click_handler = _ClickHandler | _ContextClickHandler
+
+    interface _ClickHandler
+      def call: (Editor, Integer) -> untyped
+    end
+
+    interface _ContextClickHandler
+      def call: (Editor, Integer) -> untyped
+      def right_click: (Editor, Integer) -> untyped
+    end
 
     class Item < Data
       attr_reader kind: kind
@@ -10,8 +20,8 @@ module Canopus
       attr_reader style: untyped
       attr_reader priority: Numeric
       attr_reader source: Symbol?
-      attr_reader on_click: (^(Editor, Integer) -> untyped)?
-      def self.new: (kind kind, Range[Integer]? range, Integer? row, untyped content, untyped style, Numeric priority, Symbol? source, (^(Editor, Integer) -> untyped)? on_click) -> instance
+      attr_reader on_click: click_handler?
+      def self.new: (kind kind, Range[Integer]? range, Integer? row, untyped content, untyped style, Numeric priority, Symbol? source, click_handler? on_click) -> instance
     end
 
     class Registry

data/sig/diagnostics.rbs

@@ -0,0 +1,26 @@
+module Canopus
+  module Diagnostics
+    type source = :lsp | :settings | :task | :test
+    type severity = :error | :warning | :information | :hint
+
+    SOURCES: Array[source]
+    SEVERITIES: Hash[severity, Integer]
+
+    class Entry < Data
+      attr_reader source: source
+      attr_reader uri: String
+      attr_reader diagnostic: Sadr::object
+      def self.new: (source source, String uri, Sadr::object diagnostic) -> instance
+    end
+
+    class Registry
+      attr_reader version: Integer
+      def initialize: () -> void
+                    | () { (String) -> void } -> void
+      def publish: (source source, String uri, Array[Sadr::object] diagnostics, ?notify: bool) -> Array[Sadr::object]
+      def for_uri: (String uri) -> Array[Entry]
+      def all: (?severity: Integer | severity?, ?source: source?) -> Array[Entry]
+      def counts: () -> {error: Integer, warning: Integer, information: Integer, hint: Integer}
+    end
+  end
+end

data/sig/minimap.rbs

@@ -0,0 +1,20 @@
+module Canopus
+  class Minimap
+    GENERATION_LIMIT: Integer
+    ENTRY_LIMIT: Integer
+    VARIANT_LIMIT: Integer
+    LINE_BYTES: Integer
+
+    attr_reader generated: Integer
+    def initialize: () -> void
+    def begin_frame: (Integer frame, text_system: untyped, font_size: Numeric, font_family: String?, scale_factor: Numeric) -> untyped
+    def texture: (Buffer buffer, Integer row, width: Numeric) -> Zaniah::GPU::Texture?
+    def pending?: () -> bool
+    def cache_size: () -> Integer
+    def cached_rows: (Buffer buffer) -> Array[Integer]
+    def record_search: (Buffer buffer, Integer version, Array[Range[Integer]] ranges) -> Hash[Symbol, untyped]
+    def search_rows: (Buffer buffer, Integer version) -> Array[Integer]
+    def release: (Buffer buffer) -> nil
+    def close: () -> nil
+  end
+end

data/sig/provider.rbs

@@ -0,0 +1,29 @@
+module Canopus
+  module Provider
+    class Completion < Data
+      attr_reader label: String
+      attr_reader insert_text: String?
+      attr_reader kind: untyped
+      attr_reader detail: String?
+      attr_reader documentation: String?
+      attr_reader sort_text: String?
+      attr_reader filter_text: String?
+      attr_reader additional_edits: Array[untyped]?
+      attr_reader source: Symbol?
+      def self.new: (String label, String? insert_text, untyped kind, String? detail, String? documentation,
+        String? sort_text, String? filter_text, Array[untyped]? additional_edits, Symbol? source) -> instance
+    end
+
+    class Registry
+      MAX_PROVIDERS: Integer
+      MAX_ITEMS: Integer
+      MAX_STRING: Integer
+      PROVIDER_TIMEOUT: Integer
+      def initialize: () -> void
+      def register_completion: (Symbol source, priority: Numeric) { (Buffer, Integer, untyped) -> untyped } -> Symbol
+      def complete: (Buffer buffer, Integer offset, untyped context) -> Array[Completion]
+      def register_inline_completion: (Symbol source) { (Buffer, Integer) -> untyped } -> Symbol
+      def inline_completion: (Buffer buffer, Integer offset) -> String?
+    end
+  end
+end