rigortype 0.2.0 → 0.2.2

data/data/vendored_gem_sigs/nokogiri/nokogiri_html5.rbs

@@ -0,0 +1,47 @@
+# Rigor-side patches on top of the gem_rbs_collection's
+# nokogiri/1.11/ surface to cover API added in later nokogiri
+# releases that real-world Rails projects actually use.
+#
+# Source: hand-written by Rigor maintainers.
+# License: MPL-2.0 (matches the rest of Rigor).
+#
+# Add new entries here when a project flags
+# `call.undefined-method` for a Nokogiri method that should exist.
+# Each addition SHOULD be a real public method in upstream Nokogiri.
+
+# Top-level Nokogiri::HTML5 entry - nokogiri 1.12+ shipped its own
+# spec-conformant HTML5 parser at the top level. Calls are
+# `Nokogiri::HTML5(html_string)` (which dispatches to
+# `Nokogiri.HTML5(...)`) and `Nokogiri::HTML5.parse(...)` /
+# `.fragment(...)`.
+module Nokogiri
+  def self.HTML5: (String html, ?untyped url, ?untyped encoding, **untyped options) -> Nokogiri::HTML5::Document
+end
+
+module Nokogiri::HTML5
+  def self.parse: (String html, ?untyped url, ?untyped encoding, **untyped options) -> Nokogiri::HTML5::Document
+  def self.fragment: (String html, ?untyped encoding, **untyped options) -> Nokogiri::HTML5::DocumentFragment
+  def self.get: (String uri, **untyped options) -> Nokogiri::HTML5::Document
+  def self.read_and_encode: (untyped string, untyped encoding) -> String
+end
+
+class Nokogiri::HTML5::Document < Nokogiri::HTML::Document
+  def self.parse: (String html, ?untyped url, ?untyped encoding, **untyped options) -> Nokogiri::HTML5::Document
+  def self.read_io: (untyped, untyped, untyped, untyped) -> Nokogiri::HTML5::Document
+  def self.read_memory: (untyped, untyped, untyped, untyped) -> Nokogiri::HTML5::Document
+
+  def fragment: (?String tags) -> Nokogiri::HTML5::DocumentFragment
+  def quirks_mode: () -> Symbol
+end
+
+class Nokogiri::HTML5::DocumentFragment < Nokogiri::HTML::DocumentFragment
+  def self.parse: (String html, ?untyped encoding, **untyped options) -> Nokogiri::HTML5::DocumentFragment
+end
+
+# nokogiri 1.12+ adds element-sibling accessors on Nokogiri::XML::Node;
+# the gem_rbs_collection 1.11 snapshot pre-dates them.
+class Nokogiri::XML::Node
+  def previous_element_sibling: () -> Nokogiri::XML::Element?
+  def next_element_sibling: () -> Nokogiri::XML::Element?
+  def wrap_node: (untyped html) -> Nokogiri::XML::Element
+end

data/data/vendored_gem_sigs/pg/pg.rbs

