Enum ezno_checker::features::iteration::IterationBehavior
source · pub enum IterationBehavior<'a, A: ASTImplementation> {
While(&'a A::MultipleExpression<'a>),
DoWhile(&'a A::MultipleExpression<'a>),
For {
initialiser: &'a Option<A::ForStatementInitiliser<'a>>,
condition: &'a Option<A::MultipleExpression<'a>>,
afterthought: &'a Option<A::MultipleExpression<'a>>,
},
ForIn {
lhs: &'a A::VariableField<'a>,
rhs: &'a A::MultipleExpression<'a>,
},
ForOf {
lhs: &'a A::VariableField<'a>,
rhs: &'a A::Expression<'a>,
},
}
Expand description
The type of iteration to synthesis
Variants§
While(&'a A::MultipleExpression<'a>)
DoWhile(&'a A::MultipleExpression<'a>)
Same as above but run the body first
For
Fields
§
initialiser: &'a Option<A::ForStatementInitiliser<'a>>
§
condition: &'a Option<A::MultipleExpression<'a>>
§
afterthought: &'a Option<A::MultipleExpression<'a>>
ForIn
ForOf
Trait Implementations§
source§impl<'a, A: Clone + ASTImplementation> Clone for IterationBehavior<'a, A>where
A::MultipleExpression<'a>: Clone,
A::ForStatementInitiliser<'a>: Clone,
A::VariableField<'a>: Clone,
A::Expression<'a>: Clone,
impl<'a, A: Clone + ASTImplementation> Clone for IterationBehavior<'a, A>where
A::MultipleExpression<'a>: Clone,
A::ForStatementInitiliser<'a>: Clone,
A::VariableField<'a>: Clone,
A::Expression<'a>: Clone,
source§fn clone(&self) -> IterationBehavior<'a, A>
fn clone(&self) -> IterationBehavior<'a, A>
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 moreimpl<'a, A: Copy + ASTImplementation> Copy for IterationBehavior<'a, A>where
A::MultipleExpression<'a>: Copy,
A::ForStatementInitiliser<'a>: Copy,
A::VariableField<'a>: Copy,
A::Expression<'a>: Copy,
Auto Trait Implementations§
impl<'a, A> Freeze for IterationBehavior<'a, A>
impl<'a, A> RefUnwindSafe for IterationBehavior<'a, A>where
<A as ASTImplementation>::MultipleExpression<'a>: RefUnwindSafe,
<A as ASTImplementation>::VariableField<'a>: RefUnwindSafe,
<A as ASTImplementation>::Expression<'a>: RefUnwindSafe,
<A as ASTImplementation>::ForStatementInitiliser<'a>: RefUnwindSafe,
impl<'a, A> Send for IterationBehavior<'a, A>where
<A as ASTImplementation>::MultipleExpression<'a>: Sync,
<A as ASTImplementation>::VariableField<'a>: Sync,
<A as ASTImplementation>::Expression<'a>: Sync,
<A as ASTImplementation>::ForStatementInitiliser<'a>: Sync,
impl<'a, A> Sync for IterationBehavior<'a, A>where
<A as ASTImplementation>::MultipleExpression<'a>: Sync,
<A as ASTImplementation>::VariableField<'a>: Sync,
<A as ASTImplementation>::Expression<'a>: Sync,
<A as ASTImplementation>::ForStatementInitiliser<'a>: Sync,
impl<'a, A> Unpin for IterationBehavior<'a, A>
impl<'a, A> UnwindSafe for IterationBehavior<'a, A>where
<A as ASTImplementation>::MultipleExpression<'a>: RefUnwindSafe,
<A as ASTImplementation>::VariableField<'a>: RefUnwindSafe,
<A as ASTImplementation>::Expression<'a>: RefUnwindSafe,
<A as ASTImplementation>::ForStatementInitiliser<'a>: RefUnwindSafe,
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