Enum charon_lib::ast::types::TypeDeclKind

pub enum TypeDeclKind {
    Struct(Vector<FieldId, Field>),
    Enum(Vector<VariantId, Variant>),
    Union(Vector<FieldId, Field>),
    Opaque,
    Alias(Ty),
    Error(String),
}

Variants

Struct(Vector<FieldId, Field>)

Enum(Vector<VariantId, Variant>)

Union(Vector<FieldId, Field>)

Opaque

An opaque type.

Either a local type marked as opaque, or an external type.

Alias(Ty)

An alias to another type. This only shows up in the top-level list of items, as rustc inlines uses of type aliases everywhere else.

Error(String)

Used if an error happened during the extraction, and we don’t panic on error.

Implementations

impl TypeDeclKind

pub fn is_struct(&self) -> bool

pub fn is_enum(&self) -> bool

pub fn is_union(&self) -> bool

pub fn is_opaque(&self) -> bool

pub fn is_alias(&self) -> bool

pub fn is_error(&self) -> bool

impl TypeDeclKind

pub fn as_struct(&self) -> Option<&Vector<FieldId, Field>>

pub fn as_enum(&self) -> Option<&Vector<VariantId, Variant>>

pub fn as_union(&self) -> Option<&Vector<FieldId, Field>>

pub fn as_opaque(&self) -> Option<()>

pub fn as_alias(&self) -> Option<&Ty>

pub fn as_error(&self) -> Option<&String>

impl TypeDeclKind

pub fn as_struct_mut(&mut self) -> Option<&mut Vector<FieldId, Field>>

pub fn as_enum_mut(&mut self) -> Option<&mut Vector<VariantId, Variant>>

pub fn as_union_mut(&mut self) -> Option<&mut Vector<FieldId, Field>>

pub fn as_opaque_mut(&mut self) -> Option<()>

pub fn as_alias_mut(&mut self) -> Option<&mut Ty>

pub fn as_error_mut(&mut self) -> Option<&mut String>

Trait Implementations

impl Clone for TypeDeclKind

fn clone(&self) -> TypeDeclKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDeclKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeDeclKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for TypeDeclKind

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for TypeDeclKind

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Serialize for TypeDeclKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.