rbi 0.3.7 → 0.3.8

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d0977bf3c0892a76c8d66ec2f295a62948530bcd2eee11911c50e36ac1bf5402
-  data.tar.gz: ae51e44eb13fe8045f200a8a0353daa9969c4389f99c73758713fa0a9b2b9b0f
+  metadata.gz: e8a26f05eff609245be847ff291cfd456b86e0a11aa85c496bcdcbaf8c202b5b
+  data.tar.gz: f1eb34ff26a99f6b1b20edfaec281db99559cce730e3c0cdbf0d8c75a8e6ee91
 SHA512:
-  metadata.gz: 32bafbbfffee840fe60a1633eb8b408aca4c8e39b5359ce3deca5185ab3003ac43b6c6cab4c4639d9e87e12afabcf1ee042bc9b5a56a231302354f884b2c27ea
-  data.tar.gz: da025803fafaf40714356d02dfe77a705a0de38050bdce9616c6e35f68479b958aa0eb5b596ddf146ef1493932a70fead22f7cb745a28e7c15a40ee85a850c2e
+  metadata.gz: 9cbe3f72073f2813cef4744b57849d8725eab8ed19df9b14d7d7571f795dd90ca925645eed50f62ff86d8a387a5e845a516a7dfc097593788e9b27c6d6489edd
+  data.tar.gz: 72e11ed844915a8965f3a0db4f76b7cb3b6e22e6eb7848bcf2f5484a415bdf79fd7c552c811b279cb006121179c8ebc1cfa58bcbe3d95e2089fec02f1f8ab8a0

data/Gemfile

@@ -14,6 +14,6 @@ group(:development, :test) do
   gem("rubocop-shopify", require: false)
   gem("rubocop-sorbet", require: false)
   gem("sorbet", ">= 0.5.9204", require: false)
-  gem("spoom", ">= 1.6.0", require: false)
-  gem("tapioca", require: false)
+  gem("spoom", ">= 1.7.10", require: false)
+  gem("tapioca", ">= 0.17.9", require: false)
 end

data/lib/rbi/rbs/type_translator.rb

@@ -33,7 +33,6 @@ module RBI
         def translate(type)
           case type
           when ::RBS::Types::Alias
-            # TODO: unsupported yet
             translate_type_alias(type)
           when ::RBS::Types::Bases::Any
             Type.untyped
@@ -162,23 +161,25 @@ module RBI
         def translate_t_generic_type(type_name)
           case type_name.delete_prefix("::")
           when "Array"
-            "T::Array"
+            "::T::Array"
           when "Class"
-            "T::Class"
+            "::T::Class"
           when "Enumerable"
-            "T::Enumerable"
+            "::T::Enumerable"
           when "Enumerator"
-            "T::Enumerator"
+            "::T::Enumerator"
           when "Enumerator::Chain"
-            "T::Enumerator::Chain"
+            "::T::Enumerator::Chain"
           when "Enumerator::Lazy"
-            "T::Enumerator::Lazy"
+            "::T::Enumerator::Lazy"
           when "Hash"
-            "T::Hash"
+            "::T::Hash"
+          when "Module"
+            "::T::Module"
           when "Set"
-            "T::Set"
+            "::T::Set"
           when "Range"
-            "T::Range"
+            "::T::Range"
           else
             type_name
           end

data/lib/rbi/rbs_printer.rb

@@ -1030,6 +1030,8 @@ module RBI
         visit_type_parameter(node)
       when Type::Class
         visit_class(node)
+      when Type::Module
+        visit_module(node)
       else
         raise Error, "Unhandled node: #{node.class}"
       end
@@ -1190,6 +1192,13 @@ module RBI
       @string << "]"
     end
 
+    #: (Type::Module type) -> void
+    def visit_module(type)
+      @string << "Module["
+      visit(type.type)
+      @string << "]"
+    end
+
     private
 
     #: (String type_name) -> String
