Struct UninitElementSink 

pub struct UninitElementSink<T> { /* private fields */ }

An element sink that leaves dense output uninitialized before the row loop.

The row closure must return the InitializedElement from InitializedElement::write on success. The token is zero-sized, so the proof adds no runtime row state.

When execution omits invalid rows, it initializes placeholders first. Errors and unwinds are safe because values keeps length zero until finish. The T: Copy bound means that initialized spare-capacity elements require no destruction.

Trait Implementations

impl<T: OutputElement + Copy + Default, Options> OutputSink<Options> for UninitElementSink<T>

type Rows<'a> = &'a mut [MaybeUninit<T>]

A loop-local view of all output rows.

type Row<'a> = &'a mut MaybeUninit<T>

The place a row closure writes one row through, borrowed from the sink.

type WriteToken = InitializedElement

Proof that a successful row closure left its row handle initialized.

fn skipped_rows_initializer() -> Option<for<'a> fn(&mut Self::Rows<'a>)>

The operation that initializes every output position before skip-invalid execution.

fn return_dtype(_options: &Options) -> VortexResult<DType>

The dtype of the column this sink builds, given the function options.

fn with_capacity(rows: usize) -> VortexResult<Self>

Allocate a sink for rows rows.

fn rows(&mut self) -> Self::Rows<'_>

Borrow all output rows for the hot loop.

unsafe fn row_unchecked<'a>( rows: &'a mut Self::Rows<'_>, index: usize, ) -> Self::Row<'a>

Hand out the place to write row index. Must be O(1): it is called in the row loop.

unsafe fn finish(self) -> VortexResult<ArrayRef>

Finish into the built column, whose dtype must be this sink’s return_dtype. Called once per batch.