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.

TypeOf(TypedNodeRef)

The node whose type the expression must match.

Inherit(NodeId)

The node whose type context the expression must inherit.

Trait Implementations

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

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, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

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

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

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

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

This method tests for !=.

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

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.