Struct ValueSignature 

pub struct ValueSignature {
    pub span: NodeSpan,
    pub context: Vec<Constraint>,
    pub tpe: Type,
}

What an Interface publishes of a value: where it was declared, its type, and the constraints its annotation wrote in front of that type.

One struct rather than a map per field, so an entry cannot have a type and lack the context it was written with: an importer’s call to a constrained function is checked against this entry, and an empty context here means the function is unconstrained.

Fields

span: NodeSpan

Where the declaration (annotation and body together) was written — Value::span — so a diagnostic about a name found in an interface can point at the declaration, not just name it.

context: Vec<Constraint>

The annotation’s resolved constraints, in the order written.

tpe: Type

Implementations

impl ValueSignature

pub fn unconstrained(span: NodeSpan, tpe: Type) -> ValueSignature

The signature of a value declared at span with the type tpe and no constraint.

Trait Implementations

impl Clone for ValueSignature

fn clone(&self) -> ValueSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueSignature

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

Formats the value using the given formatter.

impl PartialEq for ValueSignature

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValueSignature