Module: Rigor::SigGen

Defined in:

lib/rigor/sig_gen.rb,
lib/rigor/sig_gen/writer.rb,
lib/rigor/sig_gen/renderer.rb,
lib/rigor/sig_gen/generator.rb,
lib/rigor/sig_gen/path_mapper.rb,
lib/rigor/sig_gen/layout_index.rb,
lib/rigor/sig_gen/write_result.rb,
lib/rigor/sig_gen/observed_call.rb,
lib/rigor/sig_gen/classification.rb,
lib/rigor/sig_gen/type_elaborator.rb,
lib/rigor/sig_gen/method_candidate.rb,
lib/rigor/sig_gen/observation_collector.rb

Overview

Namespace for the RBS signature generator that powers ‘rigor sig-gen` (ADR-14).

The generator emits RBS from Rigor’s inference results so users close RBS coverage gaps without freehand authorship. See ‘docs/adr/14-rbs-sig-generation.md` for the design rationale and the slicing plan.

Defined Under Namespace

Modules: Classification, TypeElaborator Classes: Generator, LayoutIndex, MethodCandidate, ObservationCollector, ObservedCall, PathMapper, Renderer, WriteResult, Writer