Struct ToolOutcomeRecordV1

Source

pub struct ToolOutcomeRecordV1 { /* private fields */ }

Expand description

Valid records can only be built through insert-once or a CAS transition.

Implementations§

Source §

impl ToolOutcomeRecordV1

Source

pub fn to_persisted(&self) -> PersistedToolOutcomeRecordV1

Source

pub fn from_persisted( value: PersistedToolOutcomeRecordV1, ) -> Result<Self, ToolOutcomeError>

Source

pub fn validate_against( &self, operation: &AdmissionOperationV1, ) -> Result<(), ToolOutcomeError>

Source

pub fn validate_for_store_insert( &self, operation: &AdmissionOperationV1, blob: &CanonicalInvocationBlobV1, active_fence: &StoreMutationFence, trusted_now_unix_ms: u64, ) -> Result<(), ToolOutcomeError>

Source

pub fn validate_canonical_blob( &self, operation: &AdmissionOperationV1, blob: &CanonicalInvocationBlobV1, ) -> Result<(), ToolOutcomeError>

Source

pub fn same_immutable_outcome(&self, other: &Self) -> bool

Trait Implementations§

Source §

impl Clone for ToolOutcomeRecordV1

Source §

fn clone(&self) -> ToolOutcomeRecordV1

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Debug for ToolOutcomeRecordV1

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Eq for ToolOutcomeRecordV1

Source §

impl PartialEq for ToolOutcomeRecordV1

Source §

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

Source §

impl Serialize for ToolOutcomeRecordV1

Source §

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

Source §

impl StructuralPartialEq for ToolOutcomeRecordV1

Auto Trait Implementations§

§

impl Freeze for ToolOutcomeRecordV1

§

impl RefUnwindSafe for ToolOutcomeRecordV1

§

impl Send for ToolOutcomeRecordV1

§

impl Sync for ToolOutcomeRecordV1

§

impl Unpin for ToolOutcomeRecordV1

§

impl UnsafeUnpin for ToolOutcomeRecordV1

§

impl UnwindSafe for ToolOutcomeRecordV1

Blanket Implementations§

Source §

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

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

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

Source §

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

Source §

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

Source §

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

Source §

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

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

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

Source §

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

Mutably borrows from an owned value. Read more

Source §

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

Source §

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

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Source §

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

Source §

fn __clone_box(&self, _: Private) -> *mut ()

Source §

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source §

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

Source §

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source §

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T> Instrument for T

Source §

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

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

Source §

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Source §

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

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

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

Source §

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more

Source §

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

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

Source §

type Owned = T

The resulting type after obtaining ownership.

Source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

Source §

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

Uses borrowed data to replace owned data, usually by cloning. Read more

Source §

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

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source §

fn vzip(self) -> V

Source §

impl<T> WithSubscriber for T

Source §

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

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

Source §

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

Struct ToolOutcomeRecordV1 Copy item path

Implementations§

impl ToolOutcomeRecordV1

pub fn to_persisted(&self) -> PersistedToolOutcomeRecordV1

pub fn from_persisted( value: PersistedToolOutcomeRecordV1, ) -> Result<Self, ToolOutcomeError>

pub fn operation_id(&self) -> &AdmissionOperationId

pub fn outcome_id(&self) -> &AdmissionDigest

pub fn version(&self) -> u64

pub fn disposition(&self) -> &ResolvedToolOutcomeV1

pub fn raw_output_digest(&self) -> &AdmissionDigest

pub fn resolved_output_ref(&self) -> Option<(&ContentAddressedBlobRefV1, u64)>

pub fn recording_fence(&self) -> &StoreMutationFence

pub fn recorded_at_unix_ms(&self) -> u64

pub fn lifecycle_digest(&self) -> &AdmissionDigest

pub fn validate_against( &self, operation: &AdmissionOperationV1, ) -> Result<(), ToolOutcomeError>

pub fn validate_for_store_insert( &self, operation: &AdmissionOperationV1, blob: &CanonicalInvocationBlobV1, active_fence: &StoreMutationFence, trusted_now_unix_ms: u64, ) -> Result<(), ToolOutcomeError>

pub fn validate_canonical_blob( &self, operation: &AdmissionOperationV1, blob: &CanonicalInvocationBlobV1, ) -> Result<(), ToolOutcomeError>

pub fn same_immutable_outcome(&self, other: &Self) -> bool

Trait Implementations§

impl Clone for ToolOutcomeRecordV1

fn clone(&self) -> ToolOutcomeRecordV1

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

impl Debug for ToolOutcomeRecordV1

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

impl Eq for ToolOutcomeRecordV1

impl PartialEq for ToolOutcomeRecordV1

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

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

impl Serialize for ToolOutcomeRecordV1

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl StructuralPartialEq for ToolOutcomeRecordV1

Auto Trait Implementations§

impl Freeze for ToolOutcomeRecordV1

impl RefUnwindSafe for ToolOutcomeRecordV1

impl Send for ToolOutcomeRecordV1

impl Sync for ToolOutcomeRecordV1

impl Unpin for ToolOutcomeRecordV1

impl UnsafeUnpin for ToolOutcomeRecordV1

impl UnwindSafe for ToolOutcomeRecordV1

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> DynClone for Twhere T: Clone,

fn __clone_box(&self, _: Private) -> *mut ()

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

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> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

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

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

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 = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Struct ToolOutcomeRecordV1

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

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> DynClone for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

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>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

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