pub enum Verification<T> {
Confirmed(T),
NotApplied,
Inconclusive,
Conflict {
details: String,
},
}Expand description
What a verification found in the remote system.
Variants§
Confirmed(T)
The effect applied; carries the remote state, which becomes the effect’s output.
NotApplied
No trace of the effect. How far this is trusted depends on the
VerificationMode.
Inconclusive
The remote system cannot tell right now. The runtime checks again later and never treats this as “not applied”.
Conflict
The remote state contradicts the effect, e.g. a payment exists for the order but with a different amount. Needs an operator.
Trait Implementations§
Source§impl<T: Clone> Clone for Verification<T>
impl<T: Clone> Clone for Verification<T>
Source§impl<T: Debug> Debug for Verification<T>
impl<T: Debug> Debug for Verification<T>
impl<T: Eq> Eq for Verification<T>
Source§impl<T: PartialEq> PartialEq for Verification<T>
impl<T: PartialEq> PartialEq for Verification<T>
impl<T: PartialEq> StructuralPartialEq for Verification<T>
Auto Trait Implementations§
impl<T> Freeze for Verification<T>where
T: Freeze,
impl<T> RefUnwindSafe for Verification<T>where
T: RefUnwindSafe,
impl<T> Send for Verification<T>where
T: Send,
impl<T> Sync for Verification<T>where
T: Sync,
impl<T> Unpin for Verification<T>where
T: Unpin,
impl<T> UnsafeUnpin for Verification<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for Verification<T>where
T: UnwindSafe,
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