hax_frontend_exporter

Type Alias BasicBlocks

source
pub type BasicBlocks = IndexVec<BasicBlock, BasicBlockData>;

Aliased Type§

struct BasicBlocks {
    pub raw: Vec<BasicBlockData>,
    _marker: PhantomData<fn(_: &BasicBlock)>,
}

Fields§

§raw: Vec<BasicBlockData>§_marker: PhantomData<fn(_: &BasicBlock)>

Implementations

source§

impl<I: Idx, T: Sized> IndexVec<I, T>

Trait Implementations

source§

impl<I: Clone + 'static, T: Clone + 'static> Clone for IndexVec<I, T>

source§

fn clone(&self) -> IndexVec<I, T>

Returns a copy 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<I: Debug + 'static, T: Debug + 'static> Debug for IndexVec<I, T>

source§

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

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

impl<I: Idx, T: Sized> DerefMut for IndexVec<I, T>

source§

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.
source§

impl<'de, I: 'static, T> Deserialize<'de> for IndexVec<I, T>
where T: Deserialize<'de> + 'static,

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<I: Idx, T> From<IndexVec<I, T>> for IndexVec<I, T>

source§

fn from(val: IndexVec<I, T>) -> Self

Converts to this type from the input type.
source§

impl<I, T> FromIterator<T> for IndexVec<I, T>
where I: Idx,

source§

fn from_iter<It: IntoIterator<Item = T>>(iter: It) -> Self

Creates a value from an iterator. Read more
source§

impl<I: Hash + 'static, T: Hash + 'static> Hash for IndexVec<I, T>

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<I: 'static + JsonSchema, T: 'static + JsonSchema> JsonSchema for IndexVec<I, T>

source§

fn schema_name() -> String

The name of the generated JSON Schema. Read more
source§

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type. Read more
source§

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type. Read more
source§

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword. Read more
source§

impl<I: Ord + 'static, T: Ord + 'static> Ord for IndexVec<I, T>

source§

fn cmp(&self, other: &IndexVec<I, T>) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
source§

impl<I: PartialEq + 'static, T: PartialEq + 'static> PartialEq for IndexVec<I, T>

source§

fn eq(&self, other: &IndexVec<I, T>) -> 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<I: PartialOrd + 'static, T: PartialOrd + 'static> PartialOrd for IndexVec<I, T>

source§

fn partial_cmp(&self, other: &IndexVec<I, T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl<I: 'static, T> Serialize for IndexVec<I, T>
where T: Serialize + 'static,

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl<I: Idx, T: Sized> Deref for IndexVec<I, T>

source§

type Target = IndexSlice<I, T>

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.
source§

impl<I: Eq + 'static, T: Eq + 'static> Eq for IndexVec<I, T>

source§

impl<I: 'static, T: 'static> StructuralPartialEq for IndexVec<I, T>