pub enum UserIntentProof {
ExplicitCommand {
command_id: RequestId,
},
ConfirmedPrompt {
confirmation_id: ConfirmationId,
},
ExactCurrentRequest {
user_message_digest: MessageDigest,
},
}Expand description
Proof of exact user intent behind a memory transition (spec §6.3).
ExactCurrentRequest may be used only when the host’s authorization
policy can prove that the current user request directly names the exact
memory transition; otherwise the frontend asks for confirmation.
Variants§
ExplicitCommand
A deterministic frontend command (e.g. /memory on).
ConfirmedPrompt
A host-driven confirmation exchange the user answered affirmatively.
Fields
§
confirmation_id: ConfirmationIdThe confirmation exchange identity.
ExactCurrentRequest
The current user message itself names the exact transition.
Fields
§
user_message_digest: MessageDigestDigest of that exact user message.
Trait Implementations§
Source§impl Clone for UserIntentProof
impl Clone for UserIntentProof
Source§fn clone(&self) -> UserIntentProof
fn clone(&self) -> UserIntentProof
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for UserIntentProof
impl Debug for UserIntentProof
impl Eq for UserIntentProof
Source§impl PartialEq for UserIntentProof
impl PartialEq for UserIntentProof
impl StructuralPartialEq for UserIntentProof
Auto Trait Implementations§
impl Freeze for UserIntentProof
impl RefUnwindSafe for UserIntentProof
impl Send for UserIntentProof
impl Sync for UserIntentProof
impl Unpin for UserIntentProof
impl UnsafeUnpin for UserIntentProof
impl UnwindSafe for UserIntentProof
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.