parlour 4.0.0 → 5.0.0.beta.4

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f37a6dd2dffd0b59594b4c0ed664cdd27c4ea5bb02d1ca0f944ddff2d6ccda83
-  data.tar.gz: 38b776b79c349f48e672fbb81534d4ab1b751af13ecdab9e60d3f08562f03332
+  metadata.gz: 28a746eeb5c6322d0dfbfc53336bde66a65a35462f8e7685098aadd8720d3ade
+  data.tar.gz: 5cd5e9fe8cd248e1b7685134b3116f04c28e481d30ed6ac01b77b6f82aa7236b
 SHA512:
-  metadata.gz: 8da56118b8e784707a054ae7dbdddda63dade826ec19d87a06f468229e8e53ef1669f7b05c4c5be6cc9e75377846e729748b0f31d3400768041079050fb72776
-  data.tar.gz: c7a39a7a91aee7298fbdf3e5d7ebdebc278001317cb365bc7f3970d62fa49c2d9e3f5d7e1eb4c70a386ef0964f14bde2647871ab8c0b6a3a5adad8c774bc08f5
+  metadata.gz: 51d1cdde17b3d84ae927343e7627efc2ef832440907b8f3ae40ec3cf20edcd20a8f7f76f3991933251a7542ccc7b6ac1269a98a268603e34eaaf043322e05625
+  data.tar.gz: d84ae4f6260e82de62dafdc67a7715c9cd74f01a68bbce8f5e89d0aa1f00509bd4a5230ec0fa7c850898f57936e29aee07c8f607935dbc1c784f4212ff709246

data/.gitignore

@@ -8,7 +8,7 @@
 /tmp/
 Gemfile.lock
 /.vscode
-/sorbte/rbi/hidden-definitions/errors.txt
+/sorbet/rbi/hidden-definitions/errors.txt
 
 # rspec failure tracking
 .rspec_status

data/CHANGELOG.md

@@ -3,6 +3,58 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## [5.0.0.beta.4] - 2020-09-22
+### Added
+- Added support for parsing type aliases from RBI
+- Added conversion from RBI to RBS type aliases
+
+## [5.0.0.beta.3] - 2020-09-15
+### Changed
+- Changed the RBS keyword warning to come from "RBS generation" rather than
+  "Type generalization"
+- Added many more of RBS' keywords which are detected and prefixed with an
+  underscore to avoid syntax errors
+
+## [5.0.0.beta.2] - 2020-09-14
+### Added
+- Added `Types::Type#describe` for simple text descriptions of types
+- Added `Types::Self` for RBI's `T.self_type` or RBS' `self`
+
+### Fixed
+- Fixed `RbiGenerator::Namespace#create_method`'s `returns:` kwarg only
+  accepting String types
+- Fixed lack of spacing between argument lists and blocks in RBS
+- Fixed RBS attributes not having comments
+
+## [5.0.0.beta.1] - 2020-09-13
+### Added
+- Added RBS generation support! This includes:
+  - The new `RbsGenerator` class
+  - `RbsObject` and a set of subclasses representing different RBS components
+- Added the `Types` module, which is used to describe types agnostic of the
+  underlying type system
+  - Added `RbiGenerator::Namespace#generalize_from_rbi!` to convert RBI string
+    types into `Types` types
+  - **Specifying types as strings is still currently supported, but may be
+    phased out in future, and should be avoided in new projects**.
+- Added conversion from RBI to RBS type trees
+- Added a couple of classes to deduplicate functionality between type systems:
+  - `TypedObject`, which `RbiObject` and `RbsObject` both inherit from
+  - `Generator`, which `RbiGenerator` and `RbsGenerator` both inherit from
+- Added RBI type aliases
+
+### Changed
+- `Parlour::RbiGenerator::Options` is now `Parlour::Options`. An alias exists
+  for now, but **`Parlour::RbiGenerator::Options` is deprecated** and could be
+  removed in future versions.
+- Updated README and gem metadata to refer to Parlour as a type information
+  generator, rather than just an RBI generator
+
+## [4.0.1] - 2020-08-05
+### Fixed
+- Fixed duplicate includes and extends.
+- Fixed the block return type for `#resolve_conflicts` not being nilable.
+
 ## [4.0.0] - 2020-05-23
 ### Added
 - Parlour now defaults to loading the current project when running its command

data/README.md

