rbs 1.6.2 → 1.7.0.beta.4

data/stdlib/io-console/0/io-console.rbs

@@ -0,0 +1,137 @@
+class IO
+  class ConsoleMode
+    def echo=: (bool) -> bool
+    def raw: (?min: int, ?time: int, ?intr: bool) -> self
+    def raw!: (?min: int, ?time: int, ?intr: bool) -> self
+  end
+
+  # Returns an File instance opened console.
+  #
+  # If `sym` is given, it will be sent to the opened console with `args` and the
+  # result will be returned instead of the console IO itself.
+  def self.console: () -> File?
+                  | (:close) -> nil
+                  | (Symbol sym, *untyped args) -> untyped
+
+  # returns console window size
+  #
+  # You must require 'io/console/size' to use this method.
+  def self.console_size: () -> [Integer, Integer]
+
+  # fallback to console window size
+  #
+  # You must require 'io/console/size' to use this method.
+  def self.default_console_size: -> [Integer, Integer]
+
+  def beep: () -> self
+
+  def check_winsize_changed: () { () -> void } -> self
+  def clear_screen: () -> self
+
+  # Returns a data represents the current console mode.
+  def console_mode: () -> IO::ConsoleMode
+
+  # Sets the console mode to `mode`.
+  def console_mode=: (IO::ConsoleMode mode) -> IO::ConsoleMode
+
+  # Yields `self` within cooked mode.
+  #
+  #     STDIN.cooked(&:gets)
+  #
+  # will read and return a line with echo back and line editing.
+  def cooked: [T] () { (self) -> T } -> T
+
+  # Enables cooked mode.
+  #
+  # If the terminal mode needs to be back, use io.cooked { ... }.
+  def cooked!: () -> self
+
+  def cursor: () -> [Integer, Integer]
+  def cursor=: ([Integer, Integer]) -> [Integer, Integer]
+
+  def cursor_down: (int) -> self
+  def cursor_left: (int) -> self
+  def cursor_right: (int) -> self
+  def cursor_up: (int) -> self
+
+  # Enables/disables echo back. On some platforms, all combinations of this flags
+  # and raw/cooked mode may not be valid.
+  def echo=: (bool flag) -> bool
+
+  # Returns `true` if echo back is enabled.
+  def echo?: () -> bool
+
+  def erase_line: (0 | 1 | 2 | nil) -> self
+  def erase_screen: (0 | 1 | 2 | 3 | nil) -> self
+
+  # Reads and returns a character in raw mode.
+  #
+  # See IO#raw for details on the parameters.
+  def getch: (?min: int, ?time: int, ?intr: bool) -> String
+
+  # Reads and returns a line without echo back.
+  # Prints +prompt+ unless it is +nil+.
+  #
+  # The newline character that terminates the
+  # read line is removed from the returned string,
+  # see String#chomp!.
+  def getpass: (?String) -> String
+
+  def goto: (int, int) -> self
+
+  def goto_column: (int) -> self
+
+  # Flushes input buffer in kernel.
+  def iflush: () -> self
+
+  # Flushes input and output buffers in kernel.
+  def ioflush: () -> self
+
+  # Yields `self` with disabling echo back.
+  #
+  #     STDIN.noecho(&:gets)
+  #
+  # will read and return a line without echo back.
+  def noecho: [T] () { (self) -> T } -> T
+
+  # Flushes output buffer in kernel.
+  def oflush: () -> self
+
+  def pressed?: (Integer | Symbol | String) -> bool
+
+  # Yields `self` within raw mode, and returns the result of the block.
+  #
+  #     STDIN.raw(&:gets)
+  #
+  # will read and return a line without echo back and line editing.
+  #
+  # The parameter `min` specifies the minimum number of bytes that should be
+  # received when a read operation is performed. (default: 1)
+  #
+  # The parameter `time` specifies the timeout in *seconds* with a precision of
+  # 1/10 of a second. (default: 0)
+  #
+  # If the parameter `intr` is `true`, enables break, interrupt, quit, and suspend
+  # special characters.
+  #
+  # Refer to the manual page of termios for further details.
+  def raw: [T] (?min: int, ?time: int, ?intr: bool) { (self) -> T } -> T
+
+  # Enables raw mode, and returns `io`.
+  #
+  # If the terminal mode needs to be back, use `io.raw { ... }`.
+  #
+  # See IO#raw for details on the parameters.
+  def raw!: (?min: int, ?time: int, ?intr: bool) -> self
+
+  def scroll_backward: (int) -> self
+  def scroll_forward: (int) -> self
+
+  # Returns console size.
+  def winsize: () -> [Integer, Integer]
+
+  # Tries to set console size.  The effect depends on the platform and the running
+  # environment.
+  def winsize=: ([Integer, Integer]) -> [Integer, Integer]
+              | ([Integer, Integer, Integer, Integer]) -> [Integer, Integer, Integer, Integer]
+end

data/stdlib/json/0/json.rbs

@@ -512,7 +512,7 @@ class Range[out Elem]
   # Deserializes JSON string by constructing new Range object with arguments `a`
   # serialized by `to_json`.
   #
-  def self.json_create: (Hash[String, String | [Elem, Elem, bool]] object) -> instance
+  def self.json_create: [A] (Hash[String, String | [A, A, bool]] object) -> Range[A]
 
   # Returns a hash, that will be turned into a JSON object and represent this
   # object.
@@ -565,7 +565,7 @@ class Set[A]
   #
   # method used for JSON marshalling support.
   #
-  def self.json_create: (Hash[String, String | Array[A]] object) -> instance
+  def self.json_create: [A] (Hash[String, String | Array[A]] object) -> Set[A]
 
   # Marshal the object to JSON.
   #
