Enum moore_svlog::ty::PackedCore

pub enum PackedCore<'a> {
    Error,
    Void,
    IntVec(IntVecType),
    IntAtom(IntAtomType),
    Struct(StructType<'a>),
    Enum(EnumType<'a>),
    Named {
        name: Spanned<Name>,
        ty: &'a PackedType<'a>,
    },
    Ref {
        span: Span,
        ty: &'a PackedType<'a>,
    },
}

A core packed type.

Variants

Error

An error occurred during type computation.

Void

Void.

IntVec(IntVecType)

An integer vector type.

Tuple Fields of IntVec

0: IntVecType

IntAtom(IntAtomType)

An integer atom type.

Tuple Fields of IntAtom

0: IntAtomType

Struct(StructType<'a>)

A packed struct.

Tuple Fields of Struct

0: StructType<'a>

Enum(EnumType<'a>)

An enum.

Tuple Fields of Enum

0: EnumType<'a>

Named

A named type.

Fields of Named

name: Spanned<Name>

How the user originally called the type.

ty: &'a PackedType<'a>

The type this name expands to.

Ref

A type reference.

Fields of Ref

span: Span

Location of the type(...) in the source file.

ty: &'a PackedType<'a>

The type that this reference expands to.

Implementations

impl<'a> PackedCore<'a>

pub fn is_error(&self) -> bool

Check if this is a tombstone.

pub fn default_sign(&self) -> Sign

Get the default sign for this type.

pub fn is_identical(&self, other: &Self) -> bool

Check if this type is identical to another one.

Trait Implementations

impl<'a> Clone for PackedCore<'a>

fn clone(&self) -> PackedCore<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for PackedCore<'a>

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

Formats the value using the given formatter.

impl Display for PackedCore<'_>

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

Formats the value using the given formatter.

impl<'a> From<EnumType<'a>> for PackedCore<'a>

fn from(inner: EnumType<'a>) -> Self

Performs the conversion.

impl<'a> From<IntAtomType> for PackedCore<'a>

fn from(inner: IntAtomType) -> Self

Performs the conversion.

impl<'a> From<IntVecType> for PackedCore<'a>

fn from(inner: IntVecType) -> Self

Performs the conversion.

impl<'a> From<StructType<'a>> for PackedCore<'a>

fn from(inner: StructType<'a>) -> Self

Performs the conversion.

impl<'a> Hash for PackedCore<'a>

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, 

Feeds a slice of this type into the given Hasher.

impl<'a> PartialEq<PackedCore<'a>> for PackedCore<'a>

fn eq(&self, other: &PackedCore<'a>) -> bool

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

fn ne(&self, other: &PackedCore<'a>) -> bool

This method tests for !=.

impl<'a> Eq for PackedCore<'a>

impl<'a> StructuralEq for PackedCore<'a>

impl<'a> StructuralPartialEq for PackedCore<'a>