pub struct SystemPin { /* private fields */ }Expand description
An immutable reference from a run to the design it is running.
The same reasoning as a ceremony’s definition pin, one level up: identity and revision say which design, and the digest says which bytes, so a run can be shown afterwards to have composed exactly what it claims.
Implementations§
Source§impl SystemPin
impl SystemPin
pub const fn new( id: AgenticSystemId, revision: AgenticSystemRevision, digest: AgenticSystemDigest, ) -> Self
pub const fn id(&self) -> &AgenticSystemId
pub const fn revision(&self) -> AgenticSystemRevision
pub const fn digest(&self) -> AgenticSystemDigest
Trait Implementations§
Source§impl<'de> Deserialize<'de> for SystemPin
impl<'de> Deserialize<'de> for SystemPin
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for SystemPin
Source§impl Ord for SystemPin
impl Ord for SystemPin
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 (const: unstable) · Source§fn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
Source§impl PartialOrd for SystemPin
impl PartialOrd for SystemPin
impl StructuralPartialEq for SystemPin
Auto Trait Implementations§
impl Freeze for SystemPin
impl RefUnwindSafe for SystemPin
impl Send for SystemPin
impl Sync for SystemPin
impl Unpin for SystemPin
impl UnsafeUnpin for SystemPin
impl UnwindSafe for SystemPin
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more