@@ -1197,10 +1206,20 @@ module RBI
       case type_name
       when "T::Array"
         "Array"
+      when "T::Enumerable"
+        "Enumerable"
+      when "T::Enumerator"
+        "Enumerator"
+      when "T::Enumerator::Chain"
+        "Enumerator::Chain"
+      when "T::Enumerator::Lazy"
+        "Enumerator::Lazy"
       when "T::Hash"
         "Hash"
       when "T::Set"
         "Set"
+      when "T::Range"
+        "Range"
       else
         type_name
       end

data/lib/rbi/type.rb

@@ -58,7 +58,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.anything"
+        "::T.anything"
       end
 
       # @override
@@ -85,7 +85,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.attached_class"
+        "::T.attached_class"
       end
 
       # @override
@@ -139,7 +139,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.noreturn"
+        "::T.noreturn"
       end
 
       # @override
@@ -166,7 +166,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.self_type"
+        "::T.self_type"
       end
 
       # @override
@@ -193,7 +193,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.untyped"
+        "::T.untyped"
       end
 
       # @override
@@ -274,6 +274,42 @@ module RBI
       end
     end
 
+    # The module of another type like `T::Module[Foo]`.
+    class Module < Type
+      #: Type
+      attr_reader :type
+
+      #: (Type type) -> void
+      def initialize(type)
+        super()
+        @type = type
+      end
+
+      # @override
+      #: (BasicObject other) -> bool
+      def ==(other)
+        Module === other && @type == other.type
+      end
+
+      # @override
+      #: -> String
+      def to_rbi
+        "T::Module[#{@type}]"
+      end
+
+      # @override
+      #: -> Type
+      def normalize
+        self
+      end
+
+      # @override
+      #: -> Type
+      def simplify
+        self
+      end
+    end
+
     # The singleton class of another type like `T.class_of(Foo)`.
     class ClassOf < Type
       #: Simple
@@ -299,9 +335,9 @@ module RBI
       #: -> String
       def to_rbi
         if @type_parameter
-          "T.class_of(#{@type.to_rbi})[#{@type_parameter.to_rbi}]"
+          "::T.class_of(#{@type.to_rbi})[#{@type_parameter.to_rbi}]"
         else
-          "T.class_of(#{@type.to_rbi})"
+          "::T.class_of(#{@type.to_rbi})"
         end
       end
 
