Skip to main content

Inbox

Struct Inbox 

Source
pub struct Inbox { /* private fields */ }
Expand description

A dedup ledger over the Database port. Construct it with the table the owning module declares (e.g. "<module>_inbox").

Implementations§

Source§

impl Inbox

Source

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

Source

pub fn create_table_sql(&self) -> String

The portable DDL for the inbox table. The owning module ships this as a forward-only migration (it renders identically on SQLite/D1 and Postgres, ADR 0004).

Source

pub async fn claim( &self, db: &dyn Database, event_key: &str, seen_at: &str, ) -> Result<bool, DbError>

Records event_key, returning true the first time it is seen (proceed and apply the effect) and false for any later delivery of the same id (a duplicate/replay/concurrent race — skip).

The insert is a single ON CONFLICT DO NOTHING statement, so it is atomic on both D1 and Postgres: under concurrent claims of the same key exactly one insert takes, and only that caller gets true. seen_at is an RFC 3339 timestamp the caller reads from the Clock port.

The claim commits on its own: if the worker dies after this returns true but before the effect is applied, the redelivery sees the key and skips — the event is lost (at-most-once). When the effect is itself database writes, use claim_with, or put claim_statement first in the same db.batch_atomic(..) as the effect, so the two commit together.

§Errors

Returns DbError if the write fails.

Source

pub fn claim_statement(&self, event_key: &str, seen_at: &str) -> Statement

The claim as a bare INSERT with no ON CONFLICT clause, to run as the first statement of the same db.batch_atomic(..) that carries the effect’s statements (see claim_with for the ready-made wrapper).

Inside the batch the primary key does the first-writer-wins work: a key that is already claimed fails the insert, and the whole batch — effect included — rolls back, so a duplicate delivery applies nothing a second time. The claim and the effect commit together or not at all: a worker that dies before the batch commits leaves the key unclaimed, and the redelivery re-runs both.

Source

pub async fn claim_with( &self, db: &dyn Database, event_key: &str, seen_at: &str, effect: &[Statement], ) -> Result<bool, DbError>

Claims event_key and applies effect in one atomic batch, returning true when this delivery committed them (the convention of claim) and false when the key was already claimed — a duplicate, a replay, or a concurrent delivery that won the race — so the effect did not run again.

The claim_statement goes first, then effect, all through batch_atomic: either everything commits or nothing does, and a worker that dies mid-batch leaves the key unclaimed for the retry.

§Errors

Returns DbError when the batch fails and the key is not claimed afterwards: nothing committed and the effect did not apply — the caller (or its queue) retries the whole delivery. A batch that failed because a concurrent delivery claimed the key first is not an error; it returns Ok(false), told apart by re-reading the key rather than parsing the engine’s error text.

Source

pub async fn seen( &self, db: &dyn Database, event_key: &str, ) -> Result<bool, DbError>

Whether event_key has already been recorded (a read-only check; a handler still uses claim or claim_with to act, since only those are race-free).

§Errors

Returns DbError if the read fails.

Trait Implementations§

Source§

impl Clone for Inbox

Source§

fn clone(&self) -> Self

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 Inbox

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl Freeze for Inbox

§

impl RefUnwindSafe for Inbox

§

impl Send for Inbox

§

impl Sync for Inbox

§

impl Unpin for Inbox

§

impl UnsafeUnpin for Inbox

§

impl UnwindSafe for Inbox

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

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
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<U> 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> 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<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

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

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
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