Struct ContentBinding 

pub struct ContentBinding<K: Kind> { /* private fields */ }

One kind’s content bound to the exact captured declaration and owner-qualified kind it was presented under.

Holding one proves the compiler derived the content commitment from all three together. It claims nothing about whether the content is a correct semantic reading of the captured declaration; that is the declaring adapter’s authority.

Implementations

impl<K: Kind> ContentBinding<K>

pub const fn capture(&self) -> Identity<CapturedDeclaration>

The captured declaration this content was bound under.

pub const fn kind(&self) -> Identity<ProjectionKind>

The owner-qualified kind this content was bound as.

pub const fn commitment(&self) -> Identity<ProjectionContent>

The commitment over this content’s canonical bytes.

pub const fn content(&self) -> &K::Content

The exact kind-specific content the binding carries.

Trait Implementations

impl<K: Clone + Kind> Clone for ContentBinding<K>

where K::Content: Clone,

fn clone(&self) -> ContentBinding<K>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<K: Debug + Kind> Debug for ContentBinding<K>

where K::Content: Debug,

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

Formats the value using the given formatter.

impl<K: Eq + Kind> Eq for ContentBinding<K>

where K::Content: Eq,

impl<K: PartialEq + Kind> PartialEq for ContentBinding<K>

where K::Content: PartialEq,

fn eq(&self, other: &ContentBinding<K>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<K: PartialEq + Kind> StructuralPartialEq for ContentBinding<K>

where K::Content: PartialEq,