Struct ErasedRawStridedPtr 

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

Pointer-backed dtype-erased input used by one-shot write entry points.

Unlike ErasedRawStridedRef, this descriptor does not create a shared Rust reference at construction time. That lets the entry point reject an input/output overlap before forming references to either side.

Implementations

impl<'a> ErasedRawStridedPtr<'a>

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

Create a pointer-backed descriptor from erased storage.

Safety

data must point into an allocation whose alignment is suitable for dtype, independently of the observed address. The allocation must provide byte_len initialized, readable bytes with valid provenance for 'a, and remain alive for 'a. For bool, the bytes may contain invalid values temporarily. They must not be read or used to form a typed reference until a caller has rejected overlap and Self::try_as_ref_after_no_overlap has validated the complete extent. The allocation may overlap a destination. The original owner may perform synchronized sequential mutation through the same-provenance raw pointer before conversion. No concurrent mutation or conflicting access is permitted during overlap checking, conversion, or consumer access.

pub fn from_ref(input: &ErasedRawStridedRef<'a>) -> ErasedRawStridedPtr<'a>

Borrow a safe erased input as a pointer descriptor.

pub unsafe fn try_as_ref_after_no_overlap( &self, ) -> Result<ErasedRawStridedRef<'_>, StridedError>

Convert this pointer to an initialized descriptor after overlap checks.

Safety

The caller must have proved that no mutable allocation overlaps this pointer’s complete byte extent. The allocation contract from Self::from_raw_parts must still hold. No mutation or other conflicting access may occur during this conversion or for the duration of the returned descriptor’s consumer access. Bool bytes are validated here, immediately before typed access.

pub fn dtype(&self) -> KernelDType

pub fn overlaps_mut( &self, dest: &ErasedRawStridedMut<'_>, ) -> Result<bool, StridedError>

Check overlap with initialized mutable storage without reading it.

pub fn overlaps_uninit_mut( &self, dest: &ErasedRawStridedUninitMut<'_>, ) -> Result<bool, StridedError>

Check overlap with uninitialized mutable storage without reading it.

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

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

pub fn offset(&self) -> isize

Trait Implementations

impl<'a> Clone for ErasedRawStridedPtr<'a>

fn clone(&self) -> ErasedRawStridedPtr<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Copy for ErasedRawStridedPtr<'a>

impl<'a> Debug for ErasedRawStridedPtr<'a>

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

Formats the value using the given formatter.