@@ -582,7 +582,7 @@ class Struct[Elem]
   # Deserializes JSON string by constructing new Struct object with values `v`
   # serialized by `to_json`.
   #
-  def self.json_create: (Hash[String, String | Array[Elem]] object) -> instance
+  def self.json_create: [Elem] (Hash[String, String | Array[Elem]] object) -> Struct[Elem]
 
   # Returns a hash, that will be turned into a JSON object and represent this
   # object.

data/stdlib/net-http/0/net-http.rbs

@@ -1204,6 +1204,7 @@ module Net
 
   class HTTPRequest < HTTPGenericRequest
     def initialize: (String path, ?Hash[String, untyped] initheader) -> void
+                  | (URI::Generic uri, ?Hash[String, untyped] initheader) -> void
   end
 
   class HTTP::Get < HTTPRequest
@@ -1843,4 +1844,4 @@ module Net
   class HTTPFatalError < ProtoFatalError
     include Net::HTTPExceptions
   end
-end
+end

data/stdlib/tempfile/0/tempfile.rbs

@@ -95,8 +95,8 @@ class Tempfile < File
   #        # ... do something with f ...
   #     end
   #
-  def self.create: (?String basename, ?String? tmpdir, ?mode: Integer, **untyped) -> File
-                 | [A] (?String basename, ?String? tmpdir, ?mode: Integer, **untyped) { (File) -> A } -> A
+  def self.create: (?(String | [String, String]) basename, ?String? tmpdir, ?mode: Integer, **untyped) -> File
+                 | [A] (?(String | [String, String]) basename, ?String? tmpdir, ?mode: Integer, **untyped) { (File) -> A } -> A
 
   # Creates a new Tempfile.
   #
@@ -220,8 +220,6 @@ class Tempfile < File
     def initialize: (::Tempfile tmpfile) -> void
   end
 
-  private
-
   # Creates a temporary file with permissions 0600 (= only readable and writable
   # by the owner) and opens it with mode "w+".
   #
@@ -265,6 +263,6 @@ class Tempfile < File
   # If Tempfile.new cannot find a unique filename within a limited number of
   # tries, then it will raise an exception.
   #
-  def self.new: (?String basename, ?String? tmpdir, ?mode: Integer, **untyped) -> instance
-              | [A] (?String basename, ?String? tmpdir, ?mode: Integer, **untyped) { (instance) -> A } -> A
+  def self.new: (?(String | [String, String]) basename, ?String? tmpdir, ?mode: Integer, **untyped) -> instance
+              | [A] (?(String | [String, String]) basename, ?String? tmpdir, ?mode: Integer, **untyped) { (instance) -> A } -> A
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 1.6.2
+  version: 1.7.0.beta.4
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-09-09 00:00:00.000000000 Z
+date: 2021-09-22 00:00:00.000000000 Z
 dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
@@ -16,7 +16,8 @@ email:
 - matsumoto@soutaro.com
 executables:
 - rbs
-extensions: []
+extensions:
+- ext/rbs_extension/extconf.rb
 extra_rdoc_files: []
 files:
 - ".github/dependabot.yml"
@@ -97,6 +98,24 @@ files:
 - docs/stdlib.md
 - docs/syntax.md
 - exe/rbs
+- ext/rbs_extension/constants.c
+- ext/rbs_extension/constants.h
+- ext/rbs_extension/extconf.rb
+- ext/rbs_extension/lexer.c
+- ext/rbs_extension/lexer.h
+- ext/rbs_extension/lexer.re
+- ext/rbs_extension/lexstate.c
+- ext/rbs_extension/location.c
+- ext/rbs_extension/location.h
+- ext/rbs_extension/main.c
+- ext/rbs_extension/parser.c
+- ext/rbs_extension/parser.h
+- ext/rbs_extension/parserstate.c
+- ext/rbs_extension/parserstate.h
+- ext/rbs_extension/rbs_extension.h
+- ext/rbs_extension/ruby_objs.c
+- ext/rbs_extension/ruby_objs.h
+- ext/rbs_extension/unescape.c
 - goodcheck.yml
 - lib/rbs.rb
 - lib/rbs/ancestor_graph.rb
@@ -129,11 +148,16 @@ files:
 - lib/rbs/errors.rb
 - lib/rbs/factory.rb
 - lib/rbs/location.rb
+- lib/rbs/location_aux.rb
 - lib/rbs/locator.rb
 - lib/rbs/method_type.rb
 - lib/rbs/namespace.rb
-- lib/rbs/parser.rb
 - lib/rbs/parser.y
+- lib/rbs/parser_aux.rb
+- lib/rbs/parser_compat/lexer_error.rb
+- lib/rbs/parser_compat/located_value.rb
+- lib/rbs/parser_compat/semantics_error.rb
+- lib/rbs/parser_compat/syntax_error.rb
 - lib/rbs/prototype/rb.rb
 - lib/rbs/prototype/rbi.rb
 - lib/rbs/prototype/runtime.rb
@@ -227,6 +251,7 @@ files:
 - stdlib/fileutils/0/fileutils.rbs
 - stdlib/find/0/find.rbs
 - stdlib/forwardable/0/forwardable.rbs
+- stdlib/io-console/0/io-console.rbs
 - stdlib/ipaddr/0/ipaddr.rbs
 - stdlib/json/0/json.rbs
 - stdlib/logger/0/formatter.rbs
@@ -315,9 +340,9 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '2.6'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">="
+  - - ">"
     - !ruby/object:Gem::Version
-      version: '0'
+      version: 1.3.1
 requirements: []
 rubygems_version: 3.2.22
 signing_key: