Skip to main content

DetachCellRestore

liminal_protocol::lifecycle

Enum DetachCellRestore

pub enum DetachCellRestore<V> {
    Empty,
    Pending {
        token: DetachAttemptToken,
        participant_id: ParticipantId,
        request_generation: Generation,
        request_verifier: V,
        committed_binding_epoch: BindingEpoch,
        admission_order: AdmissionOrder,
        refused_epoch: ObserverEpoch,
    },
    Committed {
        token: DetachAttemptToken,
        participant_id: ParticipantId,
        request_generation: Generation,
        request_verifier: V,
        committed_binding_epoch: BindingEpoch,
        detached_delivery_seq: DeliverySeq,
    },
    Terminalized {
        token: DetachAttemptToken,
        participant_id: ParticipantId,
        request_generation: Generation,
        request_verifier: V,
        committed_binding_epoch: BindingEpoch,
    },
}

Expand description

Exact four-state durable detach replay cell.

Variants§

Empty

No detach replay state.

Pending

Accepted detach whose terminal append remains pending.

Fields

§token: DetachAttemptToken

Stable attempt token.

§participant_id: ParticipantId

Cell owner.

§request_generation: Generation

Request generation.

§request_verifier: V

Non-reversible exact-request verifier.

§committed_binding_epoch: BindingEpoch

Binding epoch ended by detach.

§admission_order: AdmissionOrder

Immutable binding-terminal admission position.

§refused_epoch: ObserverEpoch

Observer refusal epoch.

Committed

Committed detach retaining its exact terminal sequence.

Fields

§token: DetachAttemptToken

Stable attempt token.

§participant_id: ParticipantId

Cell owner.

§request_generation: Generation

Request generation.

§request_verifier: V

Non-reversible exact-request verifier.

§committed_binding_epoch: BindingEpoch

Binding epoch ended by detach.

§detached_delivery_seq: DeliverySeq

Committed Detached delivery sequence.

Terminalized

Post-attach replay state retaining the old binding epoch.

Fields

§token: DetachAttemptToken

Stable old detach token.

§participant_id: ParticipantId

Cell owner.

§request_generation: Generation

Old request generation.

§request_verifier: V

Non-reversible exact-request verifier.

§committed_binding_epoch: BindingEpoch

Old binding epoch ended by detach.

Trait Implementations§

impl<V: Clone> Clone for DetachCellRestore<V>

fn clone(&self) -> DetachCellRestore<V>

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

impl<V: Debug> Debug for DetachCellRestore<V>

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

Formats the value using the given formatter. Read more

impl<V: Eq> Eq for DetachCellRestore<V>

impl<V: PartialEq> PartialEq for DetachCellRestore<V>

fn eq(&self, other: &DetachCellRestore<V>) -> bool

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

impl<V: PartialEq> StructuralPartialEq for DetachCellRestore<V>

Auto Trait Implementations§

impl<V> Freeze for DetachCellRestore<V>
where V: Freeze,

impl<V> RefUnwindSafe for DetachCellRestore<V>
where V: RefUnwindSafe,

impl<V> Send for DetachCellRestore<V>
where V: Send,

impl<V> Sync for DetachCellRestore<V>
where V: Sync,

impl<V> Unpin for DetachCellRestore<V>
where V: Unpin,

impl<V> UnsafeUnpin for DetachCellRestore<V>
where V: UnsafeUnpin,

impl<V> UnwindSafe for DetachCellRestore<V>
where V: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

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

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

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.