Skip to main content

ScanLayout

fuel_graph::scan

Struct ScanLayout

pub struct ScanLayout {
    pub n_carries: usize,
    pub n_xs: usize,
    pub bound: usize,
    pub emit: ScanEmit,
    pub init_carries: Vec<NodeId>,
    pub xs: Vec<NodeId>,
    pub consts: Vec<NodeId>,
    pub body_new_carries: Vec<NodeId>,
    pub body_y: NodeId,
    pub pred_exit: Option<NodeId>,
}

Expand description

The parsed input layout of an Op::Scan node — the fields the early-exit step driver needs, extracted from the trailing-input encoding.

Fields§

§n_carries: usize

GAP-303: how many carries the leading/trailing blocks are wide.

§n_xs: usize§bound: usize§emit: ScanEmit§init_carries: Vec<NodeId>§xs: Vec<NodeId>§consts: Vec<NodeId>§body_new_carries: Vec<NodeId>§body_y: NodeId§pred_exit: Option<NodeId>

Some when early_exit = Some — the scalar-U8 convergence predicate.

Auto Trait Implementations§

impl Freeze for ScanLayout

impl RefUnwindSafe for ScanLayout

impl Send for ScanLayout

impl Sync for ScanLayout

impl Unpin for ScanLayout

impl UnsafeUnpin for ScanLayout

impl UnwindSafe for ScanLayout

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

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> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

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

type Error = !

The type returned in the event of a conversion error.

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

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.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V