Expand description
Verification: asking the remote system whether an effect applied.
A verification runs after every successful attempt (a postcondition) and to reconcile an attempt whose outcome is unknown.
Structs§
- NoVerification
- The effect has no verification.
- Verify
With - Verification by a closure.
Enums§
- NotFound
Reading - How to read a verification that found no trace of the effect.
- Verification
- What a verification found in the remote system.
- Verification
Mode - How far a verification result can be trusted.
Traits§
- Verifier
- The verification attached to an effect, if any.
Type Aliases§
- Verification
Future - A boxed verification future.