parlour 4.0.1 → 5.0.0.beta.1

data/lib/parlour/version.rb

@@ -1,5 +1,5 @@
 # typed: strong
 module Parlour
   # The library version.
-  VERSION = '4.0.1'
+  VERSION = '5.0.0.beta.1'
 end

data/parlour.gemspec

@@ -9,7 +9,7 @@ Gem::Specification.new do |spec|
   spec.authors       = ["Aaron Christiansen"]
   spec.email         = ["hello@aaronc.cc"]
 
-  spec.summary       = %q{An RBI generator, merger and parser for Sorbet}
+  spec.summary       = %q{A type information generator, merger and parser for Sorbet and Ruby 3/Steep}
   spec.homepage      = "https://github.com/AaronC81/parlour"
   spec.license       = "MIT"
 

data/rbi/parlour.rbi

@@ -3,7 +3,7 @@ module Kernel
 end
 
 module Parlour
-  VERSION = '4.0.0'
+  VERSION = '5.0.0.beta.1'
 
   class ConflictResolver
     extend T::Sig
@@ -19,6 +19,9 @@ module Parlour
 
     sig { params(arr: T::Array[T.untyped]).returns(T::Boolean) }
     def all_eql?(arr); end
+
+    sig { params(namespace: RbiGenerator::Namespace, name: T.nilable(String)).void }
+    def deduplicate_mixins_of_name(namespace, name); end
   end
 
   module Debugging
@@ -57,6 +60,52 @@ module Parlour
     end
   end
 
+  class DetachedRbsGenerator < RbsGenerator
+    sig { returns(T.untyped) }
+    def detached!; end
+
+    sig { override.returns(Options) }
+    def options; end
+
+    sig { override.returns(T.nilable(Plugin)) }
+    def current_plugin; end
+
+    sig { override.returns(String) }
+    def rbs; end
+  end
+
+  class Generator
+    extend T::Sig
+
+    sig { params(break_params: Integer, tab_size: Integer, sort_namespaces: T::Boolean).void }
+    def initialize(break_params: 4, tab_size: 2, sort_namespaces: false); end
+
+    sig { returns(Options) }
+    attr_reader :options
+
+    sig { returns(T.nilable(Plugin)) }
+    attr_accessor :current_plugin
+  end
+
+  class Options
+    extend T::Sig
+
+    sig { params(break_params: Integer, tab_size: Integer, sort_namespaces: T::Boolean).void }
+    def initialize(break_params:, tab_size:, sort_namespaces:); end
+
+    sig { returns(Integer) }
+    attr_reader :break_params
+
+    sig { returns(Integer) }
+    attr_reader :tab_size
+
+    sig { returns(T::Boolean) }
+    attr_reader :sort_namespaces
+
+    sig { params(level: Integer, str: String).returns(String) }
+    def indented(level, str); end
+  end
+
   class ParseError < StandardError
     extend T::Sig
 
@@ -181,6 +230,15 @@ module Parlour
     sig { params(path: NodePath, is_within_eigenclass: T::Boolean).returns(T::Array[RbiGenerator::Method]) }
     def parse_method_into_methods(path, is_within_eigenclass: false); end
 
+    sig { params(str: String).returns(Types::Type) }
+    def self.parse_single_type(str); end
+
+    sig { params(node: Parser::AST::Node).returns(Types::Type) }
+    def parse_node_to_type(node); end
+
+    sig { params(msg: String, node: Parser::AST::Node).void }
+    def warning(msg, node); end
+
     sig { params(node: T.nilable(Parser::AST::Node)).returns(T::Array[Symbol]) }
     def constant_names(node); end
 
@@ -213,26 +271,364 @@ module Parlour
     def zip_by(a, fa, b, fb); end
   end
 
-  class RbiGenerator
+  class TypedObject
+    abstract!
+
     extend T::Sig
+    extend T::Helpers
 
-    sig { params(break_params: Integer, tab_size: Integer, sort_namespaces: T::Boolean).void }
-    def initialize(break_params: 4, tab_size: 2, sort_namespaces: false); end
+    sig { params(name: String).void }
+    def initialize(name); end
 