@@ -0,0 +1,212 @@
+# Minimal hand-authored RBS stub for the `pg` gem (PostgreSQL native
+# extension). Covers the surface that real-world Rails projects
+# (Mastodon, GitLab FOSS, OpenProject, Diaspora, etc.) actually call
+# rather than the entire libpq surface; PRs to extend are welcome.
+#
+# `pg` is not in `ruby/gem_rbs_collection` as of 2026-05-15.
+# Authorship: hand-written by Rigor maintainers based on the
+# upstream README + libpq documentation.
+
+module PG
+  VERSION: String
+  REVISION: String
+
+  # Connection-establishment shortcut: `PG.connect(...)` is an alias for
+  # `PG::Connection.new(...)`.
+  def self.connect: (*untyped) -> PG::Connection
+
+  # Quoting helpers.
+  def self.quote_connstr: (String value) -> String
+  def self.escape_string: (String value) -> String
+
+  class Error < StandardError
+    def connection: () -> PG::Connection?
+    def result: () -> PG::Result?
+    def error: () -> String?
+    def severity: () -> String?
+    def sql_state: () -> String?
+  end
+
+  class ConnectionBad < Error
+  end
+
+  class UnableToSend < Error
+  end
+
+  class ServerError < Error
+  end
+
+  class Connection
+    INVALID_OID: Integer
+
+    def self.new: (?untyped, *untyped) -> instance
+    def self.open: (?untyped, *untyped) -> instance
+    def self.connect: (?untyped, *untyped) -> instance
+    def self.connect_start: (*untyped) -> instance
+    def self.escape_string: (String) -> String
+    def self.escape_bytea: (String) -> String
+    def self.unescape_bytea: (String) -> String
+    def self.quote_ident: (String | Symbol | Array[String | Symbol]) -> String
+    def self.connect_hash_to_string: (Hash[Symbol, untyped]) -> String
+
+    def initialize: (?untyped, *untyped) -> void
+
+    # Query execution.
+    def exec: (String sql, ?Array[untyped] params) -> PG::Result
+            | (String sql, ?Array[untyped] params) { (PG::Result) -> untyped } -> untyped
+    alias query exec
+    alias async_exec exec
+
+    def exec_params: (String sql, Array[untyped] params, ?Integer result_format) -> PG::Result
+                   | (String sql, Array[untyped] params, ?Integer result_format) { (PG::Result) -> untyped } -> untyped
+    alias async_exec_params exec_params
+
+    def exec_prepared: (String stmt_name, ?Array[untyped] params, ?Integer result_format) -> PG::Result
+                     | (String stmt_name, ?Array[untyped] params, ?Integer result_format) { (PG::Result) -> untyped } -> untyped
+    alias async_exec_prepared exec_prepared
+
+    def prepare: (String name, String sql, ?Array[Integer] param_types) -> PG::Result
+    alias async_prepare prepare
+
+    def describe_prepared: (String name) -> PG::Result
+    def describe_portal: (String name) -> PG::Result
+
+    # Connection state.
+    def reset: () -> void
+    def reset_start: () -> void
+    def reset_poll: () -> Integer
+    def close: () -> void
+    alias finish close
+    def finished?: () -> bool
+    def status: () -> Integer
+    def error_message: () -> String?
+    def db: () -> String
+    def user: () -> String
+    def host: () -> String
+    def hostaddr: () -> String
+    def port: () -> Integer
+    def server_version: () -> Integer
+    def protocol_version: () -> Integer
+    def transaction_status: () -> Integer
+    def parameter_status: (String name) -> String?
+
+    # Quoting / escaping.
+    def escape_string: (String) -> String
+    alias escape escape_string
+    def escape_bytea: (String) -> String
+    def unescape_bytea: (String) -> String
+    def quote_ident: (String | Symbol | Array[String | Symbol]) -> String
+
+    # Transaction helper.
+    def transaction: () { (self) -> untyped } -> untyped
+
+    # Notifications / LISTEN / NOTIFY.
+    def notifies: () -> Hash[Symbol, untyped]?
+    def wait_for_notify: (?Numeric timeout) ?{ (String, Integer, String?) -> void } -> String?
+    alias notifies_wait wait_for_notify
+
+    # COPY.
+    def put_copy_data: (String, ?untyped encoder) -> bool
+    def put_copy_end: (?String error_message) -> bool
+    def get_copy_data: (?bool async, ?untyped decoder) -> String?
+
+    # Misc.
+    def encrypt_password: (String password, String username, ?String? algorithm) -> String
+    def cancel: () -> String?
+    def trace: (IO) -> void
+    def untrace: () -> void
+    def encoding: () -> Encoding?
+    def set_client_encoding: (String) -> Integer
+    alias client_encoding set_client_encoding
+
+    def type_map_for_queries: () -> untyped
+    def type_map_for_queries=: (untyped) -> untyped
+    def type_map_for_results: () -> untyped
+    def type_map_for_results=: (untyped) -> untyped
+  end
+
+  class Result
+    include Enumerable[Hash[String, untyped]]
+
+    def each: () { (Hash[String, untyped]) -> void } -> self
+    def each_row: () { (Array[untyped]) -> void } -> self
+    def []: (Integer | String row_or_column) -> untyped
+    def values: () -> Array[Array[untyped]]
+    def to_a: () -> Array[Hash[String, untyped]]
+
+    def ntuples: () -> Integer
+    alias num_tuples ntuples
+    alias count ntuples
+
+    def nfields: () -> Integer
+    alias num_fields nfields
+
+    def fname: (Integer column) -> String
+    def fnumber: (String column) -> Integer
+    def ftype: (Integer column) -> Integer
+    def getvalue: (Integer row, Integer column) -> untyped
+    def fields: () -> Array[String]
+    def field_values: (String column) -> Array[untyped]
+    def column_values: (Integer column) -> Array[untyped]
+
+    def cmd_status: () -> String?
+    def cmd_tuples: () -> Integer
+    alias cmdtuples cmd_tuples
+
+    def oid_value: () -> Integer?
+    def res_status: (?Integer status) -> String
+    def result_status: () -> Integer
+    def error_message: () -> String?
+    alias error error_message
+
+    def clear: () -> void
+    def cleared?: () -> bool
+    def autoclear?: () -> bool
+
+    def check: () -> void
+    alias check_result check
+  end
+
+  class TextEncoder
+    class Boolean
+    end
+    class Integer
+    end
+    class Float
+    end
+    class String
+    end
+    class Date
+    end
+    class TimestampWithoutTimeZone
+    end
+    class TimestampWithTimeZone
+    end
+    class Bytea
+    end
+  end
+
+  class TextDecoder
+    class Boolean
+    end
+    class Integer
+    end
+    class Float
+    end
+    class String
+    end
+    class Date
+    end
+    class TimestampWithoutTimeZone
+    end
+    class TimestampWithTimeZone
+    end
+    class Bytea
+    end
+  end
+
+  class BasicTypeRegistry
+    def self.alias_type: (Symbol format, String name, String alias_name) -> void
+    def self.register_type: (Symbol format, String name, untyped enc, untyped dec) -> void
+  end
+end