@@ -338,7 +374,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.nilable(#{@type.to_rbi})"
+        "::T.nilable(#{@type.to_rbi})"
       end
 
       # @override
@@ -385,7 +421,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.all(#{@types.map(&:to_rbi).join(", ")})"
+        "::T.all(#{@types.map(&:to_rbi).join(", ")})"
       end
 
       # @override
@@ -427,7 +463,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.any(#{@types.map(&:to_rbi).join(", ")})"
+        "::T.any(#{@types.map(&:to_rbi).join(", ")})"
       end
 
       #: -> bool
@@ -567,7 +603,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "T.type_parameter(#{@name.inspect})"
+        "::T.type_parameter(#{@name.inspect})"
       end
 
       # @override
@@ -607,7 +643,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        "#{name} = T.type_alias { #{aliased_type.to_rbi} }"
+        "#{name} = ::T.type_alias { #{aliased_type.to_rbi} }"
       end
 
       # @override
@@ -760,7 +796,7 @@ module RBI
       # @override
       #: -> String
       def to_rbi
-        rbi = +"T.proc"
+        rbi = +"::T.proc"
 
         if @proc_bind
           rbi << ".bind(#{@proc_bind})"
@@ -863,6 +899,12 @@ module RBI
         Class.new(type)
       end
 
+      # Builds a type that represents the module of another type like `T::Module[Foo]`.
+      #: (Type type) -> Module
+      def t_module(type)
+        Module.new(type)
+      end
+
       # Builds a type that represents the singleton class of another type like `T.class_of(Foo)`.
       #: (Simple type, ?Type? type_parameter) -> ClassOf
       def class_of(type, type_parameter = nil)
@@ -958,8 +1000,8 @@ module RBI
     # ```ruby
     # type = RBI::Type.simple("String")
     # type.to_rbi # => "String"
-    # type.nilable.to_rbi # => "T.nilable(String)"
-    # type.nilable.nilable.to_rbi # => "T.nilable(String)"
+    # type.nilable.to_rbi # => "::T.nilable(String)"
+    # type.nilable.nilable.to_rbi # => "::T.nilable(String)"
     # ```
     #: -> Type
     def nilable
@@ -972,7 +1014,7 @@ module RBI
     #
     # ```ruby
     # type = RBI::Type.nilable(RBI::Type.simple("String"))
-    # type.to_rbi # => "T.nilable(String)"
+    # type.to_rbi # => "::T.nilable(String)"
     # type.non_nilable.to_rbi # => "String"
     # type.non_nilable.non_nilable.to_rbi # => "String"
     # ```

data/lib/rbi/type_parser.rb

@@ -116,6 +116,14 @@ module RBI
                   args.first, #: as !nil
                 ),
               )
+            elsif t_module?(recv)
+              # `T::Module[Foo]` or `::T::Module[Foo]`
+              args = check_arguments_exactly!(node, 1)
+              return Type::Module.new(
+                parse_node(
+                  args.first, #: as !nil
+                ),
+              )
             else
               # `::Foo[Bar]` or `::Foo[Bar, Baz]`
               args = check_arguments_at_least!(node, 1)
@@ -354,6 +362,11 @@ module RBI
         t?(node.parent) && node.name == :Class
       end
 
+      #: (Prism::ConstantPathNode node) -> bool
+      def t_module?(node)
+        t?(node.parent) && node.name == :Module
+      end
+
       #: (Prism::Node? node) -> bool
       def t_class_of?(node)
         return false unless node.is_a?(Prism::CallNode)

data/lib/rbi/version.rb

@@ -2,5 +2,5 @@
 # frozen_string_literal: true
 
 module RBI
-  VERSION = "0.3.7"
+  VERSION = "0.3.8"
 end

data/rbi/rbi.rbi

@@ -2,7 +2,7 @@
 
 # DO NOT EDIT MANUALLY
 # This is an autogenerated file for types exported from the `rbi` gem.
-# Please instead update this file by running `spoom srb sigs export`.
+# Please instead update this file by running `bundle exec spoom srb sigs export`.
 
 module RBI; end
 
@@ -2432,58 +2432,6 @@ class RBI::Tree < ::RBI::NodeWithComments
   sig { params(annotation: ::String, annotate_scopes: T::Boolean, annotate_properties: T::Boolean).void }
   def annotate!(annotation, annotate_scopes: T.unsafe(nil), annotate_properties: T.unsafe(nil)); end
 
-  sig do
-    params(
-      name: ::String,
-      superclass_name: T.nilable(::String),
-      block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)
-    ).returns(::RBI::Scope)
-  end
-  def create_class(name, superclass_name: T.unsafe(nil), &block); end
-
-  sig { params(name: ::String, value: ::String).void }
-  def create_constant(name, value:); end
-
-  sig { params(name: ::String).void }
-  def create_extend(name); end
-
-  sig { params(name: ::String).void }
-  def create_include(name); end
-
-  sig do
-    params(
-      name: ::String,
-      parameters: T::Array[::RBI::TypedParam],
-      return_type: T.nilable(::String),
-      class_method: T::Boolean,
-      visibility: ::RBI::Visibility,
-      comments: T::Array[::RBI::Comment],
-      block: T.nilable(T.proc.params(node: ::RBI::Method).void)
-    ).void
-  end
-  def create_method(name, parameters: T.unsafe(nil), return_type: T.unsafe(nil), class_method: T.unsafe(nil), visibility: T.unsafe(nil), comments: T.unsafe(nil), &block); end
-
-  sig { params(name: ::String).void }
-  def create_mixes_in_class_methods(name); end
-
-  sig { params(name: ::String, block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)).returns(::RBI::Scope) }
-  def create_module(name, &block); end
-
-  sig { params(constant: ::Module, block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)).returns(::RBI::Scope) }
-  def create_path(constant, &block); end
-
-  sig do
-    params(
-      name: ::String,
-      type: ::String,
-      variance: ::Symbol,
-      fixed: T.nilable(::String),
-      upper: T.nilable(::String),
-      lower: T.nilable(::String)
-    ).void
-  end
-  def create_type_variable(name, type:, variance: T.unsafe(nil), fixed: T.unsafe(nil), upper: T.unsafe(nil), lower: T.unsafe(nil)); end
-
   sig { params(annotation: ::String).void }
   def deannotate!(annotation); end
 
