Trait TyMutator

pub trait TyMutator {
    // Provided methods
    fn mutate(&mut self, ty: &Ty, pol: bool) -> Option<Ty> { ... }
    fn mutate_rec(&mut self, ty: &Ty, pol: bool) -> Option<Ty> { ... }
    fn mutate_vec(&mut self, ty: &[Ty], pol: bool) -> Option<Interned<Vec<Ty>>> { ... }
    fn mutate_option(
        &mut self,
        ty: Option<&Ty>,
        pol: bool,
    ) -> Option<Option<Ty>> { ... }
    fn mutate_func(&mut self, ty: &Interned<SigTy>, pol: bool) -> Option<SigTy> { ... }
    fn mutate_param(
        &mut self,
        param: &Interned<ParamTy>,
        pol: bool,
    ) -> Option<ParamTy> { ... }
    fn mutate_record(
        &mut self,
        record: &Interned<RecordTy>,
        pol: bool,
    ) -> Option<RecordTy> { ... }
    fn mutate_with_sig(
        &mut self,
        ty: &Interned<SigWithTy>,
        pol: bool,
    ) -> Option<SigWithTy> { ... }
    fn mutate_unary(
        &mut self,
        ty: &Interned<TypeUnary>,
        pol: bool,
    ) -> Option<TypeUnary> { ... }
    fn mutate_binary(
        &mut self,
        ty: &Interned<TypeBinary>,
        pol: bool,
    ) -> Option<TypeBinary> { ... }
    fn mutate_if(&mut self, ty: &Interned<IfTy>, pol: bool) -> Option<IfTy> { ... }
    fn mutate_select(
        &mut self,
        ty: &Interned<SelectTy>,
        pol: bool,
    ) -> Option<SelectTy> { ... }
}

A trait to mutate a type.

Provided Methods

fn mutate(&mut self, ty: &Ty, pol: bool) -> Option<Ty>

Mutates the given type.

fn mutate_rec(&mut self, ty: &Ty, pol: bool) -> Option<Ty>

Mutates the given type recursively.

fn mutate_vec(&mut self, ty: &[Ty], pol: bool) -> Option<Interned<Vec<Ty>>>

Mutates the given vector of types.

fn mutate_option(&mut self, ty: Option<&Ty>, pol: bool) -> Option<Option<Ty>>

Mutates the given option of type.

fn mutate_func(&mut self, ty: &Interned<SigTy>, pol: bool) -> Option<SigTy>

Mutates the given function signature.

fn mutate_param( &mut self, param: &Interned<ParamTy>, pol: bool, ) -> Option<ParamTy>

Mutates the given parameter type.

fn mutate_record( &mut self, record: &Interned<RecordTy>, pol: bool, ) -> Option<RecordTy>

Mutates the given record type.

fn mutate_with_sig( &mut self, ty: &Interned<SigWithTy>, pol: bool, ) -> Option<SigWithTy>

Mutates the given function signature with type.

fn mutate_unary( &mut self, ty: &Interned<TypeUnary>, pol: bool, ) -> Option<TypeUnary>

Mutates the given unary type.

fn mutate_binary( &mut self, ty: &Interned<TypeBinary>, pol: bool, ) -> Option<TypeBinary>

Mutates the given binary type.

fn mutate_if(&mut self, ty: &Interned<IfTy>, pol: bool) -> Option<IfTy>

Mutates the given if type.

fn mutate_select( &mut self, ty: &Interned<SelectTy>, pol: bool, ) -> Option<SelectTy>

Mutates the given select type.

Implementors

impl<T> TyMutator for T

where T: FnMut(&Ty, bool) -> Option<Ty>,