Struct SolvedInstance 

pub struct SolvedInstance {
    pub head: Type,
    pub context: Vec<Predicate>,
    pub bindings: Vec<(Name, Solved)>,
    pub rejected: bool,
}

What the typer has to say about one instance declaration: the type it is for, what it needs, and an answer for each binding of its body.

Fields

head: Type

The type the instance is for, over variables of its own: Instance::head.

context: Vec<Predicate>

What the instance needs of the head’s variables: Instance::context.

bindings: Vec<(Name, Solved)>

An answer for every binding of the instance, by the member it defines, in the order the instance holds them.

rejected: bool

Whether the instance’s own check failed: Instance::rejected.

Trait Implementations

impl Debug for SolvedInstance

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

Formats the value using the given formatter.