-    sig { returns(Options) }
-    attr_reader :options
+    sig { returns(T.nilable(Plugin)) }
+    attr_reader :generated_by
 
-    sig { returns(Namespace) }
-    attr_reader :root
+    sig { returns(String) }
+    attr_reader :name
 
-    sig { returns(T.nilable(Plugin)) }
-    attr_accessor :current_plugin
+    sig { returns(T::Array[String]) }
+    attr_reader :comments
+
+    sig { params(comment: T.any(String, T::Array[String])).void }
+    def add_comment(comment); end
+
+    sig { abstract.returns(String) }
+    def describe; end
+
+    sig { params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+    def generate_comments(indent_level, options); end
+  end
+
+  module Types
+    TypeLike = T.type_alias { T.any(String, Type) }
+
+    class Type
+      abstract!
+
+      extend T::Sig
+      extend T::Helpers
+
+      sig { abstract.returns(String) }
+      def generate_rbi; end
+
+      sig { abstract.returns(String) }
+      def generate_rbs; end
+
+      sig { params(type_like: TypeLike).returns(Type) }
+      def self.to_type(type_like); end
+
+      sig { params(type_like: TypeLike).returns(Type) }
+      def to_type(type_like); end
+    end
+
+    class Raw < Type
+      sig { params(str: String).void }
+      def initialize(str); end
+
+      sig { returns(String) }
+      attr_reader :str
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Nilable < Type
+      sig { params(type: TypeLike).void }
+      def initialize(type); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(Type) }
+      attr_reader :type
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Union < Type
+      sig { params(types: T::Array[TypeLike]).void }
+      def initialize(types); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Array[Type]) }
+      attr_reader :types
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Intersection < Type
+      sig { params(types: T::Array[TypeLike]).void }
+      def initialize(types); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Array[Type]) }
+      attr_reader :types
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Tuple < Type
+      sig { params(types: T::Array[TypeLike]).void }
+      def initialize(types); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Array[Type]) }
+      attr_reader :types
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class SingleElementCollection < Type
+      abstract!
+
+      sig { params(element: TypeLike).void }
+      def initialize(element); end
+
+      sig { returns(Type) }
+      attr_reader :element
+
+      sig { abstract.returns(String) }
+      def collection_name; end
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Array < SingleElementCollection
+      sig { override.returns(String) }
+      def collection_name; end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+    end
+
+    class Set < SingleElementCollection
+      sig { override.returns(String) }
+      def collection_name; end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+    end
+
+    class Range < SingleElementCollection
+      sig { override.returns(String) }
+      def collection_name; end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+    end
+
+    class Enumerable < SingleElementCollection
+      sig { override.returns(String) }
+      def collection_name; end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+    end
+
+    class Enumerator < SingleElementCollection
+      sig { override.returns(String) }
+      def collection_name; end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+    end
+
+    class Hash < Type
+      sig { params(key: TypeLike, value: TypeLike).void }
+      def initialize(key, value); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(Type) }
+      attr_reader :key
+
+      sig { returns(Type) }
+      attr_reader :value
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Record < Type
+      sig { params(keys_to_types: T::Hash[Symbol, TypeLike]).void }
+      def initialize(keys_to_types); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Hash[Symbol, Type]) }
+      attr_reader :keys_to_types
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Class < Type
+      sig { params(type: TypeLike).void }
+      def initialize(type); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(Type) }
+      attr_reader :type
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Boolean < Type
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Untyped < Type
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+
+    class Proc < Type
+      class Parameter
+        extend T::Sig
+
+        sig { params(name: String, type: TypeLike, default: T.nilable(String)).void }
+        def initialize(name, type, default = nil); end
+
+        sig { returns(String) }
+        attr_reader :name
+
+        sig { returns(Type) }
+        attr_reader :type
+
+        sig { returns(T.nilable(String)) }
+        attr_reader :default
+
+        sig { params(other: Object).returns(T::Boolean) }
+        def ==(other); end
+      end
+
+      sig { params(parameters: T::Array[Parameter], return_type: T.nilable(TypeLike)).void }
+      def initialize(parameters, return_type); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Array[Parameter]) }
+      attr_reader :parameters
+
+      sig { returns(T.nilable(Type)) }
+      attr_reader :return_type
+
+      sig { override.returns(String) }
+      def generate_rbi; end
+
+      sig { override.returns(String) }
+      def generate_rbs; end
+    end
+  end
+
+  module Conversion
+    class Converter
+      abstract!
+
+      extend T::Sig
+      extend T::Helpers
+
+      sig { returns(T.untyped) }
+      def initialize; end
+
+      sig { returns(T::Array[[String, TypedObject]]) }
+      attr_reader :warnings
+
+      sig { params(msg: String, node: RbiGenerator::RbiObject).void }
+      def add_warning(msg, node); end
+    end
+
+    class RbiToRbs < Converter
+      extend T::Sig
+
+      sig { params(rbs_gen: RbsGenerator).void }
+      def initialize(rbs_gen); end
+
+      sig { returns(RbsGenerator) }
+      attr_reader :rbs_gen
+
+      sig { params(from: RbiGenerator::Namespace, to: RbsGenerator::Namespace).void }
+      def convert_all(from, to); end
+
+      sig { params(node: RbiGenerator::RbiObject, new_parent: RbsGenerator::Namespace).void }
+      def convert_object(node, new_parent); end
+    end
+  end
+
+  class RbiGenerator < Generator
+    Options = Parlour::Options
+
+    sig { params(hash: T.untyped).returns(T.untyped) }
+    def initialize(**hash); end
+
+    sig { returns(RbiGenerator::Namespace) }
+    attr_reader :root
 
     sig { overridable.params(strictness: String).returns(String) }
     def rbi(strictness = 'strong'); end
 
     class Arbitrary < RbiObject
