Struct Derivation 

pub struct Derivation {
    pub member: Name,
    pub result: Type,
    pub bindings: DerivationBindings,
    pub span: NodeSpan,
}

A derivation in a class body, once it has passed the checks a derivation is held to: derived eq and the bindings under it.

Fields

member: Name

The member it is for.

result: Type

R, the type the member answers with: what matched, atConstructor and combine produce, and the type of the member’s signature once its class-variable parameters are taken off.

bindings: DerivationBindings

The bindings the member’s signature calls for, canonicalized as ordinary values.

span: NodeSpan

Where derived name was written.

Trait Implementations

impl Clone for Derivation

fn clone(&self) -> Derivation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Derivation

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

Formats the value using the given formatter.

impl PartialEq for Derivation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Derivation