Struct polytype::ContextChange
source · pub struct ContextChange { /* private fields */ }
Expand description
Allow types to be reified for use in a different context. See Context::merge
.
Implementations§
source§impl ContextChange
impl ContextChange
sourcepub fn reify_type(&self, tp: &mut Type)
pub fn reify_type(&self, tp: &mut Type)
sourcepub fn reify_typescheme(&self, tpsc: &mut TypeScheme)
pub fn reify_typescheme(&self, tpsc: &mut TypeScheme)
Reify a TypeScheme
for use under a merged Context
.
Auto Trait Implementations§
impl RefUnwindSafe for ContextChange
impl Send for ContextChange
impl Sync for ContextChange
impl Unpin for ContextChange
impl UnwindSafe for ContextChange
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more