Module: Rigor::Inference

Defined in:

lib/rigor/inference/fallback.rb,
lib/rigor/inference/narrowing.rb,
lib/rigor/inference/acceptance.rb,
lib/rigor/inference/scope_indexer.rb,
lib/rigor/inference/fallback_tracer.rb,
lib/rigor/inference/coverage_scanner.rb,
lib/rigor/inference/expression_typer.rb,
lib/rigor/inference/method_dispatcher.rb,
lib/rigor/inference/multi_target_binder.rb,
lib/rigor/inference/rbs_type_translator.rb,
lib/rigor/inference/statement_evaluator.rb,
lib/rigor/inference/block_parameter_binder.rb,
lib/rigor/inference/closure_escape_analyzer.rb,
lib/rigor/inference/method_parameter_binder.rb,
lib/rigor/inference/method_dispatcher/rbs_dispatch.rb,
lib/rigor/inference/method_dispatcher/shape_dispatch.rb,
lib/rigor/inference/method_dispatcher/constant_folding.rb,
lib/rigor/inference/method_dispatcher/overload_selector.rb

Defined Under Namespace

Modules: Acceptance, ClosureEscapeAnalyzer, MethodDispatcher, MultiTargetBinder, Narrowing, RbsTypeTranslator, ScopeIndexer Classes: BlockParameterBinder, CoverageScanner, ExpressionTyper, Fallback, FallbackTracer, MethodParameterBinder, StatementEvaluator