Struct Walked

Source

pub struct Walked {
    pub digest: String,
    pub realm: String,
    pub view: LayerView,
}

Expand description

One layer of a walked composition, with the realm whose root vouches for it.

The realm is carried through the walk rather than looked up afterwards because it is a property of the EDGE — an [[include]] names the realm that verifies the layer it points at — and because a refusal that cannot name the realms is the refusal clause 4d exists to replace.

Fields§

§digest: String§realm: String

The realm naming this layer’s trust root. Empty where the composition names none (a pin with no realm), in which case there is no qualified form for its tools and the refusal must say so.

§view: LayerView

Walked

Struct Walked Copy item path

Fields§

Trait Implementations§

impl Clone for Walked

fn clone(&self) -> Walked

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

impl Debug for Walked

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

impl Eq for Walked

impl PartialEq for Walked

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

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

impl StructuralPartialEq for Walked

Auto Trait Implementations§

impl Freeze for Walked

impl RefUnwindSafe for Walked

impl Send for Walked

impl Sync for Walked

impl Unpin for Walked

impl UnsafeUnpin for Walked

impl UnwindSafe for Walked

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere T: 'a,

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere T: 'a,

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, !>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Struct Walked

impl<T> Any for T
where T: 'static + ?Sized,

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,