-      sig { params(generator: RbiGenerator, code: String, block: T.nilable(T.proc.params(x: Arbitrary).void)).void }
+      sig { params(generator: Generator, code: String, block: T.nilable(T.proc.params(x: Arbitrary).void)).void }
       def initialize(generator, code: '', &block); end
 
       sig { returns(String) }
@@ -252,15 +648,18 @@ module Parlour
 
       sig { override.returns(String) }
       def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class Attribute < Method
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
           kind: Symbol,
-          type: String,
+          type: Types::TypeLike,
           class_attribute: T::Boolean,
           block: T.nilable(T.proc.params(x: Attribute).void)
         ).void
@@ -273,9 +672,15 @@ module Parlour
       sig { returns(T::Boolean) }
       attr_reader :class_attribute
 
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
       sig { override.params(other: Object).returns(T::Boolean) }
       def ==(other); end
 
+      sig { override.void }
+      def generalize_from_rbi!; end
+
       sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
       def generate_definition(indent_level, options); end
     end
@@ -285,7 +690,7 @@ module Parlour
 
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
           final: T::Boolean,
           superclass: T.nilable(String),
@@ -312,21 +717,24 @@ module Parlour
 
       sig { override.returns(String) }
       def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class Constant < RbiObject
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
-          value: String,
+          value: Types::TypeLike,
           eigen_constant: T::Boolean,
           block: T.nilable(T.proc.params(x: Constant).void)
         ).void
       end
       def initialize(generator, name: '', value: '', eigen_constant: false, &block); end
 
-      sig { returns(String) }
+      sig { returns(Types::TypeLike) }
       attr_reader :value
 
       sig { returns(T.untyped) }
@@ -346,6 +754,9 @@ module Parlour
 
       sig { override.returns(String) }
       def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class EnumClassNamespace < ClassNamespace
@@ -353,7 +764,7 @@ module Parlour
 
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
           final: T::Boolean,
           enums: T::Array[T.any([String, String], String)],
