Struct ezno_checker::features::iteration::LoopStructure
source · pub struct LoopStructure {
pub start: TypeId,
pub increment_by: TypeId,
pub roof: TypeId,
}
Expand description
Not quite a “Hoare triple”
Fields§
§start: TypeId
§increment_by: TypeId
§roof: TypeId
Implementations§
source§impl LoopStructure
impl LoopStructure
pub fn calculate_iterations(self, types: &TypeStore) -> Result<usize, Self>
pub fn known_to_never_exist(self, types: &TypeStore) -> bool
Trait Implementations§
source§impl Clone for LoopStructure
impl Clone for LoopStructure
source§fn clone(&self) -> LoopStructure
fn clone(&self) -> LoopStructure
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for LoopStructure
impl Debug for LoopStructure
impl Copy for LoopStructure
Auto Trait Implementations§
impl Freeze for LoopStructure
impl RefUnwindSafe for LoopStructure
impl Send for LoopStructure
impl Sync for LoopStructure
impl Unpin for LoopStructure
impl UnwindSafe for LoopStructure
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)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