Struct Produced 

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

A produced value with its existing controlled lease, or an explicit ordinary result. There is no mutable dereference or generic map operation that could replace it with newly allocated, unadmitted payloads.

Implementations

impl<T> Produced<T>

pub fn reserved_bytes(&self) -> usize

pub fn into_parts(self) -> (T, Option<MemoryReservation>)

Transfer the explicit value/lease pair to its next allocation owner. The caller must retain the lease until those allocations are freed or handed off under a documented legacy API boundary.

pub fn into_uncontrolled(self) -> Result<T, Self>

Extract an ordinary result. A controlled result is returned unchanged instead of silently releasing its lease.

pub fn into_budgeted(self) -> Result<Budgeted<T>, Self>

Preserve a controlled result in the existing budgeted carrier. An ordinary result is returned unchanged instead of being retroactively charged.

impl<T: Copy> Produced<Vec<T>>

pub fn as_mut_slice(&mut self) -> &mut [T]

Mutate fixed-length scratch slots without changing capacity or introducing owned payloads. The Copy bound excludes allocation-owning values and the slice cannot grow the admitted container.

Trait Implementations

impl<T: Debug> Debug for Produced<T>

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

Formats the value using the given formatter.

impl<T> Deref for Produced<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T> From<Budgeted<T>> for Produced<T>

fn from(value: Budgeted<T>) -> Self

Converts to this type from the input type.