Struct ImplSig 

pub struct ImplSig {
    pub trait_name: Arc<str>,
    pub params: Vec<Arc<str>>,
    pub target: Ty,
    pub effects: Vec<(Arc<str>, Vec<Effect>)>,
}

A published impl Trait for Type.

There is no body here and there never will be: an importing module needs to know that the implementation exists and what its signature is, and the implementation itself stays where it was written.

Fields

trait_name: Arc<str>

params: Vec<Arc<str>>

The impl’s own type parameters: ["T"] for impl[T] Priced for Bundle[T].

target: Ty

The target, with those parameters as rigid names — Bundle[T].

effects: Vec<(Arc<str>, Vec<Effect>)>

What each method actually performs, by name, for the methods that perform anything.

The trait declares an abstract signature; this impl’s methods may be more effectful than it (docs/47), so a caller in another module cannot take the row off the trait. It has to be published with the impl, and this is where it crosses. Empty rows are omitted: most impls are pure and a .becki full of uses clauses saying nothing is a .becki nobody reviews.

Implementations

impl ImplSig

pub fn head(&self) -> Arc<str>

The head constructor dispatch keys on.

Trait Implementations

impl Clone for ImplSig

fn clone(&self) -> ImplSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImplSig

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

Formats the value using the given formatter.

impl PartialEq for ImplSig

fn eq(&self, other: &ImplSig) -> 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 ImplSig

impl StructuralPartialEq for ImplSig