Struct ErasedRawStridedUninitMut 

pub struct ErasedRawStridedUninitMut<'a> { /* private fields */ }

Borrowed dtype-erased raw strided output whose reachable elements may be uninitialized.

This descriptor is only accepted by operations that prove and perform a full overwrite of every reachable logical destination element. The backing allocation may contain non-reachable holes, which remain uninitialized.

Implementations

impl<'a> ErasedRawStridedUninitMut<'a>

pub fn from_uninit_slice<T: KernelStorageElement>( data: &'a mut [MaybeUninit<T>], dims: &'a [usize], strides: &'a [isize], offset: isize, ) -> Result<Self>

Create an uninitialized erased output descriptor from typed storage.

pub unsafe fn from_raw_parts( dtype: KernelDType, data: NonNull<u8>, byte_len: usize, dims: &'a [usize], strides: &'a [isize], offset: isize, ) -> Result<Self>

Construct from erased uninitialized storage.

Safety

data..data + byte_len must be an aligned, writable allocation valid for 'a, with provenance and extent sufficient for all reachable elements. The caller must ensure every reachable element is completely overwritten before it is read or exposed as initialized storage. The allocation’s alignment is an allocation property independent of the observed address, and the descriptor must have exclusive access with no mutable alias or concurrent mutation during use.

pub fn data_as_uninit_mut<T: KernelStorageElement>( &mut self, ) -> Result<&mut [MaybeUninit<T>]>

Borrow the uninitialized storage as its concrete scalar type.

pub fn dtype(&self) -> KernelDType

pub fn dims(&self) -> &'a [usize]

pub fn strides(&self) -> &'a [isize]

pub fn offset(&self) -> isize

Trait Implementations

impl<'a> Debug for ErasedRawStridedUninitMut<'a>

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

Formats the value using the given formatter.