Skip to main content

IceProposal

Struct IceProposal 

Source
pub struct IceProposal<'a> { /* private fields */ }
Expand description

An ICE proposal — pre-simulation handle carrying the underlying IceActionProposal plus the issued_at_ms stamp pinned at construction.

Per the plan’s locked decision #4 a Self::simulate call must precede commit. The type-state split enforces this at compile time: IceProposal does not expose commit; only a successful simulate() returns a SimulatedIceProposal whose commit is callable. A caller that wants to commit must thread the proposal through simulate() first — the type system rejects the alternative.

Both IceProposal and SimulatedIceProposal are Send + Sync (no Cell / RefCell interior mutability), so callers can move them across tokio::spawn boundaries freely.

Implementations§

Source§

impl<'a> IceProposal<'a>

Source

pub fn action(&self) -> &IceActionProposal

Borrow the underlying IceActionProposal.

Source

pub fn issued_at_ms(&self) -> u64

Milliseconds-since-UNIX_EPOCH stamp pinned at construction. Operators participating in the multi-sig flow read this from the SimulatedIceProposal (after simulating); the value is identical because simulate() preserves it.

Source

pub async fn simulate(self) -> Result<SimulatedIceProposal<'a>, IceError>

Pre-execution preview. Runs the substrate’s pure simulator against the runtime’s latest snapshot and returns a SimulatedIceProposal holding the result. The returned type is the only place SimulatedIceProposal::commit can be called — the type-state pattern enforces locked decision #4 at compile time.

Auto Trait Implementations§

§

impl<'a> Freeze for IceProposal<'a>

§

impl<'a> RefUnwindSafe for IceProposal<'a>

§

impl<'a> Send for IceProposal<'a>

§

impl<'a> Sync for IceProposal<'a>

§

impl<'a> Unpin for IceProposal<'a>

§

impl<'a> UnsafeUnpin for IceProposal<'a>

§

impl<'a> UnwindSafe for IceProposal<'a>

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

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

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

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

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