pub struct SavedTerm { /* private fields */ }
Expand description
A term that was created in an OwnedEnv
and saved for later use.
These are created by calling OwnedEnv::save()
. See that method’s documentation for an
example.
Implementations§
source§impl SavedTerm
impl SavedTerm
sourcepub fn load<'a>(&self, env: Env<'a>) -> Term<'a>
pub fn load<'a>(&self, env: Env<'a>) -> Term<'a>
Load this saved term back into its environment.
§Panics
env
must be the Env
of a .run()
or .send()
call on the
OwnedEnv
where this term was saved, and the OwnedEnv
must not have
been cleared or dropped since then. Otherwise this method will panic.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SavedTerm
impl RefUnwindSafe for SavedTerm
impl !Sync for SavedTerm
impl Unpin for SavedTerm
impl UnwindSafe for SavedTerm
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