Struct ezno_checker::context::invocation::InvocationContext
source · pub struct InvocationContext(/* private fields */);
Trait Implementations§
source§impl CallCheckingBehavior for InvocationContext
impl CallCheckingBehavior for InvocationContext
const CHECK_PARAMETERS: bool = false
fn get_latest_info<'b>( &'b mut self, environment: &'b mut Environment<'_> ) -> &'b mut LocalInformation
fn in_recursive_cycle(&self, function_id: FunctionId) -> bool
fn new_function_context<T>( &mut self, function_id: FunctionId, cb: impl for<'a> FnOnce(&'a mut InvocationContext) -> T ) -> T
fn debug_types(&self) -> bool
Auto Trait Implementations§
impl Freeze for InvocationContext
impl RefUnwindSafe for InvocationContext
impl Send for InvocationContext
impl Sync for InvocationContext
impl Unpin for InvocationContext
impl UnwindSafe for InvocationContext
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
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more