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.

Null

The null type.

Int(IntTy)

An integer type.

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.

Physical(PhysicalTy)

A physical type.

Access(Box<Ty>)

An access type.

Array(ArrayTy)

An array type.

File(Box<Ty>)

A file type.

Record(RecordTy)

A record type.

Subprog(SubprogTy)

A subprogram type.

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

pub fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Display for Ty

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

Formats the value using the given formatter.

impl Eq for Ty

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

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

Performs the conversion.

impl From<ArrayTy> for Ty

pub fn from(t: ArrayTy) -> Ty

Performs the conversion.

impl From<EnumTy> for Ty

pub fn from(t: EnumTy) -> Ty

Performs the conversion.

impl From<IntTy> for Ty

pub fn from(t: IntTy) -> Ty

Performs the conversion.

impl From<PhysicalTy> for Ty

pub fn from(t: PhysicalTy) -> Ty

Performs the conversion.

impl From<RecordTy> for Ty

pub fn from(t: RecordTy) -> Ty

Performs the conversion.

impl From<SubprogTy> for Ty

pub fn from(t: SubprogTy) -> Ty

Performs the conversion.

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

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

pub 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>

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

Creates the node with the given ID.

impl PartialEq<Ty> for Ty

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

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

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

This method tests for !=.

impl StructuralEq for Ty

impl StructuralPartialEq for Ty