@@ -3,42 +3,77 @@
 [![Build Status](https://travis-ci.org/AaronC81/parlour.svg?branch=master)](https://travis-ci.org/AaronC81/parlour)
 ![Gem](https://img.shields.io/gem/v/parlour.svg)
 
-Parlour is an RBI generator, merger and parser for Sorbet. It consists of three
-key parts:
+Parlour is a Ruby type information generator, merger and parser, supporting both
+**Sorbet RBI files and Ruby 3/Steep RBS files**. It consists of three key parts:
 
-  - The generator, which outputs beautifully formatted RBI files, created using
-    an intuitive DSL.
+  - The generator, which outputs beautifully formatted RBI/RBS files, created 
+    using an intuitive DSL.
 
   - The plugin/build system, which allows multiple Parlour plugins to generate
     RBIs for the same codebase. These are combined automatically as much as
     possible, but any other conflicts can be resolved manually through prompts.
 
-  - The parser, which can read an RBI and convert it back into a tree of
-    generator objects.
+  - The parser (currently RBI-only), which can read an RBI and convert it back
+    into a tree of generator objects.
 
 ## Why should I use this?
 
-  - Parlour enables **much easier creation of RBI generators**, as formatting
-    is all handled for you, and you don't need to write your own CLI.
+  - Parlour enables **much easier creation of RBI/RBS generators**, as
+    formatting is all handled for you, and you don't need to write your own CLI.
 
   - You can **use many plugins together seamlessly**, running them all with a
     single command and consolidating all of their definitions into a single
-    RBI output file.
+    output file.
 
   - You can **effortlessly build tools which need to access types within an RBI**;
     no need to write your own parser!
 
-  - You can **generate RBI to ship with your gem** for consuming projects to use
-    ([see "RBIs within gems" in Sorbet's docs](https://sorbet.org/docs/rbi#rbis-within-gems)).
+  - You can **generate RBI/RBS to ship with your gem** for consuming projects to
+    use ([see "RBIs within gems" in Sorbet's
+    docs](https://sorbet.org/docs/rbi#rbis-within-gems)).
 
 Please [**read the wiki**](https://github.com/AaronC81/parlour/wiki) to get
 started!
 
-## Creating RBIs
+## Feature Support
 
-### Using just the generator
+| Feature | RBI | RBS |
+|---------|-----|-----|
+| **GENERATION** |  |  |
+| Classes | ✅ | ⚠️ (missing `extension`) |
+| Modules | ✅ | ⚠️ (missing `extension`) |
+| Interfaces | ✅ | ✅ |
+| Attributes | ✅ | ✅ |
+| Methods | ✅ | ✅ |
+| Overloaded methods | ❌* | ✅ |
+| Structs | ✅ | ✅† |
+| Enums | ✅ | ✅† |
+| Generation with plugins | ✅ | ❌ |
+| **MANIPULATION** |  |  |
+| Parsing | ✅ | ❌ |
+| Merging | ✅ | ❌ |
 
-Here's a quick example of how you can generate an RBI:
+- ✅ - Well supported
+- ⚠️ - Some missing features
+- ❌ - Not currently supported
+
+- \* Only supported in stdlib types anyway
+- † Not natively supported; available as a one-way conversion from RBI
+
+## Creating Type Information
+
+Each file format has its own type information generator class, so there are two
+different generators you can use: `RbiGenerator` and `RbsGenerator`. Both
+generators are similar to use, however they provide different object types and
+parameters to match the functionality of their underlying type systems.
+
+You can also convert your type information between formats; see
+[converting between formats](#converting-between-formats).
+
+### Using Just the Generator
+
+Here's a quick example of how you can generate some type information. Here
+we'll generate an RBI using the `RbiGenerator` classes:
 
 ```ruby
 require 'parlour'
@@ -72,11 +107,50 @@ module A
 end
 ```
 
-### Writing a plugin
+Using the RBS generator looks similar, but has an intermediary 
+`MethodSignature` class to support RBS' method overloading:
+
+```ruby
+require 'parlour'
+
+generator = Parlour::RbsGenerator.new
+generator.root.create_module('A') do |a|
+  a.create_class('Foo') do |foo|
+    foo.create_method('add_two_integers', [
+      Parlour::RbsGenerator::MethodSignature.new(
+        [
+          Parlour::RbsGenerator::Parameter.new('a', type: 'Integer'),
+          Parlour::RbsGenerator::Parameter.new('b', type: 'Integer')
+        ],
+        'Integer'
+      )
+    ])
+  end
+
+  a.create_class('Bar', superclass: 'Foo')
+end
+
+generator.rbs # => Our RBS as a string
+```
+
+This generates an equivalent RBS file:
+
+```ruby
+module A
+  class Foo
+    def add_two_integers: (Integer a, Integer b) -> Integer
+  end
+
+  class Bar < Foo
+  end
+end
+```
+
+### Writing a Plugin
 Plugins are better than using the generator alone, as your plugin can be
-combined with others to produce larger RBIs without conflicts.
+combined with others to produce larger files without conflicts.
 
-We could write the above example as a plugin like this:
+We could write the above example as an RBI plugin like this:
 
 ```ruby
 require 'parlour'
@@ -107,7 +181,8 @@ called `plugin.rb`, then using this `.parlour` file and then running `parlour`
 would save the RBI into `output.rbi`:
 
 ```yaml
-output_file: output.rbi
+output_file:
+  rbi: output.rbi
 
 relative_requires:
   - plugin.rb
@@ -131,7 +206,8 @@ You can also use plugins from gems. If that plugin was published as a gem called
 `parlour-gem`:
 
 ```yaml
-output_file: output.rbi
+output_file:
+  rbi: output.rbi
 
 requires:
   - parlour-gem
@@ -143,7 +219,8 @@ plugins:
 The real power of this is the ability to use many plugins at once:
 
 ```yaml
-output_file: output.rbi
+output_file:
+  rbi: output.rbi
 
 requires:
   - gem1
@@ -156,6 +233,92 @@ plugins:
   Gem3::Plugin: {}
 ```
 
+Currently, only plugins which generate RBI files are supported. However, you can
+use [Parlour's type conversion](#converting-between-formats) to convert the RBI
+types into RBS types:
+
+```yaml
+output_file:
+  rbi: output.rbi
+  rbs: output.rbs
+```
+
+## Using Types
+
+The most important part of your type information is the types themselves, which
+you'll be specifying for method parameters, method returns, and attributes. 
+These include simple types like `String`, up to more complex types like
+"an array of elements which are one of `Integer`, `String`, or nil".
+
+There are two ways to represent these types in Parlour:
+
+1. As **generalized types**; that is, instances of classes in the
+   `Parlour::Types` namespace. This is the **recommended way**, as it is
+   format-agnostic and can be compiled to RBI or RBS. For more information
+   about these types and how to use them, see
+   [this wiki page](https://github.com/AaronC81/parlour/wiki/The-Types-namespace).
+
+2. As **strings of code** written in the format that your type system expects.
+   The given strings are directly inserted into the final type file. These types
+   are **not portable across formats**, and as such are
+   **not recommended and may be phased out** in the future.
+
+Currently most type values within Parlour are typed as `Types::TypeLike`,
+which accepts a `String` or a `Types::Type` subclass.
+
+```ruby
+include Parlour
+
+# Two ways to express an attribute called 'example', which is:
+#   an array of nilable strings or integers
+
+# 1. With generalised types - type is agnostic to the underlying type system
+root.create_attr_accessor('example', type:
+  Types::Array.new(
+    Types::Nilable.new(
+      Types::Union.new(['String', 'Integer'])
+    )
+  )
+)
+
+# 2. With string types - format depends on type system
+#    If using RBI...
+root.create_attr_accessor('example', type:
+  'T::Array[T.nilable(T.any(String, Integer))]'
+)
+#    If using RBS...
+root.create_attr_accessor('example', type:
+  'Array[?(String | Integer)]'
+)
+```
+
+### Generalizing String Types
+
+If you have loaded an RBI project or created a structure of nodes on an
+`RbiGenerator`, you can use `#generalize_from_rbi!` on your root namespace
+to attempt to permanently convert the RBI string types into generalized types:
+
+```ruby
+# Build up an RBI tree with string types
+root.create_attr_accessor('example', type:
+  'T::Array[T.nilable(T.any(String, Integer))]'
+)
+
+# Generalize it
+root.generalize_from_rbi!
+
+# Take a look at our generalized type!
+pp root.children.first.type
+# => #<Parlour::Types::Array:0x0000557cdcebfdf8
+#     @element=
+#      #<Parlour::Types::Nilable:0x0000557cdcef8c70
+#       @type=
+#        #<Parlour::Types::Union:0x0000557cdcea0a70
+#         @types=
+#          [#<Parlour::Types::Raw:0x0000557cdcea1920 @str="String">,
+#           #<Parlour::Types::Raw:0x0000557cdcea0ae8 @str="Integer">]>>>
+```
+
 ## Parsing RBIs
 
 You can either parse individual RBI files, or point Parlour to the root of a
@@ -200,6 +363,31 @@ file as an example).
 To disable the parsing step entire and just run plugins you can set `parser: false`
 in your `.parlour` file.
 
+## Converting Between Formats
+
+_For more information, see the [wiki page](https://github.com/AaronC81/parlour/wiki/Converting-between-RBI-and-RBS)._
+
+Currently, only RBI to RBS conversion is supported, and if you've used string
+types (or are using a freshly-loaded project) you
+**must [generalize them](#generalizing-string-types) first**.
+
+Then, all you need to do is create an `RbsGenerator` (which the converter will
+add your converted types to) and a `Conversion::RbiToRbs` instance (which 
+performs the conversion). Then you can convert each object at your
+`RbiGenerator`'s root namespace:
+
+```ruby
+rbi_gen = Parlour::RbiGenerator.new
+# Then, after populating the RbiGenerator with types...
+
+# Create an RbsGenerator and a converter
+rbs_gen = Parlour::RbsGenerator.new
+converter = Parlour::Conversion::RbiToRbs.new(rbs_gen)
+
+# Convert each item at the root of the RbiGenerator and it to the root of the RbsGenerator
+converter.convert_all(rbi_gen.root, rbs_gen.root)
+```
+
 ## Parlour Plugins
 
 _Have you written an awesome Parlour plugin? Please submit a PR to add it to this list!_

data/exe/parlour

@@ -25,8 +25,33 @@ command :run do |c|
       configuration = {}
     end
 
-    # Output default
-    configuration[:output_file] ||= "rbi/#{File.basename(working_dir)}.rbi"
+    # Output file
+    if configuration[:output_file].is_a?(String)
+      assumed_format = \
+        if configuration[:output_file].end_with?('.rbi')
+          :rbi
+        elsif configuration[:output_file].end_with?('.rbs')
+          :rbs
+        else
+          raise 'invalid output file; please specify an RBI or RBS file'
+        end
+
+      unless $VERBOSE.nil?
+        print Rainbow("Parlour warning: ").yellow.dark.bold
+        print Rainbow("CLI: ").magenta.bright.bold
+        puts "Specifying output_file in .parlour as a string is deprecated."
+        puts "For now, generating an #{assumed_format.to_s.upcase} file based on the file extension."
+        puts "Please update your .parlour to use the new form:"
+        puts "  output_file:"
+        puts "    #{assumed_format}: #{configuration[:output_file]}"
+      end
+      configuration[:output_file] = {
+        assumed_format => configuration[:output_file]
+      }
+    end
+    configuration[:output_file] ||= {
+      rbi: "rbi/#{File.basename(working_dir)}.rbi"
+    }    
 
     # Style defaults
     configuration[:style] ||= {}
@@ -45,7 +70,7 @@ command :run do |c|
       configuration[:parser][:excluded_paths] ||= ['sorbet', 'spec']
 
       # Defaults can be overridden but we always want to exclude the output file
-      configuration[:parser][:excluded_paths] << configuration[:output_file]
+      configuration[:parser][:excluded_paths] << configuration[:output_file][:rbi]
     end
 
     # Included/Excluded module defaults
@@ -141,9 +166,23 @@ command :run do |c|
       end
     end
 
-    # Write the final RBI
-    FileUtils.mkdir_p(File.dirname(configuration[:output_file]))
-    File.write(configuration[:output_file], gen.rbi(strictness))
+    # Write the final files
+    if configuration[:output_file][:rbi]
+      FileUtils.mkdir_p(File.dirname(configuration[:output_file][:rbi]))
+      File.write(configuration[:output_file][:rbi], gen.rbi(strictness))
+    end
+    if configuration[:output_file][:rbs]
+      gen.root.generalize_from_rbi!
+      rbs_gen = Parlour::RbsGenerator.new
+
+      converter = Parlour::Conversion::RbiToRbs.new(rbs_gen)
+      gen.root.children.each do |child|
+        converter.convert_object(child, rbs_gen.root)
+      end
+
+      FileUtils.mkdir_p(File.dirname(configuration[:output_file][:rbs]))
+      File.write(configuration[:output_file][:rbs], rbs_gen.rbs)
+    end
   end
 end