Enum moore_svlog::hir::TypeKind

pub enum TypeKind {
    Implicit,
    Builtin(BuiltinType),
    Named(Spanned<Name>),
    Struct(Vec<NodeId>),
    PackedArray(Box<TypeKind>, NodeId, NodeId),
    Scope(NodeId, Spanned<Name>),
    Enum(Vec<(Spanned<Name>, NodeId)>, Option<NodeId>),
}

The different forms a type can take.

Variants

Implicit

An implicit type.

Builtin(BuiltinType)

A builtin type.

Named(Spanned<Name>)

A named type.

Struct(Vec<NodeId>)

A struct or union type.

PackedArray(Box<TypeKind>, NodeId, NodeId)

A packed array such as bit [31:0].

Represented as (inner_type, range_lhs, range_rhs).

Scope(NodeId, Spanned<Name>)

A scope access such as foo::bar.

Enum(Vec<(Spanned<Name>, NodeId)>, Option<NodeId>)

An enum type.

Each element in the vector refers to a EnumVariant. The optional field indicates the representation type.

Trait Implementations

impl Clone for TypeKind

fn clone(&self) -> TypeKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeKind

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

Formats the value using the given formatter.

impl Eq for TypeKind

impl HasDesc for TypeKind

fn desc(&self) -> &'static str

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node's name.

impl PartialEq<TypeKind> for TypeKind

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

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

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

This method tests for !=.

impl StructuralEq for TypeKind

impl StructuralPartialEq for TypeKind