Skip to main content

ExprProperties

haloumi_ir::expr

Struct ExprProperties 

Source 
pub struct ExprProperties(/* private fields */);
Expand description

Set of properties for expressions.

Implementations§

Source§

impl ExprProperties

Source

pub fn new() -> Self

Creates a new property set.

Source

pub fn with(prop: ExprProperty) -> Self

Creates a new property set with only one property.

Trait Implementations§

Source§

impl BitAnd<ExprProperty> for ExprProperties

Source§

type Output = ExprProperties

The resulting type after applying the & operator.
Source§

fn bitand(self, rhs: ExprProperty) -> Self::Output

Performs the & operation. Read more
Source§

impl BitAnd for ExprProperties

Source§

type Output = ExprProperties

The resulting type after applying the & operator.
Source§

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation. Read more
Source§

impl BitAndAssign<ExprProperty> for ExprProperties

Source§

fn bitand_assign(&mut self, rhs: ExprProperty)

Performs the &= operation. Read more
Source§

impl BitAndAssign for ExprProperties

Source§

fn bitand_assign(&mut self, rhs: Self)

Performs the &= operation. Read more
Source§

impl BitOr<ExprProperties> for ExprProperty

Source§

type Output = ExprProperties

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: ExprProperties) -> Self::Output

Performs the | operation. Read more
Source§

impl BitOr<ExprProperty> for ExprProperties

Source§

type Output = ExprProperties

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: ExprProperty) -> Self::Output

Performs the | operation. Read more
Source§

impl BitOr for ExprProperties

Source§

type Output = ExprProperties

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation. Read more
Source§

impl BitOrAssign<ExprProperty> for ExprProperties

Source§

fn bitor_assign(&mut self, rhs: ExprProperty)

Performs the |= operation. Read more
Source§

impl BitOrAssign for ExprProperties

Source§

fn bitor_assign(&mut self, rhs: Self)

Performs the |= operation. Read more
Source§

impl Clone for ExprProperties

Source§

fn clone(&self) -> ExprProperties

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ExprProperties

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for ExprProperties

Source§

fn default() -> ExprProperties

Returns the “default value” for a type. Read more
Source§

impl Evaluate<ExprProperties> for IRAexpr

Source§

fn evaluate(&self) -> ExprProperties

Evaluate the IR object and return a result.
Source§

impl<T: Evaluate<ExprProperties>> Evaluate<ExprProperties> for IRBexpr<T>

Source§

fn evaluate(&self) -> ExprProperties

Evaluate the IR object and return a result.
Source§

impl From<ExprProperty> for ExprProperties

Source§

fn from(value: ExprProperty) -> Self

Converts to this type from the input type.
Source§

impl Hash for ExprProperties

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq<ExprProperties> for ExprProperty

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl PartialEq<ExprProperty> for ExprProperties

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl PartialEq for ExprProperties

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Product<ExprProperty> for ExprProperties

Source§

fn product<I: Iterator<Item = ExprProperty>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.
Source§

impl Product for ExprProperties

Source§

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.
Source§

impl Sum<ExprProperty> for ExprProperties

Source§

fn sum<I: Iterator<Item = ExprProperty>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.
Source§

impl Sum for ExprProperties

Source§

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.
Source§

impl Eq for ExprProperties

Source§

impl StructuralPartialEq for ExprProperties

Auto Trait Implementations§

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> Conv for T

Source§

fn conv<T>(self) -> T
where Self: Into<T>,

Converts self into T using Into<T>. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T, O> EquivalentTo<O> for T

Source§

fn is_equiv<E>(&self, other: &O) -> bool
where E: EqvRelation<T, O>,

Returns true if self is equivalent to other.
Source§

impl<L, R, E> EqvRelation<&[L], &[R]> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &&[L], rhs: &&[R]) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E> EqvRelation<&L, &R> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &&L, rhs: &&R) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E> EqvRelation<&mut L, &mut R> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &&mut L, rhs: &&mut R) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E, const N: usize> EqvRelation<[L; N], [R; N]> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &[L; N], rhs: &[R; N]) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E> EqvRelation<Box<L>, Box<R>> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &Box<L>, rhs: &Box<R>) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<'l, 'r, L, R, E> EqvRelation<Cow<'l, L>, Cow<'r, R>> for E
where L: ToOwned, R: ToOwned, E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &Cow<'l, L>, rhs: &Cow<'r, R>) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E> EqvRelation<Option<L>, Option<R>> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &Option<L>, rhs: &Option<R>) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E> EqvRelation<Rc<L>, Rc<R>> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &Rc<L>, rhs: &Rc<R>) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, LErr, R, RErr, E> EqvRelation<Result<L, LErr>, Result<R, RErr>> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &Result<L, LErr>, rhs: &Result<R, RErr>) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<L, R, E> EqvRelation<Vec<L>, Vec<R>> for E
where E: EqvRelation<L, R>,

Source§

fn equivalent(lhs: &Vec<L>, rhs: &Vec<R>) -> bool

Returns true if L and R are equivalent under the implementation’s definition of equivalency.
Source§

impl<T> FmtForward for T

Source§

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.
Source§

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

Causes self to use its Display implementation when Debug-formatted.
Source§

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.
Source§

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.
Source§

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.
Source§

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.
Source§

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.
Source§

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.
Source§

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. 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> Pipe for T
where T: ?Sized,

Source§

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

Pipes by value. This is generally the method you want to use. Read more
Source§

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

Borrows self and passes that borrow into the pipe function. Read more
Source§

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more
Source§

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more
Source§

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
where Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
Source§

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.
Source§

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.
Source§

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.
Source§

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.
Source§

impl<T> Tap for T

Source§

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more
Source§

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more
Source§

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more
Source§

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more
Source§

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more
Source§

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more
Source§

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more
Source§

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more
Source§

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.
Source§

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.
Source§

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.
Source§

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.
Source§

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> TryConv for T

Source§

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more
Source§

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

Source§

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>,

Source§

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.