rbs 0.4.0 → 0.5.0

data/stdlib/builtin/enumerable.rbs

@@ -374,7 +374,7 @@ module Enumerable[unchecked out Elem, out Return]: _Each[Elem, Return]
          | [T] (?T arg0) -> (Elem | T)
          | [U] (?U arg0) { (Elem arg0) -> U } -> U
 
-  def filter_map: [U] () { (Elem arg0) -> U? } -> ::Array[U]
+  def filter_map: [U] () { (Elem elem) -> (nil | false | U) } -> ::Array[U]
                 | () -> ::Enumerator[Elem, Return]
 
   def chain: (*self enumerables) -> ::Enumerator::Chain[Elem, ::Array[self]]

data/stdlib/builtin/file.rbs

@@ -60,9 +60,6 @@ class File < IO
   #
   #     File.absolute_path?("c:/foo")     #=> false (on Linux), true (on Windows)
   #
-  # # arglists 💪👽🚨 << Delete this section
-  #     File.absolute_path?(file_name)  ->  true or false
-  #
   def self.absolute_path?: (string | _ToPath file_name) -> bool
 
   # Returns the last access time for the named file as a Time object.

data/stdlib/builtin/io.rbs

@@ -480,7 +480,7 @@ class IO < Object
 
   def sysseek: (Integer amount, ?Integer whence) -> Integer
 
-  def syswrite: (String arg0) -> Integer
+  def syswrite: (_ToS arg0) -> Integer
 
   # Returns the current offset (in bytes) of *ios* .
   # 
@@ -508,11 +508,11 @@ class IO < Object
 
   def ungetc: (String arg0) -> NilClass
 
-  def write: (String arg0) -> Integer
+  def write: (*_ToS arg0) -> Integer
 
   def self.binread: (String name, ?Integer length, ?Integer offset) -> String
 
