Trait TypeReconstructor

pub trait TypeReconstructor: ExpressionReconstructor {
    // Provided methods
    fn reconstruct_type(
        &mut self,
        input: Type,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_array_type(
        &mut self,
        input: ArrayType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_future_type(
        &mut self,
        input: FutureType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_mapping_type(
        &mut self,
        input: MappingType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_tuple_type(
        &mut self,
        input: TupleType,
    ) -> (Type, Self::AdditionalOutput) { ... }
}

A Reconstructor trait for types in the AST.

Provided Methods

fn reconstruct_type(&mut self, input: Type) -> (Type, Self::AdditionalOutput)

fn reconstruct_array_type( &mut self, input: ArrayType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_future_type( &mut self, input: FutureType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_mapping_type( &mut self, input: MappingType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_tuple_type( &mut self, input: TupleType, ) -> (Type, Self::AdditionalOutput)

Implementors