kona_derive_alloy::prelude

Struct BatchProvider

Source 
pub struct BatchProvider<P, F>
where
    P: NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver + Debug,
    F: L2ChainProvider + Clone + Debug,
{ /* private fields */ }
Expand description

The BatchProvider stage is a mux between the BatchQueue and BatchValidator stages.

Rules: When Holocene is not active, the BatchQueue is used. When Holocene is active, the BatchValidator is used.

When transitioning between the two stages, the mux will reset the active stage, but retain l1_blocks.

Implementations§

Source§

impl<P, F> BatchProvider<P, F>
where P: NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver + Debug, F: L2ChainProvider + Clone + Debug,

Source

pub const fn new( cfg: Arc<RollupConfig>, prev: P, provider: F, ) -> BatchProvider<P, F>

Creates a new BatchProvider with the given configuration and previous stage.

Trait Implementations§

Source§

impl<P, F> AttributesProvider for BatchProvider<P, F>
where P: NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver + Debug + Send, F: L2ChainProvider + Clone + Send + Debug,

Source§

fn is_last_in_span(&self) -> bool

Returns whether the current batch is the last in its span.
Source§

fn next_batch<'life0, 'async_trait>( &'life0 mut self, parent: L2BlockInfo, ) -> Pin<Box<dyn Future<Output = Result<SingleBatch, PipelineErrorKind>> + Send + 'async_trait>>
where 'life0: 'async_trait, BatchProvider<P, F>: 'async_trait,

Returns the next valid batch upon the given safe head.
Source§

impl<P, F> Debug for BatchProvider<P, F>
where P: Debug + NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver, F: Debug + L2ChainProvider + Clone,

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<P, F> OriginAdvancer for BatchProvider<P, F>
where P: NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver + Send + Debug, F: L2ChainProvider + Clone + Send + Debug,

Source§

fn advance_origin<'life0, 'async_trait>( &'life0 mut self, ) -> Pin<Box<dyn Future<Output = Result<(), PipelineErrorKind>> + Send + 'async_trait>>
where 'life0: 'async_trait, BatchProvider<P, F>: 'async_trait,

Advances the internal state of the lowest stage to the next l1 origin. This method is the equivalent of the reference implementation advance_l1_block.
Source§

impl<P, F> OriginProvider for BatchProvider<P, F>
where P: NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver + Debug, F: L2ChainProvider + Clone + Debug,

Source§

fn origin(&self) -> Option<BlockInfo>

Returns the optional L1 BlockInfo origin.
Source§

impl<P, F> SignalReceiver for BatchProvider<P, F>
where P: NextBatchProvider + OriginAdvancer + OriginProvider + SignalReceiver + Send + Debug, F: L2ChainProvider + Clone + Send + Debug,

Source§

fn signal<'life0, 'async_trait>( &'life0 mut self, signal: Signal, ) -> Pin<Box<dyn Future<Output = Result<(), PipelineErrorKind>> + Send + 'async_trait>>
where 'life0: 'async_trait, BatchProvider<P, F>: 'async_trait,

Receives a signal from the driver.

Auto Trait Implementations§

§

impl<P, F> Freeze for BatchProvider<P, F>
where F: Freeze, P: Freeze,

§

impl<P, F> RefUnwindSafe for BatchProvider<P, F>
where F: RefUnwindSafe, P: RefUnwindSafe,

§

impl<P, F> Send for BatchProvider<P, F>
where F: Send, P: Send,

§

impl<P, F> Sync for BatchProvider<P, F>
where F: Sync, P: Sync,

§

impl<P, F> Unpin for BatchProvider<P, F>
where F: Unpin, P: Unpin,

§

impl<P, F> UnwindSafe for BatchProvider<P, F>
where F: UnwindSafe, P: UnwindSafe,

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

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
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
Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> MaybeSendSync for T