Struct InstanceSignature 

pub struct InstanceSignature {
    pub class: QualName,
    pub head: InstanceHead,
    pub context: Vec<Constraint>,
    pub module: ModuleName,
    pub span: NodeSpan,
}

What an instance declares that another module can see: everything but its body.

Fields

class: QualName

The class, named by the package and module that declared it.

head: InstanceHead

context: Vec<Constraint>

What the instance needs of the head’s variables, each on a variable the head binds: the constraints written in front of its =>, and, for a derived instance that writes none, the ones inferred from what the type holds (What a derived instance requires).

module: ModuleName

The module that declared the instance. An instance that reaches a module by two routes is recognised as one by it.

span: NodeSpan

Where the head line was written, instance through where, in the declaring module’s source.

Trait Implementations

impl Clone for InstanceSignature

fn clone(&self) -> InstanceSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InstanceSignature

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

Formats the value using the given formatter.

impl PartialEq for InstanceSignature

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InstanceSignature