Method List

Classes Methods Files

Search:

#== Rigor::Scope
#== Rigor::Trinary
#== Rigor::Type::Bot
#== Rigor::Type::Top
#== Rigor::Type::Tuple
#== Rigor::Type::Union
#== Rigor::Type::Dynamic
#== Rigor::Type::Nominal
#== Rigor::AST::TypeNode
#== Rigor::Type::Constant
#== Rigor::Type::Singleton
#== Rigor::Type::Difference
#== Rigor::Type::HashShape
#== Rigor::Type::IntegerRange
#== Rigor::Analysis::FactStore
#== Rigor::Type::AcceptsResult
#absorb Rigor::CLI::TypeScanCommand::ScanAccumulator
#accepts Rigor::Type::Bot
#accepts Rigor::Type::Top
#accepts Rigor::Type::Tuple
#accepts Rigor::Type::Union
#accepts Rigor::Type::Dynamic
#accepts Rigor::Type::Nominal
#accepts Rigor::Type::Constant
#accepts Rigor::Type::Singleton
#accepts Rigor::Type::Difference
#accepts Rigor::Type::HashShape
#accepts Rigor::Type::IntegerRange
accepts Rigor::Inference::Acceptance
#always? Rigor::RbsExtended::AssertEffect
analyse Rigor::Inference::Narrowing
#and Rigor::Trinary
assert_type Rigor::Testing
assert_type Rigor
at_offset Rigor::Source::NodeLocator
#at_offset Rigor::Source::NodeLocator
at_position Rigor::Source::NodeLocator
#at_position Rigor::Source::NodeLocator
#base Rigor::Type::Difference
binary_method_allowed? Rigor::Inference::MethodDispatcher::ConstantFolding
bind Rigor::Inference::MultiTargetBinder
#bind Rigor::Inference::BlockParameterBinder
#bind Rigor::Inference::MethodParameterBinder
block_param_types Rigor::Inference::MethodDispatcher::RbsDispatch
block_param_types Rigor::Inference::MethodDispatcher::IteratorDispatch
bool_union Rigor::Inference::MethodDispatcher::ConstantFolding
#bot Rigor::Type::Bot
#bot Rigor::Type::Top
#bot Rigor::Type::Tuple
#bot Rigor::Type::Union
#bot Rigor::Type::Dynamic
#bot Rigor::Type::Nominal
#bot Rigor::Type::Constant
#bot Rigor::Type::Singleton
bot Rigor::Type::Combinator
#bot Rigor::Type::Difference
#bot Rigor::Type::HashShape
#bot Rigor::Type::IntegerRange
#bucket Rigor::Analysis::FactStore::Fact
build_class_cvar_index Rigor::Inference::ScopeIndexer
build_class_ivar_index Rigor::Inference::ScopeIndexer
build_constant_type Rigor::Inference::MethodDispatcher::ConstantFolding
build_declaration_artifacts Rigor::Inference::ScopeIndexer
build_discovered_def_nodes Rigor::Inference::ScopeIndexer
build_discovered_methods Rigor::Inference::ScopeIndexer
build_in_source_constants Rigor::Inference::ScopeIndexer
build_index_range Rigor::Inference::MethodDispatcher::IteratorDispatch
build_integer_range Rigor::Inference::MethodDispatcher::ConstantFolding
build_program_global_index Rigor::Inference::ScopeIndexer
#cache_path Rigor::Configuration
#cardinality Rigor::Type::IntegerRange
case_when_scopes Rigor::Inference::Narrowing
catalog_allows? Rigor::Inference::MethodDispatcher::ConstantFolding
catalog_for Rigor::Inference::MethodDispatcher::ConstantFolding
#class_cvars Rigor::Scope
#class_cvars_for Rigor::Scope
#class_ivars Rigor::Scope
#class_ivars_for Rigor::Scope
#class_known? Rigor::Environment
#class_known? Rigor::Environment::RbsLoader
#class_name Rigor::RbsExtended::PredicateEffect
#class_name Rigor::RbsExtended::AssertEffect
#class_name Rigor::Type::Nominal
#class_name Rigor::Type::Singleton
#class_ordering Rigor::Environment
#class_ordering Rigor::Environment::RbsLoader
#class_ordering Rigor::Environment::RbsHierarchy
#class_ordering Rigor::Environment::ClassRegistry
#class_registry Rigor::Environment
#class_type_param_names Rigor::Environment::RbsLoader
classify Rigor::Inference::ClosureEscapeAnalyzer
#clear Rigor::Inference::FallbackTracer
#closed? Rigor::Type::HashShape
collapse_constants Rigor::Inference::MethodDispatcher::ConstantFolding
collect_def_cvar_writes Rigor::Inference::ScopeIndexer
collect_def_ivar_writes Rigor::Inference::ScopeIndexer
collect_divmod_pairs Rigor::Inference::MethodDispatcher::ConstantFolding
#column Rigor::Analysis::Diagnostic
#column Rigor::CLI::TypeOfCommand::Result
#condition Rigor::RbsExtended::AssertEffect
#constant_for_name Rigor::Environment
constant_metaclass Rigor::Inference::MethodDispatcher
constant_of Rigor::Type::Combinator
constant_string_arg? Rigor::Inference::MethodDispatcher::FileFolding
constant_string_args Rigor::Inference::MethodDispatcher::FileFolding
#constant_type Rigor::Environment::RbsLoader
#covers? Rigor::Type::IntegerRange
#cvar Rigor::Scope
#cvars Rigor::Scope
decide_eq Rigor::Inference::MethodDispatcher::ConstantFolding
decide_le Rigor::Inference::MethodDispatcher::ConstantFolding
decide_lt Rigor::Inference::MethodDispatcher::ConstantFolding
decide_negative Rigor::Inference::MethodDispatcher::ConstantFolding
decide_positive Rigor::Inference::MethodDispatcher::ConstantFolding
decide_range_comparison Rigor::Inference::MethodDispatcher::ConstantFolding
decide_zero Rigor::Inference::MethodDispatcher::ConstantFolding
#declared_types Rigor::Scope
default Rigor::Environment
default Rigor::Environment::RbsLoader
default Rigor::Environment::ClassRegistry
#describe Rigor::Type::Bot
#describe Rigor::Type::Top
#describe Rigor::Type::Tuple
#describe Rigor::Type::Union
#describe Rigor::Type::Dynamic
#describe Rigor::Type::Nominal
#describe Rigor::Type::Constant
#describe Rigor::Type::Singleton
#describe Rigor::Type::Difference
#describe Rigor::Type::HashShape
#describe Rigor::Type::IntegerRange
diagnose Rigor::Analysis::CheckRules
#diagnostics Rigor::Analysis::Result
difference Rigor::Type::Combinator
#disabled_rules Rigor::Configuration
#discovered_classes Rigor::Scope
#discovered_def_nodes Rigor::Scope
#discovered_method? Rigor::Scope
#discovered_methods Rigor::Scope
dispatch Rigor::Inference::MethodDispatcher
dispatch_precise_tiers Rigor::Inference::MethodDispatcher
dispatch_target? Rigor::Inference::MethodDispatcher::FileFolding
divmod_result_to_pair Rigor::Inference::MethodDispatcher::ConstantFolding
downto_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
dump_type Rigor::Testing
dump_type Rigor
#dynamic Rigor::Type::Bot
#dynamic Rigor::Type::Top
#dynamic Rigor::Type::Tuple
#dynamic Rigor::Type::Union
#dynamic Rigor::Type::Dynamic
#dynamic Rigor::Type::Nominal
#dynamic Rigor::Type::Constant
#dynamic Rigor::Type::Singleton
dynamic Rigor::Type::Combinator
#dynamic Rigor::Type::Difference
#dynamic Rigor::Type::HashShape
#dynamic Rigor::Type::IntegerRange
each Rigor::Source::NodeWalker
#each Rigor::Inference::FallbackTracer
#edge Rigor::RbsExtended::PredicateEffect
#elements Rigor::Type::Tuple
empty Rigor::Scope
empty Rigor::Analysis::FactStore
#empty? Rigor::Analysis::FactStore
#empty? Rigor::Inference::FallbackTracer
ensure_integer_range Rigor::Inference::MethodDispatcher::ConstantFolding
#environment Rigor::Scope
#erase_to_rbs Rigor::Type::Bot
#erase_to_rbs Rigor::Type::Top
#erase_to_rbs Rigor::Type::Tuple
#erase_to_rbs Rigor::Type::Union
#erase_to_rbs Rigor::Type::Dynamic
#erase_to_rbs Rigor::Type::Nominal
#erase_to_rbs Rigor::Type::Constant
#erase_to_rbs Rigor::Type::Singleton
#erase_to_rbs Rigor::Type::Difference
#erase_to_rbs Rigor::Type::HashShape
#erase_to_rbs Rigor::Type::IntegerRange
#error? Rigor::Analysis::Diagnostic
#error_count Rigor::Analysis::Result
#evaluate Rigor::Scope
#evaluate Rigor::Inference::StatementEvaluator
#event Rigor::CLI::TypeScanCommand::LocatedEvent
#events Rigor::CLI::Report
#events Rigor::Inference::FallbackTracer
#events Rigor::Inference::CoverageScanner::Result
expected_block_param_types Rigor::Inference::MethodDispatcher
#extra_keys Rigor::Type::HashShape
#fact_store Rigor::Scope
#facts Rigor::Analysis::FactStore
#facts_for Rigor::Scope
#facts_for Rigor::Analysis::FactStore
#falsey_only? Rigor::RbsExtended::PredicateEffect
#families Rigor::Inference::FallbackTracer
#family Rigor::Inference::Fallback
#file Rigor::CLI::TypeOfCommand::Result
#file Rigor::CLI::TypeScanCommand::LocatedEvent
#files Rigor::CLI::Report
filter_suppressed Rigor::Analysis::CheckRules
#finite? Rigor::Type::IntegerRange
fold_class_method Rigor::Inference::MethodDispatcher::FileFolding
#fold_platform_specific_paths Rigor::Configuration
fold_platform_specific_paths Rigor::Inference::MethodDispatcher::FileFolding
foldable_constant_value? Rigor::Inference::MethodDispatcher::ConstantFolding
for_project Rigor::Environment
from_symbol Rigor::Trinary
gather_cvar_writes Rigor::Inference::ScopeIndexer
gather_global_writes Rigor::Inference::ScopeIndexer
gather_ivar_writes Rigor::Inference::ScopeIndexer
#generic_description Rigor::Type::IntegerRange
#global Rigor::Scope
#globals Rigor::Scope
#hash Rigor::Scope
#hash Rigor::Trinary
#hash Rigor::Type::Bot
#hash Rigor::Type::Top
#hash Rigor::Type::Tuple
#hash Rigor::Type::Union
#hash Rigor::Type::Dynamic
#hash Rigor::Type::Nominal
#hash Rigor::AST::TypeNode
#hash Rigor::Type::Constant
#hash Rigor::Type::Singleton
#hash Rigor::Type::Difference
#hash Rigor::Type::HashShape
#hash Rigor::Type::IntegerRange
#hash Rigor::Analysis::FactStore
#hash Rigor::Type::AcceptsResult
hash_shape_of Rigor::Type::Combinator
#if_falsey_return? Rigor::RbsExtended::AssertEffect
#if_truthy_return? Rigor::RbsExtended::AssertEffect
#in_source_constants Rigor::Scope
index Rigor::Inference::ScopeIndexer
#initialize Rigor::CLI
#initialize Rigor::Scope
#initialize Rigor::Trinary
#initialize Rigor::Type::Tuple
#initialize Rigor::Type::Union
#initialize Rigor::Environment
#initialize Rigor::Type::Dynamic
#initialize Rigor::Type::Nominal
#initialize Rigor::AST::TypeNode
#initialize Rigor::Configuration
#initialize Rigor::Type::Constant
#initialize Rigor::Type::Singleton
#initialize Rigor::Analysis::Result
#initialize Rigor::Analysis::Runner
#initialize Rigor::Type::Difference
#initialize Rigor::Type::HashShape
#initialize Rigor::Inference::Fallback
#initialize Rigor::Type::IntegerRange
#initialize Rigor::Analysis::Diagnostic
#initialize Rigor::Analysis::FactStore::Target
#initialize Rigor::Analysis::FactStore::Fact
#initialize Rigor::Analysis::FactStore
#initialize Rigor::CLI::TypeOfCommand
#initialize Rigor::Source::NodeLocator
#initialize Rigor::Type::AcceptsResult
#initialize Rigor::CLI::TypeOfRenderer
#initialize Rigor::CLI::TypeScanCommand
#initialize Rigor::CLI::TypeScanCommand::ScanAccumulator
#initialize Rigor::CLI::TypeScanRenderer
#initialize Rigor::Environment::RbsLoader
#initialize Rigor::Environment::RbsHierarchy
#initialize Rigor::Inference::FallbackTracer
#initialize Rigor::Environment::ClassRegistry
#initialize Rigor::Inference::CoverageScanner
#initialize Rigor::Inference::ExpressionTyper
#initialize Rigor::Inference::StatementEvaluator
#initialize Rigor::Inference::BlockParameterBinder
#initialize Rigor::Inference::Builtins::MethodCatalog
#initialize Rigor::Inference::MethodParameterBinder
#inner_type Rigor::Inference::Fallback
#inspect Rigor::Trinary
#inspect Rigor::Type::Bot
#inspect Rigor::Type::Top
#inspect Rigor::Type::Tuple
#inspect Rigor::Type::Union
#inspect Rigor::Type::Dynamic
#inspect Rigor::Type::Nominal
#inspect Rigor::AST::TypeNode
#inspect Rigor::Type::Constant
#inspect Rigor::Type::Singleton
#inspect Rigor::Type::Difference
#inspect Rigor::Type::HashShape
#inspect Rigor::Type::IntegerRange
#inspect Rigor::Type::AcceptsResult
instance Rigor::Type::Bot
instance Rigor::Type::Top
#instance_definition Rigor::Environment::RbsLoader
#instance_method Rigor::Environment::RbsLoader
integer_division_by_zero? Rigor::Inference::MethodDispatcher::ConstantFolding
integer_range Rigor::Type::Combinator
integer_rooted? Rigor::Inference::MethodDispatcher::IteratorDispatch
#invalidate_target Rigor::Analysis::FactStore
invoke_binary Rigor::Inference::MethodDispatcher::ConstantFolding
invoke_divmod Rigor::Inference::MethodDispatcher::ConstantFolding
invoke_unary Rigor::Inference::MethodDispatcher::ConstantFolding
#ivar Rigor::Scope
#ivars Rigor::Scope
#join Rigor::Scope
#join Rigor::Analysis::FactStore
#kind Rigor::Analysis::FactStore::Target
#kinds Rigor::Inference::FallbackTracer
known? Rigor::Builtins::ImportedRefinements
known_names Rigor::Builtins::ImportedRefinements
#libraries Rigor::Configuration
#libraries Rigor::Environment::RbsLoader
#line Rigor::Analysis::Diagnostic
#line Rigor::CLI::TypeOfCommand::Result
literal_method_name Rigor::Inference::ScopeIndexer
load Rigor::Configuration
#local Rigor::Scope
local Rigor::Analysis::FactStore::Target
#local_facts Rigor::Scope
#locals Rigor::Scope
#location Rigor::Inference::Fallback
lookup Rigor::Builtins::ImportedRefinements
#lower Rigor::Type::IntegerRange
lower_bound_of Rigor::Inference::MethodDispatcher::IteratorDispatch
#max Rigor::Type::IntegerRange
maybe Rigor::Trinary
maybe Rigor::Type::AcceptsResult
#maybe? Rigor::Trinary
#maybe? Rigor::Type::AcceptsResult
#members Rigor::Type::Union
#message Rigor::Analysis::Diagnostic
meta_class Rigor::Inference::MethodDispatcher
meta_new Rigor::Inference::MethodDispatcher
#method_entry Rigor::Inference::Builtins::MethodCatalog
method_entry Rigor::Inference::Builtins::NumericCatalog
#min Rigor::Type::IntegerRange
#mode Rigor::Type::AcceptsResult
#name Rigor::Analysis::FactStore::Target
#name Rigor::Inference::StatementEvaluator::ClassFrame
narrow_class Rigor::Inference::Narrowing
narrow_equal Rigor::Inference::Narrowing
narrow_falsey Rigor::Inference::Narrowing
narrow_integer_comparison Rigor::Inference::Narrowing
narrow_integer_equal Rigor::Inference::Narrowing
narrow_integer_not_equal Rigor::Inference::Narrowing
narrow_nil Rigor::Inference::Narrowing
narrow_non_nil Rigor::Inference::Narrowing
narrow_not_class Rigor::Inference::Narrowing
narrow_not_equal Rigor::Inference::Narrowing
narrow_truthy Rigor::Inference::Narrowing
#negate Rigor::Trinary
#negative Rigor::RbsExtended::PredicateEffect
#negative Rigor::RbsExtended::AssertEffect
#negative? Rigor::RbsExtended::PredicateEffect
#negative? Rigor::RbsExtended::AssertEffect
negative_int Rigor::Type::Combinator
no Rigor::Trinary
no Rigor::Type::AcceptsResult
#no? Rigor::Trinary
#no? Rigor::Type::AcceptsResult
#node Rigor::CLI::TypeOfCommand::Result
#node_class Rigor::Inference::Fallback
#nominal_for Rigor::Environment::ClassRegistry
#nominal_for_name Rigor::Environment
#nominal_for_name Rigor::Environment::ClassRegistry
nominal_of Rigor::Type::Combinator
non_empty_array Rigor::Type::Combinator
non_empty_hash Rigor::Type::Combinator
non_empty_string Rigor::Type::Combinator
non_negative_int Rigor::Type::Combinator
non_positive_int Rigor::Type::Combinator
non_zero_int Rigor::Type::Combinator
numeric_set_of Rigor::Inference::MethodDispatcher::ConstantFolding
#open? Rigor::Type::HashShape
ops_for Rigor::Inference::MethodDispatcher::ConstantFolding
#optional_key? Rigor::Type::HashShape
#optional_keys Rigor::Type::HashShape
#options Rigor::CLI::Report
#or Rigor::Trinary
overload_has_block? Rigor::Inference::MethodDispatcher::OverloadSelector
#pairs Rigor::Type::HashShape
parse_assert_annotation Rigor::RbsExtended
#parse_errors Rigor::CLI::Report
parse_predicate_annotation Rigor::RbsExtended
parse_return_type_override Rigor::RbsExtended
parse_suppression_comments Rigor::Analysis::CheckRules
#path Rigor::Analysis::Diagnostic
#paths Rigor::Configuration
#payload Rigor::Analysis::FactStore::Fact
platform_specific_skip? Rigor::Inference::MethodDispatcher::FileFolding
#plugins Rigor::Configuration
#polarity Rigor::Analysis::FactStore::Fact
#position_to_offset Rigor::Source::NodeLocator
positive_int Rigor::Type::Combinator
#predicate Rigor::Analysis::FactStore::Fact
predicate_scopes Rigor::Inference::Narrowing
#program_globals Rigor::Scope
propagate Rigor::Inference::ScopeIndexer
qualified_name_for Rigor::Inference::ScopeIndexer
raise_if_strict Rigor::Inference::MethodDispatcher::ConstantFolding
range_additive Rigor::Inference::MethodDispatcher::ConstantFolding
range_comparison Rigor::Inference::MethodDispatcher::ConstantFolding
range_comparison_result Rigor::Inference::MethodDispatcher::ConstantFolding
range_divide Rigor::Inference::MethodDispatcher::ConstantFolding
range_modulo Rigor::Inference::MethodDispatcher::ConstantFolding
range_multiply Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_abs Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_bit_length Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_identity Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_negate Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_parity Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_predicate Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_shift Rigor::Inference::MethodDispatcher::ConstantFolding
#rbs_loader Rigor::Environment
read_assert_effects Rigor::RbsExtended
#read_only_key? Rigor::Type::HashShape
#read_only_keys Rigor::Type::HashShape
read_predicate_effects Rigor::RbsExtended
read_return_type_override Rigor::RbsExtended
#reasons Rigor::Type::AcceptsResult
record_constant_write Rigor::Inference::ScopeIndexer
record_cvar_write Rigor::Inference::ScopeIndexer
record_declarations Rigor::Inference::ScopeIndexer
record_def_method Rigor::Inference::ScopeIndexer
record_def_node Rigor::Inference::ScopeIndexer
record_define_method Rigor::Inference::ScopeIndexer
#record_fallback Rigor::Inference::FallbackTracer
record_global_write Rigor::Inference::ScopeIndexer
record_ivar_write Rigor::Inference::ScopeIndexer
#record_parse_error Rigor::CLI::TypeScanCommand::ScanAccumulator
#register Rigor::Environment::ClassRegistry
#registered? Rigor::Environment::ClassRegistry
#removed Rigor::Type::Difference
#render Rigor::CLI::TypeOfRenderer
#render Rigor::CLI::TypeScanRenderer
render_constant_path Rigor::Inference::ScopeIndexer
#required_key? Rigor::Type::HashShape
#required_keys Rigor::Type::HashShape
#reset! Rigor::Inference::Builtins::MethodCatalog
reset! Rigor::Inference::Builtins::NumericCatalog
reset_default! Rigor::Environment::RbsLoader
#rule Rigor::Analysis::Diagnostic
#run Rigor::CLI
#run Rigor::Analysis::Runner
#run Rigor::CLI::TypeOfCommand
#run Rigor::CLI::TypeScanCommand
safe? Rigor::Inference::MethodDispatcher::ConstantFolding
safe_div Rigor::Inference::MethodDispatcher::ConstantFolding
#safe_for_folding? Rigor::Inference::Builtins::MethodCatalog
safe_for_folding? Rigor::Inference::Builtins::NumericCatalog
safe_mul Rigor::Inference::MethodDispatcher::ConstantFolding
#scan Rigor::Inference::CoverageScanner
select Rigor::Inference::MethodDispatcher::OverloadSelector
#self_type Rigor::Scope
#severity Rigor::Analysis::Diagnostic
#signature_paths Rigor::Configuration
#signature_paths Rigor::Environment::RbsLoader
#singleton Rigor::Inference::StatementEvaluator::ClassFrame
#singleton_definition Rigor::Environment::RbsLoader
#singleton_for_name Rigor::Environment
#singleton_method Rigor::Environment::RbsLoader
singleton_of Rigor::Type::Combinator
#size Rigor::Inference::FallbackTracer
#stability Rigor::Analysis::FactStore::Fact
start Rigor::CLI
#static_facet Rigor::Type::Dynamic
string_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_concat_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_repeat_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_unary_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
#success? Rigor::Analysis::Result
#target Rigor::Analysis::FactStore::Fact
#target_kind Rigor::RbsExtended::PredicateEffect
#target_kind Rigor::RbsExtended::AssertEffect
#target_name Rigor::RbsExtended::PredicateEffect
#target_name Rigor::RbsExtended::AssertEffect
#target_ruby Rigor::Configuration
times_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
#to_h Rigor::Configuration
#to_h Rigor::Analysis::Result
#to_h Rigor::Analysis::Diagnostic
#to_report Rigor::CLI::TypeScanCommand::ScanAccumulator
#to_s Rigor::Trinary
#to_s Rigor::Analysis::Diagnostic
#top Rigor::Type::Bot
#top Rigor::Type::Top
#top Rigor::Type::Tuple
#top Rigor::Type::Union
#top Rigor::Type::Dynamic
#top Rigor::Type::Nominal
#top Rigor::Type::Constant
#top Rigor::Type::Singleton
top Rigor::Type::Combinator
#top Rigor::Type::Difference
#top Rigor::Type::HashShape
#top Rigor::Type::IntegerRange
#top_level_def_for Rigor::Scope
#tracer Rigor::CLI::TypeOfCommand::Result
translate Rigor::Inference::RbsTypeTranslator
#trinary Rigor::Type::AcceptsResult
#truthy_only? Rigor::RbsExtended::PredicateEffect
try_dispatch Rigor::Inference::MethodDispatcher::FileFolding
try_dispatch Rigor::Inference::MethodDispatcher::RbsDispatch
try_dispatch Rigor::Inference::MethodDispatcher::ShapeDispatch
try_fold Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_binary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_binary_range Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_binary_set Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_divmod Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_unary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_unary_range Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_unary_set Rigor::Inference::MethodDispatcher::ConstantFolding
try_meta_introspection Rigor::Inference::MethodDispatcher
try_user_class_fallback Rigor::Inference::MethodDispatcher
tuple_of Rigor::Type::Combinator
#type Rigor::AST::TypeNode
#type Rigor::CLI::TypeOfCommand::Result
#type_args Rigor::Type::Nominal
#type_of Rigor::Scope
#type_of Rigor::Inference::ExpressionTyper
unary_method_allowed? Rigor::Inference::MethodDispatcher::ConstantFolding
unary_ops_for Rigor::Inference::MethodDispatcher::ConstantFolding
unary_safe? Rigor::Inference::MethodDispatcher::ConstantFolding
union Rigor::Type::Combinator
#universal? Rigor::Type::IntegerRange
universal_int Rigor::Type::Combinator
#unrecognized Rigor::CLI::Report
#unrecognized Rigor::Inference::CoverageScanner::Result
#unrecognized_count Rigor::CLI::Report
#unrecognized_count Rigor::Inference::CoverageScanner::Result
#unrecognized_ratio Rigor::CLI::Report
#unrecognized_ratio Rigor::Inference::CoverageScanner::Result
untyped Rigor::Type::Combinator
#upper Rigor::Type::IntegerRange
upper_bound_of Rigor::Inference::MethodDispatcher::IteratorDispatch
upto_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
user_class_fallback_receiver Rigor::Inference::MethodDispatcher
#user_def_for Rigor::Scope
vacuous_range? Rigor::Inference::MethodDispatcher::IteratorDispatch
#value Rigor::Trinary
#value Rigor::Type::Constant
#visited_count Rigor::CLI::Report
#visited_count Rigor::Inference::CoverageScanner::Result
#visits Rigor::CLI::Report
#visits Rigor::Inference::CoverageScanner::Result
walk Rigor::Source::NodeWalker
walk_class_cvars Rigor::Inference::ScopeIndexer
walk_class_ivars Rigor::Inference::ScopeIndexer
walk_constant_writes Rigor::Inference::ScopeIndexer
walk_def_nodes Rigor::Inference::ScopeIndexer
walk_methods Rigor::Inference::ScopeIndexer
widen_to_integer_range Rigor::Inference::MethodDispatcher::ConstantFolding
#with_class_cvars Rigor::Scope
#with_class_ivars Rigor::Scope
#with_cvar Rigor::Scope
#with_declared_types Rigor::Scope
#with_discovered_classes Rigor::Scope
#with_discovered_def_nodes Rigor::Scope
#with_discovered_methods Rigor::Scope
#with_fact Rigor::Scope
#with_fact Rigor::Analysis::FactStore
#with_global Rigor::Scope
#with_in_source_constants Rigor::Scope
#with_ivar Rigor::Scope
#with_local Rigor::Scope
#with_local_fact Rigor::Analysis::FactStore
#with_program_globals Rigor::Scope
#with_reason Rigor::Type::AcceptsResult
#with_self_type Rigor::Scope
wrap_result Rigor::Inference::MethodDispatcher::FileFolding
yes Rigor::Trinary
yes Rigor::Type::AcceptsResult
#yes? Rigor::Trinary
#yes? Rigor::Type::AcceptsResult