Enum Subject 

pub enum Subject {
    Declaration(QualName),
    InstanceMember {
        class: QualName,
        head: HeadName,
        member: Name,
    },
}

What a Specialisation is a copy of.

Variants

Declaration(QualName)

A declaration whose annotation has a constraint, named in full.

InstanceMember

A member of an instance that has a context, which is itself a constrained function: what it asks of the head’s variables is what the instance’s context asks.

An instance is identified by its class and the name at the front of its head (HeadName), so those and the member are the whole of the identity.

Fields

class: QualName

head: HeadName

member: Name

Trait Implementations

impl Clone for Subject

fn clone(&self) -> Subject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Subject

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

Formats the value using the given formatter.

impl Eq for Subject

impl Hash for Subject

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Subject

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Subject