Struct flux_middle::rty::AdtDef

pub struct AdtDef(Interned<AdtDefData>);

Tuple Fields

0: Interned<AdtDefData>

Implementations

impl AdtDef

pub fn new( rustc: AdtDef, sort_def: AdtSortDef, invariants: Vec<Invariant>, opaque: bool, ) -> Self

pub fn did(&self) -> DefId

pub fn sort_def(&self) -> &AdtSortDef

pub fn sort(&self, args: &[GenericArg]) -> Sort

pub fn is_box(&self) -> bool

pub fn is_enum(&self) -> bool

pub fn is_struct(&self) -> bool

pub fn is_union(&self) -> bool

pub fn variants(&self) -> &IndexSlice<VariantIdx, VariantDef>

pub fn variant(&self, idx: VariantIdx) -> &VariantDef

pub fn invariants(&self) -> &[Invariant]

pub fn discriminants(&self) -> impl Iterator<Item = (VariantIdx, u128)> + '_

pub fn is_opaque(&self) -> bool

Trait Implementations

impl Clone for AdtDef

fn clone(&self) -> AdtDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AdtDef

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

Formats the value using the given formatter.

impl<__D: TyDecoder> Decodable<__D> for AdtDef

fn decode(__decoder: &mut __D) -> Self

impl<__E: TyEncoder> Encodable<__E> for AdtDef

fn encode(&self, __encoder: &mut __E)

impl Hash for AdtDef

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

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 PartialEq for AdtDef

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for AdtDef

impl StructuralPartialEq for AdtDef