rigortype 0.0.3 → 0.0.4

data/lib/rigor/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Rigor
-  VERSION = "0.0.3"
+  VERSION = "0.0.4"
 end

data/sig/rigor/rbs_extended.rbs

@@ -42,5 +42,16 @@ module Rigor
 
     def self?.read_return_type_override: (untyped method_def) -> Type::t?
     def self?.parse_return_type_override: (String string) -> Type::t?
+
+    class ParamOverride
+      attr_reader param_name: Symbol
+      attr_reader type: Type::t
+
+      def self.new: (param_name: Symbol, type: Type::t) -> ParamOverride
+    end
+
+    def self?.read_param_type_overrides: (untyped method_def) -> Array[ParamOverride]
+    def self?.param_type_override_map: (untyped method_def) -> Hash[Symbol, Type::t]
+    def self?.parse_param_annotation: (String string) -> ParamOverride?
   end
 end

data/sig/rigor/type.rbs

@@ -140,6 +140,36 @@ module Rigor
       def inspect: () -> String
     end
 
+    class Refined
+      attr_reader base: Type::t
+      attr_reader predicate_id: Symbol
+      def initialize: (Type::t base, Symbol predicate_id) -> void
+      def describe: (?Symbol verbosity) -> String
+      def erase_to_rbs: () -> String
+      def top: () -> Top
+      def bot: () -> Bot
+      def dynamic: () -> Dynamic
+      def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
+      def matches?: (untyped value) -> bool?
+      def ==: (untyped other) -> bool
+      def hash: () -> Integer
+      def inspect: () -> String
+    end
+
+    class Intersection
+      attr_reader members: Array[Type::t]
+      def initialize: (Array[Type::t] members) -> void
+      def describe: (?Symbol verbosity) -> String
+      def erase_to_rbs: () -> String
+      def top: () -> Top
+      def bot: () -> Bot
+      def dynamic: () -> Dynamic
+      def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
+      def ==: (untyped other) -> bool
+      def hash: () -> Integer
+      def inspect: () -> String
+    end
+
     class Tuple
       attr_reader elements: Array[Type::t]
       def initialize: (Array[Type::t] elements) -> void
@@ -207,6 +237,16 @@ module Rigor
       def self?.non_zero_int: () -> Difference
       def self?.non_empty_array: (?Type::t element) -> Difference
       def self?.non_empty_hash: (?Type::t key, ?Type::t value) -> Difference
+      def self?.refined: (Type::t base, Symbol predicate_id) -> Refined
+      def self?.lowercase_string: () -> Refined
+      def self?.uppercase_string: () -> Refined
+      def self?.numeric_string: () -> Refined
+      def self?.decimal_int_string: () -> Refined
+      def self?.octal_int_string: () -> Refined
+      def self?.hex_int_string: () -> Refined
+      def self?.intersection: (*Type::t members) -> Type::t
+      def self?.non_empty_lowercase_string: () -> Type::t
+      def self?.non_empty_uppercase_string: () -> Type::t
       def self?.integer_range: ((Integer | Symbol) min, (Integer | Symbol) max) -> IntegerRange
       def self?.positive_int: () -> IntegerRange
       def self?.non_negative_int: () -> IntegerRange

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.0.3
+  version: 0.0.4
 platform: ruby
 authors:
 - Rigor contributors
@@ -162,9 +162,13 @@ files:
 - README.md
 - data/builtins/ruby_core/array.yml
 - data/builtins/ruby_core/file.yml
+- data/builtins/ruby_core/hash.yml
 - data/builtins/ruby_core/io.yml
 - data/builtins/ruby_core/numeric.yml
+- data/builtins/ruby_core/range.yml
+- data/builtins/ruby_core/set.yml
 - data/builtins/ruby_core/string.yml
+- data/builtins/ruby_core/time.yml
 - exe/rigor
 - lib/rigor.rb
 - lib/rigor/analysis/check_rules.rb
@@ -189,9 +193,13 @@ files:
 - lib/rigor/inference/acceptance.rb
 - lib/rigor/inference/block_parameter_binder.rb
 - lib/rigor/inference/builtins/array_catalog.rb
+- lib/rigor/inference/builtins/hash_catalog.rb
 - lib/rigor/inference/builtins/method_catalog.rb
 - lib/rigor/inference/builtins/numeric_catalog.rb
+- lib/rigor/inference/builtins/range_catalog.rb
+- lib/rigor/inference/builtins/set_catalog.rb
 - lib/rigor/inference/builtins/string_catalog.rb
+- lib/rigor/inference/builtins/time_catalog.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/coverage_scanner.rb
 - lib/rigor/inference/expression_typer.rb
@@ -226,7 +234,9 @@ files:
 - lib/rigor/type/dynamic.rb
 - lib/rigor/type/hash_shape.rb
 - lib/rigor/type/integer_range.rb
+- lib/rigor/type/intersection.rb
 - lib/rigor/type/nominal.rb
+- lib/rigor/type/refined.rb
 - lib/rigor/type/singleton.rb
 - lib/rigor/type/top.rb
 - lib/rigor/type/tuple.rb