@@ -374,10 +785,13 @@ module Parlour
 
       sig { override.params(others: T::Array[RbiGenerator::RbiObject]).void }
       def merge_into_self(others); end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class Extend < RbiObject
-      sig { params(generator: RbiGenerator, name: String, block: T.nilable(T.proc.params(x: Extend).void)).void }
+      sig { params(generator: Generator, name: String, block: T.nilable(T.proc.params(x: Extend).void)).void }
       def initialize(generator, name: '', &block); end
 
       sig { params(other: Object).returns(T::Boolean) }
@@ -394,10 +808,13 @@ module Parlour
 
       sig { override.returns(String) }
       def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class Include < RbiObject
-      sig { params(generator: RbiGenerator, name: String, block: T.nilable(T.proc.params(x: Include).void)).void }
+      sig { params(generator: Generator, name: String, block: T.nilable(T.proc.params(x: Include).void)).void }
       def initialize(generator, name: '', &block); end
 
       sig { params(other: Object).returns(T::Boolean) }
@@ -414,6 +831,9 @@ module Parlour
 
       sig { override.returns(String) }
       def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class Method < RbiObject
@@ -421,10 +841,10 @@ module Parlour
 
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
           parameters: T::Array[Parameter],
-          return_type: T.nilable(String),
+          return_type: T.nilable(Types::TypeLike),
           abstract: T::Boolean,
           implementation: T::Boolean,
           override: T::Boolean,
@@ -443,7 +863,7 @@ module Parlour
       sig { returns(T::Array[Parameter]) }
       attr_reader :parameters
 
-      sig { returns(T.nilable(String)) }
+      sig { returns(T.nilable(Types::TypeLike)) }
       attr_reader :return_type
 
       sig { returns(T::Boolean) }
@@ -479,6 +899,9 @@ module Parlour
       sig { override.returns(String) }
       def describe; end
 
