Struct TypeInfo

pub struct TypeInfo {
    pub depth: u32,
    pub ty: Ty<SemId>,
    pub fqn: Option<TypeFqn>,
    pub item: Option<ItemCase>,
    pub nested: TinyVec<NestedCase>,
}

Fields

depth: u32

ty: Ty<SemId>

fqn: Option<TypeFqn>

item: Option<ItemCase>

nested: TinyVec<NestedCase>

Trait Implementations

impl Clone for TypeInfo

fn clone(&self) -> TypeInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeInfo

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

Formats the value using the given formatter.

impl PartialEq for TypeInfo

fn eq(&self, other: &TypeInfo) -> 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 StrictDecode for TypeInfo

fn strict_decode(reader: &mut impl TypedRead) -> Result<Self, DecodeError>

fn strict_read(reader: impl ReadRaw) -> Result<Self, DecodeError>

impl StrictDumb for TypeInfo

fn strict_dumb() -> Self

impl StrictEncode for TypeInfo

fn strict_encode<W: TypedWrite>(&self, writer: W) -> Result<W>

fn strict_write(&self, writer: impl WriteRaw) -> Result<(), Error>

impl StrictStruct for TypeInfo

const ALL_FIELDS: &'static [&'static str]

fn strict_check_fields()

fn strict_type_info() -> TypeInfo<Self>

impl StrictType for TypeInfo

const STRICT_LIB_NAME: &'static str = STRICT_TYPES_LIB

fn strict_name() -> Option<TypeName>

impl Eq for TypeInfo

impl StrictProduct for TypeInfo

impl StructuralPartialEq for TypeInfo