Struct Value 

pub struct Value<T>(/* private fields */);

Value whose stable extent fits a signed 32-bit count.

Admission requires an extent stable through shared access.

Implementations

impl<const N: usize> Value<[u8; N]>

pub const fn new(value: [u8; N]) -> Self

impl<T: Source> Value<T>

pub fn try_new(value: T) -> Result<Self, Rejected<T>>

impl<'d> Value<Unique<'d>>

pub fn try_take( &mut self, amount: NonZero<usize>, ) -> Result<Value<Prefix<'_, 'd>>, Error>

impl<T> Value<T>

pub fn into_storage<U>(self) -> Value<U>

where T: Convert<U>,

Transfers storage while preserving its admitted extent.

pub fn from_raw(proof: Input<T>) -> Self

Seals the original producer’s extent proof into its bytes.

pub fn into_inner(self) -> T

impl<'d> Value<Shared<Owner<'d>>>

pub fn try_get( &self, range: Range<usize>, budget: &Budget<'d>, ) -> Result<Value<Shared<Option<Account<'d>>>>, Error>

impl<'d> Value<Shared<Option<Account<'d>>>>

pub fn try_clone(&self) -> Result<Self, Error>

pub fn project(self, range: Range<usize>) -> Result<Self, Rejected<Self, Error>>

impl Value<&[u8]>

pub fn try_get(&self, range: Range<usize>) -> Result<Self, Error>

impl<'a, S: ?Sized> Value<View<'a, S>>

pub fn try_get(&self, range: Range<usize>) -> Result<Self, Error>

impl<'d> Value<View<'_, Shared<Option<Account<'d>>>>>

pub fn try_retain(self) -> Result<Value<Shared<Option<Account<'d>>>>, Error>

Trait Implementations

impl<T: Mutable> AsMut<[u8]> for Value<T>

fn as_mut(&mut self) -> &mut [u8]

Converts this type into a mutable reference of the (usually inferred) input type.

impl<T: AsRef<[u8]>> AsRef<[u8]> for Value<T>

fn as_ref(&self) -> &[u8]

Converts this type into a shared reference of the (usually inferred) input type.

impl<S: ?Sized> Clone for Value<View<'_, S>>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'d> Complete for Value<Unique<'d>>

fn view(&self) -> Self::View<'_>

impl<O: Unpin> Complete for Value<Shared<O>>

fn view(&self) -> Self::View<'_>

impl<T: Store + Source> Consume for Value<T>

fn remaining(&self) -> usize

fn try_consume(&mut self, amount: usize) -> Result<(), Error>

fn consume_max(&mut self, max: usize) -> usize

impl<T: Consume> Consume for Value<T>

fn consume<const MAX: u32>(prefix: Consumed<'_, '_, Self, MAX>)

impl<'d> Cursor for Value<Unique<'d>>

fn try_get<'input>( &'input self, range: Range<usize>, ) -> Result<Self::View<'input>, Error>

Validates a range once and retains its original source borrow.

impl<O: Unpin> Cursor for Value<Shared<O>>

fn try_get<'input>( &'input self, range: Range<usize>, ) -> Result<Self::View<'input>, Error>

Validates a range once and retains its original source borrow.

impl<T: Debug> Debug for Value<T>

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

Formats the value using the given formatter.

impl Default for Value<Shared<Option<Account<'_>>>>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, 'd> Freeze for Value<Prefix<'a, 'd>>

type Output = Value<Prefix<'a, 'd, &'a [u8]>>

fn freeze(self) -> Self::Output

impl<T: AsRef<[u8]>> From<&Value<T>> for U32<0, { _ }>

fn from(bytes: &Value<T>) -> Self

Converts to this type from the input type.

impl<'a, 'd> From<Value<Prefix<'a, 'd>>> for Value<Prefix<'a, 'd, &'a [u8]>>

fn from(prefix: Value<Prefix<'a, 'd>>) -> Self

Converts to this type from the input type.

impl<'d> From<Value<Shared<Option<Account<'d>>>>> for Shared<'d>

