Struct Component 

pub struct Component<'a> {
    pub uvars: Vec<BoundedTyvar<'a>>,
    pub imports: Vec<ExternDecl<'a>>,
    pub instance: QualifiedInstance<'a>,
}

componenttype_e in the specification

Fields

uvars: Vec<BoundedTyvar<'a>>

Universal variables over which this component is parameterized (which may be referred to by imports). These are stored in “outside-in” order that matches how they would be written on paper: de Bruijn index Bound(0) in the imports is the last element in the list, and later elements can depend on earlier ones.

imports: Vec<ExternDecl<'a>>

instance: QualifiedInstance<'a>

Since we already have QualifiedInstance, we use that to keep track of both the evars and the actual instance, unlike in the spec; this is quite natural, since during inference the evars are generated by the exports. However, they conceptually belong here as much as there: instantiating a component should add them to the context as non-imported uvars and produce an Instance, rather than a QualifiedInstance directly.

Trait Implementations

impl<'a> Clone for Component<'a>

fn clone(&self) -> Component<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Component<'a>

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

Formats the value using the given formatter.