RubyGems - rigortype - Versions diffs - 0.0.4 → 0.0.6 - Mend

rigortype 0.0.4 → 0.0.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (34) hide show

checksums.yaml +4 -4
data/README.md +215 -134
data/data/builtins/ruby_core/comparable.yml +87 -0
data/data/builtins/ruby_core/complex.yml +505 -0
data/data/builtins/ruby_core/date.yml +1737 -0
data/data/builtins/ruby_core/enumerable.yml +557 -0
data/data/builtins/ruby_core/file.yml +9 -0
data/data/builtins/ruby_core/pathname.yml +1067 -0
data/data/builtins/ruby_core/rational.yml +365 -0
data/data/builtins/ruby_core/string.yml +9 -0
data/data/builtins/ruby_core/time.yml +6 -4
data/lib/rigor/cli.rb +1 -1
data/lib/rigor/inference/builtins/comparable_catalog.rb +27 -0
data/lib/rigor/inference/builtins/complex_catalog.rb +41 -0
data/lib/rigor/inference/builtins/date_catalog.rb +98 -0
data/lib/rigor/inference/builtins/enumerable_catalog.rb +27 -0
data/lib/rigor/inference/builtins/pathname_catalog.rb +35 -0
data/lib/rigor/inference/builtins/rational_catalog.rb +38 -0
data/lib/rigor/inference/expression_typer.rb +285 -23
data/lib/rigor/inference/method_dispatcher/block_folding.rb +322 -0
data/lib/rigor/inference/method_dispatcher/constant_folding.rb +197 -12
data/lib/rigor/inference/method_dispatcher/iterator_dispatch.rb +99 -0
data/lib/rigor/inference/method_dispatcher/kernel_dispatch.rb +95 -0
data/lib/rigor/inference/method_dispatcher.rb +20 -8
data/lib/rigor/inference/narrowing.rb +210 -1
data/lib/rigor/inference/scope_indexer.rb +87 -11
data/lib/rigor/inference/statement_evaluator.rb +5 -1
data/lib/rigor/rbs_extended.rb +11 -6
data/lib/rigor/type/integer_range.rb +4 -2
data/lib/rigor/version.rb +1 -1
data/sig/rigor/environment.rbs +4 -6
data/sig/rigor/inference.rbs +2 -1
data/sig/rigor/type.rbs +41 -41
metadata +15 -1

data/data/builtins/ruby_core/enumerable.yml ADDED Viewed