-  def self.binwrite: (String name, String arg0, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> Integer
+  def self.binwrite: (String name, _ToS arg0, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> Integer
 
   def self.copy_stream: (String | IO src, String | IO dst, ?Integer copy_length, ?Integer src_offset) -> Integer
 
@@ -528,7 +528,7 @@ class IO < Object
 
   def self.try_convert: (untyped arg0) -> IO?
 
-  def self.write: (String name, String arg0, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> Integer
+  def self.write: (String name, _ToS arg0, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> Integer
 
   def self.for_fd: (Integer fd, ?Integer mode, ?Integer opt) -> self
 

data/stdlib/builtin/thread.rbs

@@ -898,7 +898,7 @@ class Thread::ConditionVariable < Object
   # 
   # If `timeout` is given, this method returns after `timeout` seconds
   # passed, even if no other thread doesn't signal.
-  def wait: (Mutex mutex, ?Integer timeout) -> self
+  def wait: (Thread::Mutex mutex, ?Integer timeout) -> self
 end
 
 # [Mutex](Mutex) implements a simple semaphore that
@@ -1078,7 +1078,7 @@ class Thread::SizedQueue < Thread::Queue
   # Alias for: [push](SizedQueue.downloaded.ruby_doc#method-i-push)
   alias enq push
 
-  def initialize: (Integer max) -> SizedQueue
+  def initialize: (Integer max) -> void
 
   # Returns the maximum size of the queue.
   def max: () -> Integer

data/stdlib/csv/csv.rbs

@@ -159,7 +159,7 @@
 # with it.
 #
 class CSV < Object
-  include Enumerable
+  include Enumerable[untyped, untyped]
 
   # This method is intended as the primary interface for reading CSV files. You
   # pass a `path` and any `options` you wish to set for the read. Each row of file
@@ -407,7 +407,7 @@ CSV::VERSION: String
 # processing is activated.
 #
 class CSV::Row < Object
-  include Enumerable
+  include Enumerable[untyped, untyped]
 
   # If a two-element Array is provided, it is assumed to be a header and field and
   # the pair is appended. A Hash works the same way with the key being the header
@@ -544,8 +544,6 @@ class CSV::Row < Object
 
   def size: (*untyped args) { (*untyped) -> untyped } -> untyped
 
-  alias to_ary to_a
-
   # Returns the row as a CSV String. Headers are not used. Equivalent to:
   #
   #     csv_row.fields.to_csv( options )
@@ -564,7 +562,7 @@ class CSV::Row < Object
   alias values_at fields
 end
 
-class CSV::FieldInfo < Struct
+class CSV::FieldInfo < Struct[untyped]
 end
 
 # The error thrown when the parser encounters illegal CSV formatting.
@@ -580,7 +578,7 @@ end
 # processing is activated.
 #
 class CSV::Table[out Elem] < Object
-  include Enumerable
+  include Enumerable[untyped, untyped]
 
   # Constructs a new CSV::Table from `array_of_rows`, which are expected to be
   # CSV::Row objects. All rows are assumed to have the same headers.

data/stdlib/fiber/fiber.rbs

@@ -54,7 +54,7 @@
 #     1000000
 #     FiberError: dead fiber called
 #
-extension Fiber (Fiber)
+class Fiber
   # Returns the current fiber. You need to `require 'fiber'` before using this
   # method. If you are not running in the context of a fiber this method will
   # return the root fiber.

data/stdlib/json/json.rbs

@@ -326,7 +326,7 @@ JSON::SAFE_STATE_PROTOTYPE: json_state
 #
 JSON::VERSION: String
 
-JSON::VERSION_ARRAY: Array
+JSON::VERSION_ARRAY: Array[Integer]
 
 JSON::VERSION_BUILD: Integer
 

data/stdlib/mutex_m/mutex_m.rbs

@@ -0,0 +1,77 @@
+# # mutex_m.rb
+#
+# When 'mutex_m' is required, any object that extends or includes Mutex_m will
+# be treated like a Mutex.
+#
+# Start by requiring the standard library Mutex_m:
+#
+#     require "mutex_m.rb"
+#
+# From here you can extend an object with Mutex instance methods:
+#
+#     obj = Object.new
+#     obj.extend Mutex_m
+#
+# Or mixin Mutex_m into your module to your class inherit Mutex instance methods
+# --- remember to call super() in your class initialize method.
+#
+#     class Foo
+#       include Mutex_m
+#       def initialize
+#         # ...
+#         super()
+#       end
+#       # ...
+#     end
+#     obj = Foo.new
+#     # this obj can be handled like Mutex
+#
+module Mutex_m
+  def self.append_features: (Module cl) -> untyped
+
+  def self.define_aliases: (Module cl) -> untyped
+
+  def self.extend_object: (Object obj) -> untyped
+
+  public
+
+  def mu_extended: () -> untyped
+
+  # See Mutex#lock
+  #
+  def mu_lock: () -> Thread::Mutex
+
+  # See Mutex#locked?
+  #
+  def mu_locked?: () -> bool
+
+  # See Mutex#synchronize
+  #
+  def mu_synchronize: [T] () { () -> T } -> T
+
+  # See Mutex#try_lock
+  #
+  def mu_try_lock: () -> bool
+
+  # See Mutex#unlock
+  #
+  def mu_unlock: () -> Thread::Mutex
+
+  # See Mutex#sleep
+  #
+  def sleep: (?Numeric timeout) -> Integer
+
+  alias locked? mu_locked?
+  alias lock mu_lock
+  alias unlock mu_unlock
+  alias try_lock mu_try_lock
+  alias synchronize mu_synchronize
+
+  private
+
+  def initialize: (*untyped args) -> untyped
+
+  def mu_initialize: () -> untyped
+end
+
+Mutex_m::VERSION: String

data/stdlib/pathname/pathname.rbs

@@ -1066,17 +1066,17 @@ class Pathname
   def prepend_prefix: (untyped prefix, untyped relpath) -> untyped
 
   def split_names: (untyped path) -> untyped
-end
 
-Pathname::SAME_PATHS: Proc
+  SAME_PATHS: Proc
 
-Pathname::SEPARATOR_LIST: String
+  SEPARATOR_LIST: String
 
-Pathname::SEPARATOR_PAT: Regexp
+  SEPARATOR_PAT: Regexp
 
-Pathname::TO_PATH: Symbol
+  TO_PATH: Symbol
+end
 
-extension Kernel (Pathname)
+module Kernel
   # Creates a new Pathname object from the given string, `path`, and returns
   # pathname object.
   #

data/stdlib/prime/integer-extension.rbs

@@ -1,4 +1,4 @@
-extension Integer (Prime)
+class Integer
   # Iterates the given block over all prime numbers.
   #
   # See Prime#each for more details.

data/stdlib/prime/prime.rbs

@@ -129,60 +129,60 @@ class Prime
   # Returns the singleton instance.
   #
   def self.instance: () -> Prime
-end
 
-# An abstract class for enumerating pseudo-prime numbers.
-#
-# Concrete subclasses should override succ, next, rewind.
-#
-class Prime::PseudoPrimeGenerator
-  def initialize: (?Integer?) -> void
+  # An abstract class for enumerating pseudo-prime numbers.
+  #
+  # Concrete subclasses should override succ, next, rewind.
+  #
+  class PseudoPrimeGenerator
+    def initialize: (?Integer?) -> void
 
-  include Enumerable[Integer, void]
+    include Enumerable[Integer, void]
 
-  attr_accessor upper_bound (): Integer?
+    attr_accessor upper_bound (): Integer?
 
-  # Iterates the given block for each prime number.
-  #
-  def each: () { (Integer) -> void } -> void
+    # Iterates the given block for each prime number.
+    #
+    def each: () { (Integer) -> void } -> void
 
-  # alias of `succ`.
-  #
-  def next: () -> Integer
+    # alias of `succ`.
+    #
+    def next: () -> Integer
 
-  # Rewinds the internal position for enumeration.
-  #
-  # See `Enumerator`#rewind.
-  #
-  def rewind: () -> void
+    # Rewinds the internal position for enumeration.
+    #
+    # See `Enumerator`#rewind.
+    #
+    def rewind: () -> void
 
-  def size: () -> Float
+    def size: () -> Float
 
-  # returns the next pseudo-prime number, and move the internal position forward.
+    # returns the next pseudo-prime number, and move the internal position forward.
+    #
+    # `PseudoPrimeGenerator`#succ raises `NotImplementedError`.
+    #
+    def succ: () -> Integer
+  end
+
+  # An implementation of `PseudoPrimeGenerator`.
   #
-  # `PseudoPrimeGenerator`#succ raises `NotImplementedError`.
+  # Uses `EratosthenesSieve`.
   #
-  def succ: () -> Integer
-end
-
-# An implementation of `PseudoPrimeGenerator`.
-# 
-# Uses `EratosthenesSieve`.
-# 
-class Prime::EratosthenesGenerator < PseudoPrimeGenerator
-end
+  class EratosthenesGenerator < PseudoPrimeGenerator
+  end
 
-# An implementation of `PseudoPrimeGenerator` which uses a prime table generated
-# by trial division.
-# 
-class Prime::TrialDivisionGenerator < PseudoPrimeGenerator
-end
+  # An implementation of `PseudoPrimeGenerator` which uses a prime table generated
+  # by trial division.
+  #
+  class TrialDivisionGenerator < PseudoPrimeGenerator
+  end
 
-# Generates all integers which are greater than 2 and are not divisible by
-# either 2 or 3.
-# 
-# This is a pseudo-prime generator, suitable on checking primality of an integer
-# by brute force method.
-# 
-class Prime::Generator23 < PseudoPrimeGenerator
+  # Generates all integers which are greater than 2 and are not divisible by
+  # either 2 or 3.
+  #
+  # This is a pseudo-prime generator, suitable on checking primality of an integer
+  # by brute force method.
+  #
+  class Generator23 < PseudoPrimeGenerator
+  end
 end

data/stdlib/tmpdir/tmpdir.rbs

@@ -1,4 +1,4 @@
-extension Dir (tmpdir)
+class Dir
   # Returns the operating system's temporary file path.
   # 
   def self.tmpdir: () -> String

metadata

@@ -1,141 +1,15 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-06-15 00:00:00.000000000 Z
-dependencies:
-- !ruby/object:Gem::Dependency
-  name: bundler
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-- !ruby/object:Gem::Dependency
-  name: minitest
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '5.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '5.0'
-- !ruby/object:Gem::Dependency
-  name: racc
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.4.16
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.4.16
-- !ruby/object:Gem::Dependency
-  name: rubocop
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rubocop-rubycw
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: minitest-reporters
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.3.6
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.3.6
-- !ruby/object:Gem::Dependency
-  name: json
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 2.3.0
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 2.3.0
-- !ruby/object:Gem::Dependency
-  name: json-schema
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '2.8'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '2.8'
+date: 2020-07-03 00:00:00.000000000 Z
+dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
 email:
@@ -157,6 +31,8 @@ files:
 - bin/annotate-with-rdoc
 - bin/console
 - bin/query-rdoc
+- bin/rbs-prof
+- bin/run_in_md.rb
 - bin/setup
 - bin/sort
 - bin/test_runner.rb
@@ -198,7 +74,9 @@ files:
 - lib/rbs/test/test_helper.rb
 - lib/rbs/test/type_check.rb
 - lib/rbs/type_name.rb
+- lib/rbs/type_name_resolver.rb
 - lib/rbs/types.rb
+- lib/rbs/validator.rb
 - lib/rbs/variance_calculator.rb
 - lib/rbs/vendorer.rb
 - lib/rbs/version.rb
@@ -279,6 +157,7 @@ files:
 - stdlib/find/find.rbs
 - stdlib/ipaddr/ipaddr.rbs
 - stdlib/json/json.rbs
+- stdlib/mutex_m/mutex_m.rbs
 - stdlib/pathname/pathname.rbs
 - stdlib/prime/integer-extension.rbs
 - stdlib/prime/prime.rbs