Enum cl_typeck::definition::Adt

pub enum Adt {
    Enum(Vec<(Sym, Option<DefID>)>),
    CLikeEnum(Vec<(Sym, u128)>),
    FieldlessEnum,
    Struct(Vec<(Sym, Visibility, DefID)>),
    TupleStruct(Vec<(Visibility, DefID)>),
    UnitStruct,
    Union(Vec<(Sym, DefID)>),
}

A user-defined Aromatic Data Type

Variants

Enum(Vec<(Sym, Option<DefID>)>)

A union-like enum type

CLikeEnum(Vec<(Sym, u128)>)

A C-like enum

FieldlessEnum

An enum with no fields, which can never be constructed

Struct(Vec<(Sym, Visibility, DefID)>)

A structural product type with named members

TupleStruct(Vec<(Visibility, DefID)>)

A structural product type with unnamed members

UnitStruct

A structural product type of neither named nor unnamed members

Union(Vec<(Sym, DefID)>)

A choose your own undefined behavior type TODO: should unions be a language feature?

Trait Implementations

impl Clone for Adt

fn clone(&self) -> Adt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Adt

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

Formats the value using the given formatter.

impl Display for Adt

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

Formats the value using the given formatter.

impl Hash for Adt

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 Adt

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Adt

impl StructuralPartialEq for Adt