Struct AttemptId 

pub struct AttemptId(pub String);

Identifier of one attempt at an external effect, scoped to the outbox or the dispatcher, used to reconcile an unknown outcome (I15).

Why this is an identifier and a model call attempt is a number

ProviderAttemptRecord::attempt counts model calls with a plain u32, and that asymmetry is deliberate.

A model call has no effect outside the process: if it times out, the only thing anyone ever needs to say about it is which try it was, within a stage whose identity the replay record already fixes (the turn, the purpose, the provider and the model). Nothing outside the record refers to it, so it needs a position, not a name.

An external effect attempt is the opposite. It may have happened even though the answer never arrived (spec §16.5), which is what OutcomeUnknown means, and settling it later requires naming the exact attempt to a remote system that has its own idea of what it received. That name is passed to the dispatcher as an idempotency-scoped token, stored on the outbox row, quoted in a reconciliation query and compared against a remote reference. An ordinal would be ambiguous the moment two workers, two rows or two turns counted separately; an identifier is not.

Tuple Fields

0: String

Implementations

impl AttemptId

pub fn new(value: impl Into<String>) -> Self

Wraps an existing label.

pub fn as_str(&self) -> &str

Borrows the label as a string slice.

pub fn into_string(self) -> String

Consumes the identifier and returns the owned label.

pub fn is_empty(&self) -> bool

Returns true when the label is empty.

Trait Implementations

impl AsRef<str> for AttemptId

fn as_ref(&self) -> &str

Converts this type into a shared reference of the (usually inferred) input type.

impl Borrow<str> for AttemptId

fn borrow(&self) -> &str

Immutably borrows from an owned value.

impl Clone for AttemptId

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AttemptId

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AttemptId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AttemptId

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

Formats the value using the given formatter.

impl Eq for AttemptId

impl From<&str> for AttemptId

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<AttemptId> for String

fn from(value: AttemptId) -> Self

Converts to this type from the input type.

impl From<String> for AttemptId

fn from(value: String) -> Self

Converts to this type from the input type.

impl Hash for AttemptId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JsonSchema for AttemptId

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Ord for AttemptId

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

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

Restrict a value to a certain range.

impl PartialEq for AttemptId

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for AttemptId

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for AttemptId

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AttemptId