Enum moore_vhdl::score::TypeCtx

pub enum TypeCtx<'ctx> {
    Type(&'ctx Ty),
    TypeOf(TypedNodeRef),
    Inherit(NodeId),
}

The type requirements imposed upon an expression by its context. This is needed for overload resolution, where the type of the overload to be picked is determined by the context in which the expression appears.

Variants

Type(&'ctx Ty)

The exact type the expression must have.

Tuple Fields of Type

0: &'ctx Ty

TypeOf(TypedNodeRef)

The node whose type the expression must match.

Tuple Fields of TypeOf

0: TypedNodeRef

Inherit(NodeId)

The node whose type context the expression must inherit.

Tuple Fields of Inherit

0: NodeId

Trait Implementations

impl<'ctx> Clone for TypeCtx<'ctx>

fn clone(&self) -> TypeCtx<'ctx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'ctx> Debug for TypeCtx<'ctx>

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<'ctx, T> From<T> for TypeCtx<'ctx> where
    TypedNodeRef: From<T>, 

fn from(id: T) -> TypeCtx<'ctx>

Performs the conversion.

impl<'ctx> PartialEq<TypeCtx<'ctx>> for TypeCtx<'ctx>

fn eq(&self, other: &TypeCtx<'ctx>) -> bool

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

fn ne(&self, other: &TypeCtx<'ctx>) -> bool

This method tests for !=.

impl<'ctx> Copy for TypeCtx<'ctx>

impl<'ctx> Eq for TypeCtx<'ctx>

impl<'ctx> StructuralEq for TypeCtx<'ctx>

impl<'ctx> StructuralPartialEq for TypeCtx<'ctx>