Enum moore_vhdl::overload_resolver::TypeReq

pub enum TypeReq<'ctx> {
    Any,
    One(&'ctx Ty),
    Many(Vec<&'ctx Ty>),
}

A type requirement on an overloaded entity.

Variants

Any

Matches any type.

One(&'ctx Ty)

Matches one specific type.

Tuple Fields of One

0: &'ctx Ty

Many(Vec<&'ctx Ty>)

Matches several specific types.

Tuple Fields of Many

0: Vec<&'ctx Ty>

Implementations

impl<'ctx> TypeReq<'ctx>

pub fn is_any(&self) -> bool

Check if this type requirement matches any type.

pub fn matches(&self, ty: &Ty) -> bool

Check if a type matches this requirement.

Trait Implementations

impl<'ctx> Debug for TypeReq<'ctx>

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

Formats the value using the given formatter.

impl<'ctx> Default for TypeReq<'ctx>

fn default() -> TypeReq<'ctx>

Returns the “default value” for a type.