Struct Replacer 

pub struct Replacer { /* private fields */ }

Implementations

impl Replacer

pub fn check_replacement_keys(&self) -> bool

impl Replacer

pub fn clean_type_id(&mut self, ty: TypeId) -> TypeId

impl Replacer

pub fn clean_type_pack_id(&mut self, tp: TypePackId) -> TypePackId

impl Replacer

pub fn ignore_children(&self, ty: TypeId) -> bool

impl Replacer

pub fn is_dirty_type_id(&self, ty: TypeId) -> bool

impl Replacer

pub fn is_dirty_type_pack_id(&self, tp: TypePackId) -> bool

impl Replacer

pub fn replacer( arena: *mut TypeArena, replacements: *mut DenseHashMap<TypeId, TypeId>, replacement_packs: *mut DenseHashMap<TypePackId, TypePackId>, ) -> Self

pub fn substitute_type_id(&mut self, ty: TypeId) -> Option<TypeId>

pub fn substitute_type_pack_id(&mut self, tp: TypePackId) -> Option<TypePackId>

Trait Implementations

impl Clone for Replacer

fn clone(&self) -> Replacer

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Replacer

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.