Struct ezno_checker::context::invocation::CheckThings
source · pub struct CheckThings {
pub debug_types: bool,
}
Expand description
Top level. Evaluating directly, rather than deep in event application
Fields§
§debug_types: bool
Trait Implementations§
source§impl CallCheckingBehavior for CheckThings
impl CallCheckingBehavior for CheckThings
const CHECK_PARAMETERS: bool = true
fn get_latest_info<'a>( &'a mut self, environment: &'a mut Environment<'_> ) -> &'a 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 CheckThings
impl RefUnwindSafe for CheckThings
impl Send for CheckThings
impl Sync for CheckThings
impl Unpin for CheckThings
impl UnwindSafe for CheckThings
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