Struct AtomicallyBlock 

pub struct AtomicallyBlock {
    pub label: Option<Label>,
    pub atomically_token: Atomically,
    pub loop_token: Option<Loop>,
    pub or1_token: Or,
    pub update_fn_binder: Ident,
    pub comma_token: Option<Comma>,
    pub or2_token: Or,
    pub spec_au_binder: ReturnPat,
    pub invariant_except_breaks: Option<InvariantExceptBreak>,
    pub invariants: Option<Invariant>,
    pub ensures: Option<Ensures>,
    pub body: Box<Block>,
}

Fields

label: Option<Label>

atomically_token: Atomically

loop_token: Option<Loop>

or1_token: Or

update_fn_binder: Ident

comma_token: Option<Comma>

or2_token: Or

spec_au_binder: ReturnPat

invariant_except_breaks: Option<InvariantExceptBreak>

invariants: Option<Invariant>

ensures: Option<Ensures>

body: Box<Block>

Trait Implementations

impl Clone for AtomicallyBlock

Available on crate feature clone-impls only.

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AtomicallyBlock

Available on crate feature extra-traits only.

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for AtomicallyBlock

Available on crate feature extra-traits only.

impl Hash for AtomicallyBlock

Available on crate feature extra-traits only.

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for AtomicallyBlock

fn parse(input: ParseStream<'_>) -> Result<Self>

impl PartialEq for AtomicallyBlock

Available on crate feature extra-traits only.

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl ToTokens for AtomicallyBlock

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.