data/data/vendored_gem_sigs/prism/prism_supplement.rbs

@@ -0,0 +1,44 @@
+#
+# Rigor-side supplement to the `prism` gem's bundled RBS.
+#
+# The `prism` gem ships its own `sig/` directory (loaded via
+# `Rigor::Environment::DEFAULT_LIBRARIES`), but a handful of
+# surfaces visible to Ruby callers are not declared there because
+# they are bound by the C extension or because the RBS template
+# (`prism/templates/sig/prism.rbs.erb`) omits them.
+#
+# This file re-opens the affected modules / classes to ADD the
+# missing declarations only — never re-declaring anything that
+# the gem's RBS already covers, so the loader does not raise
+# `RBS::DuplicatedDeclarationError`.
+#
+# Surfaces covered:
+#   1. `Prism::ParseResult#attach_comments!`,
+#      `Prism::ParseResult#mark_newlines!`
+#      — defined in Ruby source (`lib/prism/parse_result.rb`)
+#      but not declared in the gem's RBS.
+#   2. `Prism::StringQuery.{local?, constant?, method_name?}`
+#      — bound as singleton methods by the C extension; the
+#      gem's RBS only declares the matching instance methods.
+#
+module Prism
+  class ParseResult < Result
+    # Walk the parse result's tree, attaching every comment to
+    # its nearest node. Mutates the tree in place; returns the
+    # mutated comments array.
+    def attach_comments!: () -> Array[comment]
+
+    # Walk the tree and mark nodes that begin on a new line,
+    # loosely emulating CRuby's `:line` tracepoint event.
+    def mark_newlines!: () -> ProgramNode
+  end
+
+  class StringQuery
+    # C-extension-bound class-method counterparts to the Ruby
+    # instance methods. `Prism::StringQuery.local?("foo")` is
+    # a shorthand for `Prism::StringQuery.new("foo").local?`.
+    def self.local?: (String string) -> bool
+    def self.constant?: (String string) -> bool
+    def self.method_name?: (String string) -> bool
+  end
+end

data/data/vendored_gem_sigs/redis/errors.rbs

@@ -0,0 +1,50 @@
+class Redis
+  class BaseError < RuntimeError
+  end
+
+  class ProtocolError < BaseError
+    def initialize: (untyped reply_type) -> void
+  end
+
+  class CommandError < BaseError
+  end
+
+  class BaseConnectionError < BaseError
+  end
+
+  class CannotConnectError < BaseConnectionError
+  end
+
+  class ConnectionError < BaseConnectionError
+  end
+
+  class TimeoutError < BaseConnectionError
+  end
+
+  class InheritedError < BaseConnectionError
+  end
+
+  class InvalidClientOptionError < BaseError
+  end
+
+  class Cluster
+    class OrchestrationCommandNotSupported < BaseError
+      def initialize: (untyped command, untyped subcommand) -> void
+    end
+
+    class CommandErrorCollection < BaseError
+      attr_reader errors: Hash[String, Redis::CommandError]
+      @errors: Hash[String, Redis::CommandError]
+
+      def initialize: (Hash[String, Redis::CommandError] errors, String error_message) -> void
+    end
+
+    class AmbiguousNodeError < BaseError
+      def initialize: (untyped command) -> void
+    end
+
+    class CrossSlotPipeliningError < BaseError
+      def initialize: (untyped keys) -> void
+    end
+  end
+end

data/data/vendored_gem_sigs/redis/future.rbs

@@ -0,0 +1,5 @@
+class Redis
+  class Future[out T]
+    attr_reader value: T
+  end
+end