Struct melior::dialect::ods::scf::ForallOperationBuilder

source · 
pub struct ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> { /* private fields */ }
Expand description

A builder for a forall operation.

Implementations§

source§

impl<'c> ForallOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset, Unset, Unset, Unset, Unset>

source

pub fn new(context: &'c Context, location: Location<'c>) -> Self

source§

impl<'c, T1, T2, T3, T4, T5, T6, T7, T8> ForallOperationBuilder<'c, Unset, T1, T2, T3, T4, T5, T6, T7, T8>

source

pub fn results( self, results: &[Type<'c>] ) -> ForallOperationBuilder<'c, Set, T1, T2, T3, T4, T5, T6, T7, T8>

source§

impl<'c, T0, T2, T3, T4, T5, T6, T7, T8> ForallOperationBuilder<'c, T0, Unset, T2, T3, T4, T5, T6, T7, T8>

source

pub fn dynamic_lower_bound( self, dynamic_lower_bound: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, Set, T2, T3, T4, T5, T6, T7, T8>

source§

impl<'c, T0, T1, T3, T4, T5, T6, T7, T8> ForallOperationBuilder<'c, T0, T1, Unset, T3, T4, T5, T6, T7, T8>

source

pub fn dynamic_upper_bound( self, dynamic_upper_bound: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, T1, Set, T3, T4, T5, T6, T7, T8>

source§

impl<'c, T0, T1, T2, T4, T5, T6, T7, T8> ForallOperationBuilder<'c, T0, T1, T2, Unset, T4, T5, T6, T7, T8>

source

pub fn dynamic_step( self, dynamic_step: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, T1, T2, Set, T4, T5, T6, T7, T8>

source§

impl<'c, T0, T1, T2, T3, T5, T6, T7, T8> ForallOperationBuilder<'c, T0, T1, T2, T3, Unset, T5, T6, T7, T8>

source

pub fn outputs( self, outputs: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, T1, T2, T3, Set, T5, T6, T7, T8>

source§

impl<'c, T0, T1, T2, T3, T4, T6, T7, T8> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, Unset, T6, T7, T8>

source

pub fn region( self, region: Region<'c> ) -> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, Set, T6, T7, T8>

source§

impl<'c, T0, T1, T2, T3, T4, T5, T7, T8> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, Unset, T7, T8>

source

pub fn static_lower_bound( self, static_lower_bound: Attribute<'c> ) -> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, Set, T7, T8>

source§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T8> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, Unset, T8>

source

pub fn static_upper_bound( self, static_upper_bound: Attribute<'c> ) -> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, Set, T8>

source§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, Unset>

source

pub fn static_step( self, static_step: Attribute<'c> ) -> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, Set>

source§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>

source

pub fn mapping( self, mapping: ArrayAttribute<'c> ) -> ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>

source§

impl<'c> ForallOperationBuilder<'c, Set, Set, Set, Set, Set, Set, Set, Set, Set>

source

pub fn build(self) -> ForallOperation<'c>

Auto Trait Implementations§

§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> RefUnwindSafe for ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>
where T0: RefUnwindSafe, T1: RefUnwindSafe, T2: RefUnwindSafe, T3: RefUnwindSafe, T4: RefUnwindSafe, T5: RefUnwindSafe, T6: RefUnwindSafe, T7: RefUnwindSafe, T8: RefUnwindSafe,

§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> !Send for ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>

§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> !Sync for ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>

§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> Unpin for ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>
where T0: Unpin, T1: Unpin, T2: Unpin, T3: Unpin, T4: Unpin, T5: Unpin, T6: Unpin, T7: Unpin, T8: Unpin,

§

impl<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8> UnwindSafe for ForallOperationBuilder<'c, T0, T1, T2, T3, T4, T5, T6, T7, T8>
where T0: UnwindSafe, T1: UnwindSafe, T2: UnwindSafe, T3: UnwindSafe, T4: UnwindSafe, T5: UnwindSafe, T6: UnwindSafe, T7: UnwindSafe, T8: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.