rigortype 0.0.3 → 0.0.5

data/sig/rigor/type.rbs

@@ -8,9 +8,9 @@ module Rigor
       def self.instance: () -> Top
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -21,9 +21,9 @@ module Rigor
       def self.instance: () -> Bot
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -35,9 +35,9 @@ module Rigor
       def initialize: (Type::t static_facet) -> void
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -49,9 +49,9 @@ module Rigor
       def initialize: (untyped value) -> void
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -68,14 +68,14 @@ module Rigor
       def finite?: () -> bool
       def cardinality: () -> (Integer | Float)
       def covers?: (untyped value) -> bool
-      def lower: () -> Numeric
-      def upper: () -> Numeric
+      def lower: () -> (Integer | Float)
+      def upper: () -> (Integer | Float)
       def describe: (?Symbol verbosity) -> String
       def generic_description: () -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -88,9 +88,9 @@ module Rigor
       def initialize: (String class_name, ?Array[Type::t] type_args) -> void
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -102,9 +102,9 @@ module Rigor
       def initialize: (String class_name) -> void
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -116,9 +116,9 @@ module Rigor
       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 top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -131,9 +131,39 @@ module Rigor
       def initialize: (Type::t base, Type::t removed) -> void
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
+      def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
+      def ==: (untyped other) -> bool
+      def hash: () -> Integer
+      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: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
+      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: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -145,9 +175,9 @@ module Rigor
       def initialize: (Array[Type::t] elements) -> void
       def describe: (?Symbol verbosity) -> String
       def erase_to_rbs: () -> String
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -168,9 +198,9 @@ module Rigor
       def required_key?: (untyped key) -> bool
       def optional_key?: (untyped key) -> bool
       def read_only_key?: (untyped key) -> bool
-      def top: () -> Top
-      def bot: () -> Bot
-      def dynamic: () -> Dynamic
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
@@ -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.5
 platform: ruby
 authors:
 - Rigor contributors
@@ -161,10 +161,19 @@ files:
 - LICENSE
 - README.md
 - data/builtins/ruby_core/array.yml
+- data/builtins/ruby_core/comparable.yml
+- data/builtins/ruby_core/complex.yml
+- data/builtins/ruby_core/date.yml
+- data/builtins/ruby_core/enumerable.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/rational.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 +198,18 @@ files:
 - lib/rigor/inference/acceptance.rb
 - lib/rigor/inference/block_parameter_binder.rb
 - lib/rigor/inference/builtins/array_catalog.rb
+- lib/rigor/inference/builtins/comparable_catalog.rb
+- lib/rigor/inference/builtins/complex_catalog.rb
+- lib/rigor/inference/builtins/date_catalog.rb
+- lib/rigor/inference/builtins/enumerable_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/rational_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
@@ -201,6 +219,7 @@ files:
 - lib/rigor/inference/method_dispatcher/constant_folding.rb
 - lib/rigor/inference/method_dispatcher/file_folding.rb
 - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
+- lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
@@ -226,7 +245,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