Struct Building 

pub struct Building<'a, M> { /* private fields */ }

The registry mid-fill: the model, plus the conversions supplied so far.

What a generator builds a conversion against. It sees every crossing it can compose from — RegistryBuilder::crossings hands them out inner-first, so by the time Option<Handle> is asked for, Handle is already in here.

It exposes exactly the reads a conversion needs, which is what keeps the half-filled state from leaking anywhere else: the resolved Registry is what the emitters get, and it is total.

Trait Implementations

impl<M> Conversions<M> for Building<'_, M>

fn flat(&self) -> &Flat

The model.

fn reading(&self, key: &TypeKey) -> Option<TypeRef>

The reading for ty — what the frontend made of it.

fn conversion(&self, dir: Direction, reading: &TypeRef) -> Option<&TypeEntry<M>>

The conversion for reading in dir, if there is one.

fn callback_arg_plan(&self, key: &TypeKey) -> Option<&UnfoldPlan>

The decomposition of a callback argument type, if it has one.

fn callback_arg_plans(&self) -> &HashMap<TypeKey, UnfoldPlan>

Every callback-argument decomposition, for the emitters that enumerate them rather than look one up.

fn unfold_plans(&self) -> &HashMap<Ident, UnfoldPlan>

The return decomposition of a function, if it has one.

fn error_plans(&self) -> &HashMap<Ident, UnfoldPlan>

The error-position decomposition of a fallible function.

fn decon_plans(&self) -> &HashMap<DeconId, DeconSpec>

The declaration-default decomposition behind each deconstructor.

fn crossing_keys(&self, dir: Direction) -> Vec<TypeKey>

Every type key that crosses in dir.

fn reading_of(&self, ty: &Type) -> Option<TypeRef>

The reading for a spelling — identify, then look up.

fn input_entry(&self, reading: &TypeRef) -> Option<&TypeEntry<M>>

Wire → rust.

fn output_entry(&self, reading: &TypeRef) -> Option<&TypeEntry<M>>

Rust → wire.

fn origin_module(&self, ident: &Ident) -> Option<Path>

The origin crate’s module path for an item, or None when unknown.

fn default_module(&self) -> Option<Path>

The default module for references with no recorded origin.