Enum moore_vhdl::ty::Ty

pub enum Ty {
    Named(TyName, TypeMarkRef),
    Null,
    Int(IntTy),
    UniversalInt,
    UnboundedInt,
    Enum(EnumTy),
    Physical(PhysicalTy),
    Access(Box<Ty>),
    Array(ArrayTy),
    File(Box<Ty>),
    Record(RecordTy),
    Subprog(SubprogTy),
}

Variants

Named(TyName, TypeMarkRef)

A named type. In a signal declaration for example, the source code mentions the type of the signal. This type name is resolved to its actual declaration somewhere else in the source code. Thus this type acts as a sort of “pointer” to a type, together with information on how the source code referred to that type. This helps make error messages easier to read for the user.

Tuple Fields of Named

0: TyName1: TypeMarkRef

Null

The null type.

Int(IntTy)

An integer type.

Tuple Fields of Int

0: IntTy

UniversalInt

A universal integer type.

UnboundedInt

An unbounded integer type. This is the type integers have that are evaluated at compile time, e.g. as part of a range expression. Cannot be mapped to LLHD.

Enum(EnumTy)

An enumeration type.

Tuple Fields of Enum

0: EnumTy

Physical(PhysicalTy)

A physical type.

Tuple Fields of Physical

0: PhysicalTy

Access(Box<Ty>)

An access type.

Tuple Fields of Access

0: Box<Ty>

Array(ArrayTy)

An array type.

Tuple Fields of Array

0: ArrayTy

File(Box<Ty>)

A file type.

Tuple Fields of File

0: Box<Ty>

Record(RecordTy)

A record type.

Tuple Fields of Record

0: RecordTy

Subprog(SubprogTy)

A subprogram type.

Tuple Fields of Subprog

0: SubprogTy

Implementations

impl Ty

pub fn kind_desc(&self) -> &'static str

Provide a textual description of the kind of type. For example, if called on an integer type, the result is "integer type", without any information on the exact nature of the integer.

pub fn is_int(&self) -> bool

Check if this type is an integer.

pub fn is_real(&self) -> bool

Check if this type is a real.

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Display for Ty

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

Formats the value using the given formatter.

impl<'ctx> From<&'ctx Ty> for TypeCtx<'ctx>

fn from(ty: &'ctx Ty) -> TypeCtx<'ctx>

Performs the conversion.

impl From<ArrayTy> for Ty

fn from(t: ArrayTy) -> Ty

Performs the conversion.

impl From<EnumTy> for Ty

fn from(t: EnumTy) -> Ty

Performs the conversion.

impl From<IntTy> for Ty

fn from(t: IntTy) -> Ty

Performs the conversion.

impl From<PhysicalTy> for Ty

fn from(t: PhysicalTy) -> Ty

Performs the conversion.

impl From<RecordTy> for Ty

fn from(t: RecordTy) -> Ty

Performs the conversion.

impl From<SubprogTy> for Ty

fn from(t: SubprogTy) -> Ty

Performs the conversion.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfConstRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfConstRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfFileRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfFileRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfObjRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfObjRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfSignalRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfSignalRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfVarRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfVarRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<LatentTypeMarkRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: LatentTypeMarkRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<SignalRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: SignalRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<SubtypeDeclRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: SubtypeDeclRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<SubtypeIndRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: SubtypeIndRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<TypeDeclRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: TypeDeclRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<TypeMarkRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: TypeMarkRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<TypedNodeRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: TypedNodeRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl PartialEq<Ty> for Ty

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

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

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

This method tests for !=.

impl Eq for Ty

impl StructuralEq for Ty

impl StructuralPartialEq for Ty