+      sig { override.void }
+      def generalize_from_rbi!; end
+
       sig { overridable.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
       def generate_definition(indent_level, options); end
 
@@ -491,7 +914,7 @@ module Parlour
 
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
           final: T::Boolean,
           interface: T::Boolean,
@@ -514,6 +937,9 @@ module Parlour
 
       sig { override.returns(String) }
       def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class Namespace < RbiObject
@@ -524,7 +950,7 @@ module Parlour
 
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: T.nilable(String),
           final: T::Boolean,
           block: T.nilable(T.proc.params(x: Namespace).void)
@@ -544,6 +970,9 @@ module Parlour
       sig { returns(T::Array[RbiGenerator::Include]) }
       def includes; end
 
+      sig { returns(T::Array[RbiGenerator::TypeAlias]) }
+      def aliases; end
+
       sig { returns(T::Array[RbiGenerator::Constant]) }
       def constants; end
 
@@ -600,7 +1029,7 @@ module Parlour
         params(
           name: String,
           parameters: T.nilable(T::Array[Parameter]),
-          return_type: T.nilable(String),
+          return_type: T.nilable(Types::TypeLike),
           returns: T.nilable(String),
           abstract: T::Boolean,
           implementation: T::Boolean,
@@ -618,7 +1047,7 @@ module Parlour
         params(
           name: String,
           kind: Symbol,
-          type: String,
+          type: Types::TypeLike,
           class_attribute: T::Boolean,
           block: T.nilable(T.proc.params(x: Attribute).void)
         ).returns(Attribute)
@@ -628,7 +1057,7 @@ module Parlour
       sig do
         params(
           name: String,
-          type: String,
+          type: Types::TypeLike,
           class_attribute: T::Boolean,
           block: T.nilable(T.proc.params(x: Attribute).void)
         ).returns(Attribute)
@@ -638,7 +1067,7 @@ module Parlour
       sig do
         params(
           name: String,
-          type: String,
+          type: Types::TypeLike,
           class_attribute: T::Boolean,
           block: T.nilable(T.proc.params(x: Attribute).void)
         ).returns(Attribute)
@@ -648,7 +1077,7 @@ module Parlour
       sig do
         params(
           name: String,
-          type: String,
+          type: Types::TypeLike,
           class_attribute: T::Boolean,
           block: T.nilable(T.proc.params(x: Attribute).void)
         ).returns(Attribute)
@@ -680,7 +1109,7 @@ module Parlour
       end
       def create_constant(name, value:, eigen_constant: false, &block); end
 
-      sig { params(name: String, type: String, block: T.nilable(T.proc.params(x: Constant).void)).returns(Constant) }
+      sig { params(name: String, type: Types::TypeLike, block: T.nilable(T.proc.params(x: TypeAlias).void)).returns(TypeAlias) }
       def create_type_alias(name, type:, &block); end
 
       sig { override.overridable.params(others: T::Array[RbiGenerator::RbiObject]).returns(T::Boolean) }
@@ -692,6 +1121,9 @@ module Parlour
       sig { override.overridable.returns(String) }
       def describe; end
 
+      sig { override.void }
+      def generalize_from_rbi!; end
+
       sig { overridable.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
       def generate_body(indent_level, options); end
 
@@ -699,25 +1131,6 @@ module Parlour
       def move_next_comments(object); end
     end
 
-    class Options
-      extend T::Sig
-
-      sig { params(break_params: Integer, tab_size: Integer, sort_namespaces: T::Boolean).void }
-      def initialize(break_params:, tab_size:, sort_namespaces:); end
-
-      sig { returns(Integer) }
-      attr_reader :break_params
-
-      sig { returns(Integer) }
-      attr_reader :tab_size
-
-      sig { returns(T::Boolean) }
-      attr_reader :sort_namespaces
-
-      sig { params(level: Integer, str: String).returns(String) }
-      def indented(level, str); end
-    end
-
     class Parameter
       extend T::Sig
       PREFIXES = {
@@ -727,7 +1140,7 @@ module Parlour
         block: '&'
       }.freeze
 
-      sig { params(name: String, type: T.nilable(String), default: T.nilable(String)).void }
+      sig { params(name: String, type: T.nilable(Types::TypeLike), default: T.nilable(String)).void }
       def initialize(name, type: nil, default: nil); end
 
       sig { params(other: Object).returns(T::Boolean) }
@@ -739,7 +1152,7 @@ module Parlour
       sig { returns(String) }
       def name_without_kind; end
 
-      sig { returns(String) }
+      sig { returns(Types::TypeLike) }
       attr_reader :type
 
       sig { returns(T.nilable(String)) }
@@ -753,32 +1166,20 @@ module Parlour
 
       sig { returns(String) }
       def to_sig_param; end
+
+      sig { void }
+      def generalize_from_rbi!; end
     end
 
-    class RbiObject
+    class RbiObject < TypedObject
       abstract!
 
-      extend T::Helpers
-      extend T::Sig
-
-      sig { params(generator: RbiGenerator, name: String).void }
+      sig { params(generator: Generator, name: String).void }
       def initialize(generator, name); end
 
-      sig { returns(RbiGenerator) }
+      sig { returns(Generator) }
       attr_reader :generator
 
-      sig { returns(T.nilable(Plugin)) }
-      attr_reader :generated_by
-
-      sig { returns(String) }
-      attr_reader :name
-
-      sig { returns(T::Array[String]) }
-      attr_reader :comments
-
-      sig { params(comment: T.any(String, T::Array[String])).void }
-      def add_comment(comment); end
-
       sig { abstract.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
       def generate_rbi(indent_level, options); end
 
@@ -788,11 +1189,11 @@ module Parlour
       sig { abstract.params(others: T::Array[RbiGenerator::RbiObject]).void }
       def merge_into_self(others); end
 
-      sig { abstract.returns(String) }
+      sig { override.overridable.returns(String) }
       def describe; end
 
-      sig { params(indent_level: Integer, options: Options).returns(T::Array[String]) }
-      def generate_comments(indent_level, options); end
+      sig { abstract.void }
+      def generalize_from_rbi!; end
     end
 
     class StructClassNamespace < ClassNamespace
@@ -800,7 +1201,7 @@ module Parlour
 
       sig do
         params(
-          generator: RbiGenerator,
+          generator: Generator,
           name: String,
           final: T::Boolean,
           props: T::Array[StructProp],
@@ -821,6 +1222,9 @@ module Parlour
 
       sig { override.params(others: T::Array[RbiGenerator::RbiObject]).void }
       def merge_into_self(others); end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
     end
 
     class StructProp
@@ -832,7 +1236,7 @@ module Parlour
       sig do
         params(
           name: String,
-          type: String,
+          type: Types::TypeLike,
           optional: T.nilable(T.any(T::Boolean, Symbol)),
           enum: T.nilable(String),
           dont_store: T.nilable(T::Boolean),
@@ -853,7 +1257,7 @@ module Parlour
       sig { returns(String) }
       attr_reader :name
 
-      sig { returns(T.nilable(String)) }
+      sig { returns(Types::TypeLike) }
       attr_reader :type
 
       sig { returns(T.nilable(T.any(T::Boolean, Symbol))) }
@@ -888,6 +1292,508 @@ module Parlour
 
       sig { returns(String) }
       def to_prop_call; end
+
+      sig { void }
+      def generalize_from_rbi!; end
+    end
+
+    class TypeAlias < RbiObject
+      sig do
+        params(
+          generator: Generator,
+          name: String,
+          type: Types::TypeLike,
+          block: T.nilable(T.proc.params(x: TypeAlias).void)
+        ).void
+      end
+      def initialize(generator, name:, type:, &block); end
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbi(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbiGenerator::RbiObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbiGenerator::RbiObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+
+      sig { override.void }
+      def generalize_from_rbi!; end
+    end
+  end
+
+  class RbsGenerator < Generator
+    sig { params(hash: T.untyped).returns(T.untyped) }
+    def initialize(**hash); end
+
+    sig { returns(RbsGenerator::Namespace) }
+    attr_reader :root
+
+    sig { overridable.returns(String) }
+    def rbs; end
+
+    class Arbitrary < RbsObject
+      sig { params(generator: Generator, code: String, block: T.nilable(T.proc.params(x: Arbitrary).void)).void }
+      def initialize(generator, code: '', &block); end
+
+      sig { returns(String) }
+      attr_accessor :code
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class Attribute < RbsGenerator::Method
+      extend T::Sig
+
+      sig do
+        params(
+          generator: Generator,
+          name: String,
+          kind: Symbol,
+          type: Types::TypeLike,
+          block: T.nilable(T.proc.params(x: Attribute).void)
+        ).void
+      end
+      def initialize(generator, name, kind, type, &block); end
+
+      sig { returns(Symbol) }
+      attr_reader :kind
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+    end
+
+    class Block
+      extend T::Sig
+
+      sig { params(type: Types::Proc, required: T::Boolean).void }
+      def initialize(type, required); end
+
+      sig { overridable.params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(Types::Proc) }
+      attr_reader :type
+
+      sig { returns(T::Boolean) }
+      attr_reader :required
+
+      sig { params(options: Options).returns(T::Array[String]) }
+      def generate_rbs(options); end
+    end
+
+    class ClassNamespace < Namespace
+      extend T::Sig
+
+      sig do
+        params(
+          generator: Generator,
+          name: String,
+          superclass: T.nilable(Types::TypeLike),
+          block: T.nilable(T.proc.params(x: ClassNamespace).void)
+        ).void
+      end
+      def initialize(generator, name, superclass, &block); end
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { returns(T.nilable(Types::TypeLike)) }
+      attr_reader :superclass
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class Constant < RbsObject
+      sig do
+        params(
+          generator: Generator,
+          name: String,
+          type: Types::TypeLike,
+          block: T.nilable(T.proc.params(x: Constant).void)
+        ).void
+      end
+      def initialize(generator, name, type:, &block); end
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class Extend < RbsObject
+      sig { params(generator: Generator, type: Types::TypeLike, block: T.nilable(T.proc.params(x: Extend).void)).void }
+      def initialize(generator, type:, &block); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class Include < RbsObject
+      sig { params(generator: Generator, type: Types::TypeLike, block: T.nilable(T.proc.params(x: Include).void)).void }
+      def initialize(generator, type:, &block); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class InterfaceNamespace < Namespace
+      extend T::Sig
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class Method < RbsObject
+      extend T::Sig
+
+      sig do
+        params(
+          generator: Generator,
+          name: String,
+          signatures: T::Array[MethodSignature],
+          class_method: T::Boolean,
+          block: T.nilable(T.proc.params(x: Method).void)
+        ).void
+      end
+      def initialize(generator, name, signatures, class_method: false, &block); end
+
+      sig { overridable.params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Array[MethodSignature]) }
+      attr_reader :signatures
+
+      sig { returns(T::Boolean) }
+      attr_reader :class_method
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class MethodSignature
+      extend T::Sig
+
+      sig do
+        params(
+          parameters: T::Array[Parameter],
+          return_type: T.nilable(Types::TypeLike),
+          block: T.nilable(Block),
+          type_parameters: T.nilable(T::Array[Symbol])
+        ).void
+      end
+      def initialize(parameters, return_type = nil, block: nil, type_parameters: nil); end
+
+      sig { overridable.params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(T::Array[Parameter]) }
+      attr_reader :parameters
+
+      sig { returns(T.nilable(Types::TypeLike)) }
+      attr_reader :return_type
+
+      sig { returns(T.nilable(Block)) }
+      attr_reader :block
+
+      sig { returns(T::Array[Symbol]) }
+      attr_reader :type_parameters
+
+      sig { params(options: Options).returns(T::Array[String]) }
+      def generate_rbs(options); end
+    end
+
+    class ModuleNamespace < Namespace
+      extend T::Sig
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.returns(String) }
+      def describe; end
+    end
+
+    class Namespace < RbsObject
+      extend T::Sig
+
+      sig { override.overridable.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { params(generator: Generator, name: T.nilable(String), block: T.nilable(T.proc.params(x: Namespace).void)).void }
+      def initialize(generator, name = nil, &block); end
+
+      sig { returns(T::Array[RbsObject]) }
+      attr_reader :children
+
+      sig { returns(T::Array[RbsGenerator::Extend]) }
+      def extends; end
+
+      sig { returns(T::Array[RbsGenerator::Include]) }
+      def includes; end
+
+      sig { returns(T::Array[RbsGenerator::TypeAlias]) }
+      def aliases; end
+
+      sig { returns(T::Array[RbsGenerator::Constant]) }
+      def constants; end
+
+      sig { params(object: T.untyped, block: T.proc.params(x: Namespace).void).void }
+      def path(object, &block); end
+
+      sig { params(comment: T.any(String, T::Array[String])).void }
+      def add_comment_to_next_child(comment); end
+
+      sig { params(name: String, superclass: T.nilable(Types::TypeLike), block: T.nilable(T.proc.params(x: ClassNamespace).void)).returns(ClassNamespace) }
+      def create_class(name, superclass: nil, &block); end
+
+      sig { params(name: String, block: T.nilable(T.proc.params(x: Namespace).void)).returns(ModuleNamespace) }
+      def create_module(name, &block); end
+
+      sig { params(name: String, block: T.nilable(T.proc.params(x: Namespace).void)).returns(InterfaceNamespace) }
+      def create_interface(name, &block); end
+
+      sig do
+        params(
+          name: String,
+          signatures: T.nilable(T::Array[MethodSignature]),
+          class_method: T::Boolean,
+          block: T.nilable(T.proc.params(x: Method).void)
+        ).returns(Method)
+      end
+      def create_method(name, signatures = nil, class_method: false, &block); end
+
+      sig do
+        params(
+          name: String,
+          kind: Symbol,
+          type: Types::TypeLike,
+          block: T.nilable(T.proc.params(x: Attribute).void)
+        ).returns(Attribute)
+      end
+      def create_attribute(name, kind:, type:, &block); end
+
+      sig { params(name: String, type: Types::TypeLike, block: T.nilable(T.proc.params(x: Attribute).void)).returns(Attribute) }
+      def create_attr_reader(name, type:, &block); end
+
+      sig { params(name: String, type: Types::TypeLike, block: T.nilable(T.proc.params(x: Attribute).void)).returns(Attribute) }
+      def create_attr_writer(name, type:, &block); end
+
+      sig { params(name: String, type: Types::TypeLike, block: T.nilable(T.proc.params(x: Attribute).void)).returns(Attribute) }
+      def create_attr_accessor(name, type:, &block); end
+
+      sig { params(code: T.untyped, block: T.untyped).returns(T.untyped) }
+      def create_arbitrary(code:, &block); end
+
+      sig { params(type: Types::TypeLike, block: T.nilable(T.proc.params(x: Extend).void)).returns(RbsGenerator::Extend) }
+      def create_extend(type, &block); end
+
+      sig { params(extendables: T::Array[Types::TypeLike]).returns(T::Array[Extend]) }
+      def create_extends(extendables); end
+
+      sig { params(type: Types::TypeLike, block: T.nilable(T.proc.params(x: Include).void)).returns(Include) }
+      def create_include(type, &block); end
+
+      sig { params(includables: T::Array[Types::TypeLike]).returns(T::Array[Include]) }
+      def create_includes(includables); end
+
+      sig { params(name: String, type: Types::TypeLike, block: T.nilable(T.proc.params(x: Constant).void)).returns(Constant) }
+      def create_constant(name, type:, &block); end
+
+      sig { params(name: String, type: Types::TypeLike, block: T.nilable(T.proc.params(x: TypeAlias).void)).returns(TypeAlias) }
+      def create_type_alias(name, type:, &block); end
+
+      sig { override.overridable.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.overridable.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.overridable.returns(String) }
+      def describe; end
+
+      sig { overridable.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_body(indent_level, options); end
+
+      sig { params(object: RbsObject).void }
+      def move_next_comments(object); end
+    end
+
+    class Parameter
+      extend T::Sig
+      RBS_KEYWORDS = [
+        'type', 'interface', 'out', 'in', 'instance'
+      ]
+      PREFIXES = {
+        normal: '',
+        splat: '*',
+        double_splat: '**',
+      }.freeze
+
+      sig { params(name: String, type: T.nilable(Types::TypeLike), required: T::Boolean).void }
+      def initialize(name, type: nil, required: true); end
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { returns(String) }
+      attr_reader :name
+
+      sig { returns(String) }
+      def name_without_kind; end
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { returns(T::Boolean) }
+      attr_reader :required
+
+      sig { returns(Symbol) }
+      attr_reader :kind
+
+      sig { returns(String) }
+      def to_rbs_param; end
+    end
+
+    class RbsObject < TypedObject
+      abstract!
+
+      sig { params(generator: Generator, name: String).void }
+      def initialize(generator, name); end
+
+      sig { returns(Generator) }
+      attr_reader :generator
+
+      sig { abstract.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { abstract.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { abstract.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.overridable.returns(String) }
+      def describe; end
+    end
+
+    class TypeAlias < RbsObject
+      sig do
+        params(
+          generator: Generator,
+          name: String,
+          type: Types::TypeLike,
+          block: T.nilable(T.proc.params(x: TypeAlias).void)
+        ).void
+      end
+      def initialize(generator, name:, type:, &block); end
+
+      sig { returns(Types::TypeLike) }
+      attr_reader :type
+
+      sig { params(other: Object).returns(T::Boolean) }
+      def ==(other); end
+
+      sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
+      def generate_rbs(indent_level, options); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).returns(T::Boolean) }
+      def mergeable?(others); end
+
+      sig { override.params(others: T::Array[RbsGenerator::RbsObject]).void }
+      def merge_into_self(others); end
+
+      sig { override.returns(String) }
+      def describe; end
     end
   end
 end