Trait Reconstruct

Source
pub trait Reconstruct {
    // Required method
    fn reconstruct(self, ctx: &mut ReconstructCtx<'_>) -> Self;
}
Expand description

The main actor in reconstruction process.

The point of a reconstruction is to remove all potential forward references for the sake of later processing. This means that if a reconstructed expression requires some other expressions to be computed before it can be computed itself, those expressions will have a smaller index in the expression vector.

Required Methods§

Source

fn reconstruct(self, ctx: &mut ReconstructCtx<'_>) -> Self

Reconstruct the value.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl Reconstruct for VarIndex

Source§

fn reconstruct(self, ctx: &mut ReconstructCtx<'_>) -> Self

Source§

impl<T: Reconstruct> Reconstruct for Option<T>

Source§

fn reconstruct(self, ctx: &mut ReconstructCtx<'_>) -> Self

Source§

impl<T: Reconstruct> Reconstruct for Box<T>

Source§

fn reconstruct(self, ctx: &mut ReconstructCtx<'_>) -> Self

Source§

impl<T: Reconstruct> Reconstruct for Vec<T>

Source§

fn reconstruct(self, ctx: &mut ReconstructCtx<'_>) -> Self

Implementors§