Enum Written 

pub enum Written {
    Annotation,
    InstanceContext,
    MemberSignature,
    Derivation,
}

What a constraint would have to be written in, for ErrorKind::MissingConstraint.

Variants

Annotation

A declaration’s annotation.

InstanceContext

An instance’s context.

MemberSignature

The signature of the class member an instance’s binding defines: the variable is one the member’s signature binds and the instance’s head does not, so no context of the instance can constrain it.

Derivation

A derivation’s binding, which is given no context: none of its bindings mentions the class variable, so they stand for every type that derives the class.

Trait Implementations

impl Clone for Written

fn clone(&self) -> Written

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Written

impl Debug for Written

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

Formats the value using the given formatter.

impl Eq for Written

impl PartialEq for Written

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Written