fn from(bytes: Value<Shared<Option<Account<'d>>>>) -> Self

Converts to this type from the input type.

impl<'d> From<Value<Unique<'d>>> for Value<Shared<Owner<'d>>>

fn from(bytes: Value<Unique<'d>>) -> Self

Converts to this type from the input type.

impl<'d> Frozen<'d> for Value<Shared<Owner<'d>>>

type Account = Value<Shared<Option<Account<'d>>>>

fn try_account(&self, budget: &Budget<'d>) -> Result<Self::Account, Cause>

impl<'a, 'd> Frozen<'d> for Value<Prefix<'a, 'd, &'a [u8]>>

type Account = Value<Shared<Option<Account<'d>>>>

fn try_account( &self, budget: &Budget<'d>, ) -> Result<Value<Shared<Option<Account<'d>>>>, Cause>

impl Mutable for Value<Unique<'_>>

impl Mutable for Value<Prefix<'_, '_>>

impl<'a, 'd> Mutable<'d> for Value<Prefix<'a, 'd>>

type Account = Value<Shared<Option<Account<'d>>>>

type Frozen = Value<Prefix<'a, 'd, &'a [u8]>>

type Prefix<'b> = Value<Prefix<'a, 'd>>

where Self: 'b,

fn try_take( &mut self, amount: NonZero<usize>, ) -> Result<Self::Prefix<'_>, Error>

impl<T: AsRef<[u8]>> Project<T> for Value<T>

fn as_inner(&self) -> &T

unsafe fn as_inner_mut(&mut self) -> &mut T

Safety

impl<'a, T: Read<'a>> Read<'a> for Value<T>

where Self: Source,

fn as_slice(&self) -> &'a [u8]

fn try_split<const N: usize>(self) -> Result<(&'a [u8; N], Self), Error>

impl<T: Residency> Residency for Value<T>

fn resident(&self) -> usize

impl<'d> Retain<'d> for Value<Shared<Owner<'d>>>

fn try_retain<'a>( plan: &Self::View<'a>, budget: &Budget<'d>, ) -> Result<Retained<'d>, Error>

where Self: 'a,

Retains this admitted extent with its original account and borrow domain.

fn charge<'a>(plan: &Self::View<'a>) -> Charge

where Self: 'a,

Bounds retained Residency by max(plan.len(), resident_bytes), including retries.

fn try_copy<'a>( plan: &Self::View<'a>, budget: &Budget<'d>, ) -> Result<Owned<Budget<'d>>, Error>

where Self: 'a,

Uniquely owns the copied bytes with output Residency at most their length.

impl<T: Source> Source for Value<Prefix<'_, '_, T>>

impl<O: Unpin> Source for Value<Shared<O>>

type View<'input> = Value<View<'input, Shared<O>>>

where Self: 'input,

fn remaining(&self) -> usize

fn is_empty(&self) -> bool

impl<'d> Source for Value<Unique<'d>>

type View<'input> = Value<&'input [u8]>

where Self: 'input,

fn remaining(&self) -> usize

fn is_empty(&self) -> bool

impl Split for Value<Prefix<'_, '_>>

impl<T: Store> Store for Value<T>

fn empty() -> Option<Self>

Returns a canonical empty owner, or None to restrict the current owner according to its own empty-storage policy. A returned owner must expose no bytes and require no allocation.

fn restrict(slice: Slice<'_, '_, Self>)

Applies the selected extent. Nonempty selections must retain their original backing; empty selections preserve this owner’s empty-storage policy.

fn advance<const MAX: u32>(prefix: Consumed<'_, '_, Self, MAX>)

fn advance_max(&mut self, max: usize) -> usize

where Self: Source,

fn project(slice: Slice<'_, '_, Self>)

impl<'a> TryFrom<&'a mut [MaybeUninit<u8>]> for Value<&'a mut [MaybeUninit<u8>]>

type Error = Overflow<{ MAX as u32 }>

The type returned in the event of a conversion error.

fn try_from(value: &'a mut [MaybeUninit<u8>]) -> Result<Self, Self::Error>

Performs the conversion.