@@ -2535,14 +2483,6 @@ class RBI::Tree < ::RBI::NodeWithComments
 
   sig { void }
   def translate_rbs_sigs!; end
-
-  private
-
-  sig { params(node: ::RBI::Node).returns(::RBI::Node) }
-  def create_node(node); end
-
-  sig { returns(T::Hash[::String, ::RBI::Node]) }
-  def nodes_cache; end
 end
 
 class RBI::Type
@@ -2633,6 +2573,9 @@ class RBI::Type
     sig { params(type: ::RBI::Type).returns(::RBI::Type::Class) }
     def t_class(type); end
 
+    sig { params(type: ::RBI::Type).returns(::RBI::Type::Module) }
+    def t_module(type); end
+
     sig { params(types: T.any(::RBI::Type, T::Array[::RBI::Type])).returns(::RBI::Type::Tuple) }
     def tuple(*types); end
 
@@ -2689,6 +2632,9 @@ class RBI::Type
     sig { params(node: T.nilable(::Prism::Node)).returns(T::Boolean) }
     def t_class_of?(node); end
 
+    sig { params(node: ::Prism::ConstantPathNode).returns(T::Boolean) }
+    def t_module?(node); end
+
     sig { params(node: ::Prism::CallNode).returns(T::Boolean) }
     def t_proc?(node); end
 
@@ -2848,6 +2794,26 @@ class RBI::Type::Generic < ::RBI::Type
   def to_rbi; end
 end
 
+class RBI::Type::Module < ::RBI::Type
+  sig { params(type: ::RBI::Type).void }
+  def initialize(type); end
+
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  sig { override.returns(::RBI::Type) }
+  def normalize; end
+
+  sig { override.returns(::RBI::Type) }
+  def simplify; end
+
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  sig { returns(::RBI::Type) }
+  def type; end
+end
+
 class RBI::Type::Nilable < ::RBI::Type
   sig { params(type: ::RBI::Type).void }
   def initialize(type); end
@@ -3194,6 +3160,9 @@ class RBI::TypePrinter
   sig { params(type: ::RBI::Type::Generic).void }
   def visit_generic(type); end
 
+  sig { params(type: ::RBI::Type::Module).void }
+  def visit_module(type); end
+
   sig { params(type: ::RBI::Type::Nilable).void }
   def visit_nilable(type); end
 

metadata

@@ -1,13 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbi
 version: !ruby/object:Gem::Version
-  version: 0.3.7
+  version: 0.3.8
 platform: ruby
 authors:
 - Alexandre Terrasa
+autorequire:
 bindir: bin
 cert_chain: []
-date: 1980-01-02 00:00:00.000000000 Z
+date: 2025-12-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: prism
@@ -37,6 +38,7 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 3.4.4
+description:
 email:
 - ruby@shopify.com
 executables: []
@@ -82,6 +84,7 @@ licenses:
 - MIT
 metadata:
   allowed_push_host: https://rubygems.org
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -96,7 +99,8 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.7.2
+rubygems_version: 3.5.3
+signing_key:
 specification_version: 4
 summary: RBI generation framework
 test_files: []