@@ -0,0 +1,557 @@
+# DO NOT EDIT — generated by tool/extract_builtin_catalog.rb
+---
+schema_version: 1
+generated_from:
+  ruby_init_c: references/ruby/enum.c
+  ruby_prelude:
+  rbs:
+  - references/rbs/core/enumerable.rbs
+purity_levels:
+  leaf: Prelude :leaf marker (VM-enforced) or C body uses no dispatch/yield/mutation.
+  trivial: Prelude method body is a literal return (self/true/false/nil/Integer).
+  leaf_when_numeric: C body falls through to rb_num_coerce_* only when an operand
+    is non-numeric; safe to fold when every argument is a concrete numeric.
+  inline_block: Prelude method carries :inline_block or :use_block; block-dependent.
+  block_dependent: C body yields or checks rb_block_given_p.
+  mutates_self: C body checks rb_check_frozen — typically a prelude to mutation.
+  dispatch: C body calls user-redefinable methods (rb_funcall*, rb_equal, rb_Float,
+    num_funcall*, etc).
+  unknown: C body not located in indexed C files.
+classes:
+  Enumerable:
+    parent: Module
+    defined_at: references/ruby/enum.c:5204
+    includes: []
+    constants: {}
+    aliases: {}
+    instance_methods:
+      to_a:
+        source: c
+        cfunc: enum_to_a
+        arity: -1
+        defined_at: references/ruby/enum.c:5206
+        c_body_at: references/ruby/enum.c:731
+        c_effects:
+        - block
+        purity: block_dependent
+      entries:
+        source: c
+        cfunc: enum_to_a
+        arity: -1
+        defined_at: references/ruby/enum.c:5207
+        c_body_at: references/ruby/enum.c:731
+        c_effects:
+        - block
+        purity: block_dependent
+      to_h:
+        source: c
+        cfunc: enum_to_h
+        arity: -1
+        defined_at: references/ruby/enum.c:5208
+        c_body_at: references/ruby/enum.c:788
+        c_effects:
+        - block
+        purity: block_dependent
+      sort:
+        source: c
+        cfunc: enum_sort
+        arity: 0
+        defined_at: references/ruby/enum.c:5210
+        c_body_at: references/ruby/enum.c:1387
+        c_effects:
+        - mutate
+        purity: mutates_self
+      sort_by:
+        source: c
+        cfunc: enum_sort_by
+        arity: 0
+        defined_at: references/ruby/enum.c:5211
+        c_body_at: references/ruby/enum.c:1707
+        c_effects:
+        - block
+        - mutate
+        - raises
+        purity: block_dependent
+      grep:
+        source: c
+        cfunc: enum_grep
+        arity: 1
+        defined_at: references/ruby/enum.c:5212
+        c_body_at: references/ruby/enum.c:173
+        c_effects: []
+        purity: leaf
+      grep_v:
+        source: c
+        cfunc: enum_grep_v
+        arity: 1
+        defined_at: references/ruby/enum.c:5213
+        c_body_at: references/ruby/enum.c:205
+        c_effects: []
+        purity: leaf
+      count:
+        source: c
+        cfunc: enum_count
+        arity: -1
+        defined_at: references/ruby/enum.c:5214
+        c_body_at: references/ruby/enum.c:298
+        c_effects:
+        - block
+        purity: block_dependent
+      find:
+        source: c
+        cfunc: enum_find
+        arity: -1
+        defined_at: references/ruby/enum.c:5215
+        c_body_at: references/ruby/enum.c:378
+        c_effects:
+        - block
+        - dispatch
+        purity: block_dependent
+      detect:
+        source: c
+        cfunc: enum_find
+        arity: -1
+        defined_at: references/ruby/enum.c:5216
+        c_body_at: references/ruby/enum.c:378
+        c_effects:
+        - block
+        - dispatch
+        purity: block_dependent
+      find_index:
+        source: c
+        cfunc: enum_find_index
+        arity: -1
+        defined_at: references/ruby/enum.c:5217
+        c_body_at: references/ruby/enum.c:452
+        c_effects:
+        - block
+        purity: block_dependent
+      find_all:
+        source: c
+        cfunc: enum_find_all
+        arity: 0
+        defined_at: references/ruby/enum.c:5218
+        c_body_at: references/ruby/enum.c:529
+        c_effects:
+        - block
+        purity: block_dependent
+      select:
+        source: c
+        cfunc: enum_find_all
+        arity: 0
+        defined_at: references/ruby/enum.c:5219
+        c_body_at: references/ruby/enum.c:529
+        c_effects:
+        - block
+        purity: block_dependent
+      filter:
+        source: c
+        cfunc: enum_find_all
+        arity: 0
+        defined_at: references/ruby/enum.c:5220
+        c_body_at: references/ruby/enum.c:529
+        c_effects:
+        - block
+        purity: block_dependent
+      filter_map:
+        source: c
+        cfunc: enum_filter_map
+        arity: 0
+        defined_at: references/ruby/enum.c:5221
+        c_body_at: references/ruby/enum.c:570
+        c_effects:
+        - block
+        purity: block_dependent
+      reject:
+        source: c
+        cfunc: enum_reject
+        arity: 0
+        defined_at: references/ruby/enum.c:5222
+        c_body_at: references/ruby/enum.c:613
+        c_effects:
+        - block
+        purity: block_dependent
+      collect:
+        source: c
+        cfunc: enum_collect
+        arity: 0
+        defined_at: references/ruby/enum.c:5223
+        c_body_at: references/ruby/enum.c:658
+        c_effects: []
+        purity: leaf
+      map:
+        source: c
+        cfunc: enum_collect
+        arity: 0
+        defined_at: references/ruby/enum.c:5224
+        c_body_at: references/ruby/enum.c:658
+        c_effects: []
+        purity: leaf
+      flat_map:
+        source: c
+        cfunc: enum_flat_map
+        arity: 0
+        defined_at: references/ruby/enum.c:5225
+        c_body_at: references/ruby/enum.c:709
+        c_effects:
+        - block
+        purity: block_dependent
+      collect_concat:
+        source: c
+        cfunc: enum_flat_map
+        arity: 0
+        defined_at: references/ruby/enum.c:5226
+        c_body_at: references/ruby/enum.c:709
+        c_effects:
+        - block
+        purity: block_dependent
+      inject:
+        source: c
+        cfunc: enum_inject
+        arity: -1
+        defined_at: references/ruby/enum.c:5227
+        c_body_at: references/ruby/enum.c:1042
+        c_effects:
+        - block
+        - dispatch
+        purity: block_dependent
+      reduce:
+        source: c
+        cfunc: enum_inject
+        arity: -1
+        defined_at: references/ruby/enum.c:5228
+        c_body_at: references/ruby/enum.c:1042
+        c_effects:
+        - block
+        - dispatch
+        purity: block_dependent
+      partition:
+        source: c
+        cfunc: enum_partition
+        arity: 0
+        defined_at: references/ruby/enum.c:5229
+        c_body_at: references/ruby/enum.c:1139
+        c_effects:
+        - block
+        purity: block_dependent
+      group_by:
+        source: c
+        cfunc: enum_group_by
+        arity: 0
+        defined_at: references/ruby/enum.c:5230
+        c_body_at: references/ruby/enum.c:1194
+        c_effects: []
+        purity: leaf
+      tally:
+        source: c
+        cfunc: enum_tally
+        arity: -1
+        defined_at: references/ruby/enum.c:5231
+        c_body_at: references/ruby/enum.c:1285
+        c_effects:
+        - mutate
+        purity: mutates_self
+      first:
+        source: c
+        cfunc: enum_first
+        arity: -1
+        defined_at: references/ruby/enum.c:5232
+        c_body_at: references/ruby/enum.c:1340
+        c_effects:
+        - block
+        purity: block_dependent
+      all?:
+        source: c
+        cfunc: enum_all
+        arity: -1
+        defined_at: references/ruby/enum.c:5233
+        c_body_at: references/ruby/enum.c:1858
+        c_effects: []
+        purity: leaf
+      any?:
+        source: c
+        cfunc: enum_any
+        arity: -1
+        defined_at: references/ruby/enum.c:5234
+        c_body_at: references/ruby/enum.c:1920
+        c_effects: []
+        purity: leaf
+      one?:
+        source: c
+        cfunc: enum_one
+        arity: -1
+        defined_at: references/ruby/enum.c:5235
+        c_body_at: references/ruby/enum.c:2207
+        c_effects: []
+        purity: leaf
+      none?:
+        source: c
+        cfunc: enum_none
+        arity: -1
+        defined_at: references/ruby/enum.c:5236
+        c_body_at: references/ruby/enum.c:2269
+        c_effects: []
+        purity: leaf
+      min:
+        source: c
+        cfunc: enum_min
+        arity: -1
+        defined_at: references/ruby/enum.c:5237
+        c_body_at: references/ruby/enum.c:2379
+        c_effects:
+        - block
+        purity: block_dependent
+      max:
+        source: c
+        cfunc: enum_max
+        arity: -1
+        defined_at: references/ruby/enum.c:5238
+        c_body_at: references/ruby/enum.c:2501
+        c_effects:
+        - block
+        purity: block_dependent
+      minmax:
+        source: c
+        cfunc: enum_minmax
+        arity: 0
+        defined_at: references/ruby/enum.c:5239
+        c_body_at: references/ruby/enum.c:2665
+        c_effects:
+        - block
+        purity: block_dependent
+      min_by:
+        source: c
+        cfunc: enum_min_by
+        arity: -1
+        defined_at: references/ruby/enum.c:5240
+        c_body_at: references/ruby/enum.c:2745
+        c_effects:
+        - block
+        purity: block_dependent
+      max_by:
+        source: c
+        cfunc: enum_max_by
+        arity: -1
+        defined_at: references/ruby/enum.c:5241
+        c_body_at: references/ruby/enum.c:2819
+        c_effects:
+        - block
+        purity: block_dependent
+      minmax_by:
+        source: c
+        cfunc: enum_minmax_by
+        arity: 0
+        defined_at: references/ruby/enum.c:5242
+        c_body_at: references/ruby/enum.c:2930
+        c_effects:
+        - block
+        purity: block_dependent
+      member?:
+        source: c
+        cfunc: enum_member
+        arity: 1
+        defined_at: references/ruby/enum.c:5243
+        c_body_at: references/ruby/enum.c:2980
+        c_effects:
+        - block
+        purity: block_dependent
+      include?:
+        source: c
+        cfunc: enum_member
+        arity: 1
+        defined_at: references/ruby/enum.c:5244
+        c_body_at: references/ruby/enum.c:2980
+        c_effects:
+        - block
+        purity: block_dependent
+      each_with_index:
+        source: c
+        cfunc: enum_each_with_index
+        arity: -1
+        defined_at: references/ruby/enum.c:5245
+        c_body_at: references/ruby/enum.c:3026
+        c_effects:
+        - block
+        purity: block_dependent
+      reverse_each:
+        source: c
+        cfunc: enum_reverse_each
+        arity: -1
+        defined_at: references/ruby/enum.c:5246
+        c_body_at: references/ruby/enum.c:3062
+        c_effects:
+        - block
+        purity: block_dependent
+      each_entry:
+        source: c
+        cfunc: enum_each_entry
+        arity: -1
+        defined_at: references/ruby/enum.c:5247
+        c_body_at: references/ruby/enum.c:3132
+        c_effects:
+        - block
+        purity: block_dependent
+      each_slice:
+        source: c
+        cfunc: enum_each_slice
+        arity: 1
+        defined_at: references/ruby/enum.c:5248
+        c_body_at: references/ruby/enum.c:3222
+        c_effects:
+        - block
+        - raises
+        purity: block_dependent
+      each_cons:
+        source: c
+        cfunc: enum_each_cons
+        arity: 1
+        defined_at: references/ruby/enum.c:5249
+        c_body_at: references/ruby/enum.c:3300
+        c_effects:
+        - block
+        - raises
+        purity: block_dependent
+      each_with_object:
+        source: c
+        cfunc: enum_each_with_object
+        arity: 1
+        defined_at: references/ruby/enum.c:5250
+        c_body_at: references/ruby/enum.c:3341
+        c_effects:
+        - block
+        purity: block_dependent
+      zip:
+        source: c
+        cfunc: enum_zip
+        arity: -1
+        defined_at: references/ruby/enum.c:5251
+        c_body_at: references/ruby/enum.c:3505
+        c_effects:
+        - block
+        - dispatch
+        - raises
+        purity: block_dependent
+      take:
+        source: c
+        cfunc: enum_take
+        arity: 1
+        defined_at: references/ruby/enum.c:5252
+        c_body_at: references/ruby/enum.c:3570
+        c_effects:
+        - block
+        - raises
+        purity: block_dependent
+      take_while:
+        source: c
+        cfunc: enum_take_while
+        arity: 0
+        defined_at: references/ruby/enum.c:5253
+        c_body_at: references/ruby/enum.c:3616
+        c_effects:
+        - block
+        purity: block_dependent
+      drop:
+        source: c
+        cfunc: enum_drop
+        arity: 1
+        defined_at: references/ruby/enum.c:5254
+        c_body_at: references/ruby/enum.c:3659
+        c_effects:
+        - block
+        - raises
+        purity: block_dependent
+      drop_while:
+        source: c
+        cfunc: enum_drop_while
+        arity: 0
+        defined_at: references/ruby/enum.c:5255
+        c_body_at: references/ruby/enum.c:3722
+        c_effects:
+        - block
+        purity: block_dependent
+      cycle:
+        source: c
+        cfunc: enum_cycle
+        arity: -1
+        defined_at: references/ruby/enum.c:5256
+        c_body_at: references/ruby/enum.c:3793
+        c_effects:
+        - block
+        purity: block_dependent
+      chunk:
+        source: c
+        cfunc: enum_chunk
+        arity: 0
+        defined_at: references/ruby/enum.c:5257
+        c_body_at: references/ruby/enum.c:4007
+        c_effects:
+        - block
+        purity: block_dependent
+      slice_before:
+        source: c
+        cfunc: enum_slice_before
+        arity: -1
+        defined_at: references/ruby/enum.c:5258
+        c_body_at: references/ruby/enum.c:4236
+        c_effects:
+        - block
+        purity: block_dependent
+      slice_after:
+        source: c
+        cfunc: enum_slice_after
+        arity: -1
+        defined_at: references/ruby/enum.c:5259
+        c_body_at: references/ruby/enum.c:4358
+        c_effects:
+        - block
+        - raises
+        purity: block_dependent
+      slice_when:
+        source: c
+        cfunc: enum_slice_when
+        arity: 0
+        defined_at: references/ruby/enum.c:5260
+        c_body_at: references/ruby/enum.c:4515
+        c_effects:
+        - block
+        purity: block_dependent
+      chunk_while:
+        source: c
+        cfunc: enum_chunk_while
+        arity: 0
+        defined_at: references/ruby/enum.c:5261
+        c_body_at: references/ruby/enum.c:4581
+        c_effects:
+        - block
+        purity: block_dependent
+      sum:
+        source: c
+        cfunc: enum_sum
+        arity: -1
+        defined_at: references/ruby/enum.c:5262
+        c_body_at: references/ruby/enum.c:4820
+        c_effects:
+        - block
+        - dispatch
+        purity: block_dependent
+      uniq:
+        source: c
+        cfunc: enum_uniq
+        arity: 0
+        defined_at: references/ruby/enum.c:5263
+        c_body_at: references/ruby/enum.c:4905
+        c_effects:
+        - block
+        - mutate
+        purity: block_dependent
+      compact:
+        source: c
+        cfunc: enum_compact
+        arity: 0
+        defined_at: references/ruby/enum.c:5264
+        c_body_at: references/ruby/enum.c:4941
+        c_effects:
+        - block
+        purity: block_dependent
+    singleton_methods: {}
+    undefined: []

data/data/builtins/ruby_core/file.yml CHANGED Viewed

@@ -19,6 +19,15 @@ purity_levels:
     num_funcall*, etc).
   unknown: C body not located in indexed C files.
 classes:
+  FileTest:
+    parent: Module
+    defined_at: references/ruby/file.c:7511
+    includes: []
+    constants: {}
+    aliases: {}
+    instance_methods: {}
+    singleton_methods: {}
+    undefined: []
   File:
     parent: rb_cIO
     defined_at: references/ruby/file.c:7512