Struct Constraint 

pub struct Constraint {
    pub class: QualName,
    pub variable: Name,
    pub span: NodeSpan,
}

A constraint: a class, resolved to its declaration, and the type variable it is on.

What a class head’s superclasses, an instance’s context and an annotation’s context are made of.

Fields

class: QualName

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

variable: Name

The type variable the class is required of.

span: NodeSpan

Where the constraint was written.

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl PartialEq for Constraint

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Constraint