Struct View 

pub struct View<'source, S: ?Sized> { /* private fields */ }

A range whose bounds were validated against one immutably borrowed source. The source borrow prevents mutation while the view is inspected or retained. Inspection and narrowing do not allocate, copy, or retain an owner.

Implementations

impl<'source, S: ?Sized> View<'source, S>

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

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn select(&self, bytes: &[u8]) -> Option<View<'source, S>>

pub fn get(&self, range: Range<usize>) -> Option<View<'source, S>>

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

pub fn new(source: &'source S) -> Self

where S: AsRef<[u8]>,

Borrows the complete initialized source without retaining or copying it.

impl<S: Seal> View<'_, S>

pub fn try_retain(self) -> Result<S, Error>

Retains this already-validated range without allocating or copying.

impl View<'_, Shared<'_>>

pub fn try_own(self) -> Result<Option<Shared>, Error>

Retains this validated range when its existing owner is independent. A scoped owner returns None without retaining or copying its bytes.

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

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

Retains the proved extent using its existing registration, without admission.

Trait Implementations

impl<S: ?Sized> AsRef<[u8]> for View<'_, S>

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

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

impl<S: ?Sized> Clone for 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<S: ?Sized> Consume for View<'_, S>

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

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

fn remaining(&self) -> usize

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

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

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

impl<'input, S: ?Sized> Read<'input> for View<'input, S>

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

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

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

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>)