Struct Item 

pub struct Item {
    pub name: Arc<str>,
    pub bounds: Vec<(Arc<str>, Vec<Arc<str>>)>,
    pub kind: Kind,
    pub effects: Vec<Effect>,
    pub tier: Tier,
}

One published name.

Fields

name: Arc<str>

bounds: Vec<(Arc<str>, Vec<Arc<str>>)>

The trait bounds on this name’s type parameters. A bounded definition publishes the bound and not the dictionary parameters it was lowered with: those are named Trait::method@T and belong to the lowering rather than to the contract, and an importing module reconstructs them from the bound.

kind: Kind

effects: Vec<Effect>

The effect row, as atoms. A published row is always closed: §3.6 says boundaries are declared, and a row variable is an inference artefact that has no meaning outside the module that solved it.

tier: Tier

Trait Implementations

impl Clone for Item

fn clone(&self) -> Item

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Item

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

Formats the value using the given formatter.

impl PartialEq for Item

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Item

impl StructuralPartialEq for Item