Struct moore_vhdl::overload_resolver::SignatureReq

pub struct SignatureReq<'ctx> {
    pub return_type: TypeReq<'ctx>,
    pub positional: Vec<TypeReq<'ctx>>,
    pub named: HashMap<Name, TypeReq<'ctx>>,
}

A signature requirement on an overloaded entity.

Fields

return_type: TypeReq<'ctx>

The required return type.

positional: Vec<TypeReq<'ctx>>

The required type of the positional arguments.

named: HashMap<Name, TypeReq<'ctx>>

The required type of the named arguments.

Implementations

impl<'ctx> SignatureReq<'ctx>

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

Check if a type matches this requirement.

Trait Implementations

impl<'ctx> Debug for SignatureReq<'ctx>

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

Formats the value using the given formatter.