Enum bitvec::domain::BitDomainMut [−][src]
pub enum BitDomainMut<'a, O, T> where
O: BitOrder,
T: 'a + BitStore, {
Enclave {
head: BitIdx<T::Mem>,
body: &'a mut BitSlice<O, T>,
tail: BitTail<T::Mem>,
},
Region {
head: &'a mut BitSlice<O, T>,
body: &'a mut BitSlice<O, T::Mem>,
tail: &'a mut BitSlice<O, T>,
},
}
Expand description
Granular representation of the memory region containing a
BitSlice
.
BitSlice
regions can be described in terms of edge and center
elements, where the edge elements retain the aliasing status of the
source BitSlice
handle, and the center elements are known to be
completely unaliased by any other view. This property allows any
BitSlice
handle to be decomposed into smaller regions, and safely
remove any aliasing markers from the subregion of memory that no
longer requires them for correct access.
This enum acts like the .split*
methods in that it only subdivides
the source BitSlice
into smaller BitSlices
, and makes
appropriate modifications to the aliasing markers. It does not
provide references to the underlying memory elements. If you need
such access directly, use the Domain
or DomainMut
enums.
Lifetimes
'a
: The lifetime of the referent storage region.
Type Parameters
O
: The ordering type of the sourceBitSlice
handle.T
: The element type of the sourceBitSlice
handle, including aliasing markers.
Aliasing Awareness
This enum does not grant access to memory outside the scope of the
original &BitSlice
handle, and so does not need to modfiy any
aliasing conditions.
Variants
Indicates that a BitSlice
is contained entirely in the
interior indices of a single memory element.
Fields of Enclave
head: BitIdx<T::Mem>
The start index of the BitSlice
.
This is not likely to be useful information, but is retained for structural similarity with the rest of the module.
body: &'a mut BitSlice<O, T>
The original BitSlice
used to create this bit-domain view.
tail: BitTail<T::Mem>
The end index of the BitSlice
.
This is not likely to be useful information, but is retained for structural similarity with the rest of the module.
Indicates that a BitSlice
region touches at least one edge
index of any number of elements.
This contains two bitslices representing the partially-occupied edge elements, with their original aliasing marker, and one bitslice representing the fully-occupied interior elements, marked as unaliased.
Fields of Region
head: &'a mut BitSlice<O, T>
Any bits that partially-fill the base element of the slice region.
This does not modify its aliasing status, as it will already be appropriately marked before constructing this view.
body: &'a mut BitSlice<O, T::Mem>
Any bits inside elements that the source bitslice completely covers.
This is marked as unaliased, because it is statically impossible for any other handle to have write access to the region it covers. As such, a bitslice that was marked as entirely aliased, but contains interior unaliased elements, can safely remove its aliasing protections.
tail: &'a mut BitSlice<O, T>
Any bits that partially fill the last element of the slice region.
This does not modify its aliasing status, as it will already be appropriately marked before constructing this view.
Implementations
Attempts to view the domain as an enclave variant.
Parameters
self
Returns
If self
is the Enclave
variant, this returns Some
of the
enclave fields, as a tuple. Otherwise, it returns None
.
Trait Implementations
Auto Trait Implementations
impl<'a, O, T> RefUnwindSafe for BitDomainMut<'a, O, T> where
O: RefUnwindSafe,
T: RefUnwindSafe,
<T as BitStore>::Mem: RefUnwindSafe,
impl<'a, O, T> Send for BitDomainMut<'a, O, T> where
<T as BitStore>::Threadsafe: Send,
<<T as BitStore>::Mem as BitStore>::Threadsafe: Send,
impl<'a, O, T> Sync for BitDomainMut<'a, O, T> where
<T as BitStore>::Threadsafe: Sync,
<<T as BitStore>::Mem as BitStore>::Threadsafe: Sync,
impl<'a, O, T> Unpin for BitDomainMut<'a, O, T>
impl<'a, O, T> !UnwindSafe for BitDomainMut<'a, O, T>
Blanket Implementations
Mutably borrows from an owned value. Read more
Causes self
to use its Binary
implementation when Debug
-formatted.
Causes self
to use its Display
implementation when
Debug
-formatted. Read more
Causes self
to use its LowerExp
implementation when
Debug
-formatted. Read more
Causes self
to use its LowerHex
implementation when
Debug
-formatted. Read more
Causes self
to use its Octal
implementation when Debug
-formatted.
Causes self
to use its Pointer
implementation when
Debug
-formatted. Read more
Causes self
to use its UpperExp
implementation when
Debug
-formatted. Read more
Causes self
to use its UpperHex
implementation when
Debug
-formatted. Read more
Pipes by value. This is generally the method you want to use. Read more
Borrows self
and passes that borrow into the pipe function. Read more
Mutably borrows self
and passes that borrow into the pipe function. Read more
Borrows self
, then passes self.borrow()
into the pipe function. Read more
Mutably borrows self
, then passes self.borrow_mut()
into the pipe
function. Read more
Borrows self
, then passes self.as_ref()
into the pipe function.
Mutably borrows self
, then passes self.as_mut()
into the pipe
function. Read more
Borrows self
, then passes self.deref()
into the pipe function.
fn pipe_as_ref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: AsRef<T>,
T: 'a,
R: 'a,
fn pipe_as_ref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: AsRef<T>,
T: 'a,
R: 'a,
Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more
fn pipe_borrow<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: Borrow<T>,
T: 'a,
R: 'a,
fn pipe_borrow<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: Borrow<T>,
T: 'a,
R: 'a,
Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more
fn pipe_deref<'a, R>(&'a self, func: impl FnOnce(&'a Self::Target) -> R) -> R where
Self: Deref,
R: 'a,
fn pipe_deref<'a, R>(&'a self, func: impl FnOnce(&'a Self::Target) -> R) -> R where
Self: Deref,
R: 'a,
Pipes a dereference into a function that cannot normally be called in suffix position. Read more
Pipes a reference into a function that cannot ordinarily be called in suffix position. Read more
Immutable access to the Borrow<B>
of a value. Read more
Mutable access to the BorrowMut<B>
of a value. Read more
Immutable access to the AsRef<R>
view of a value. Read more
Mutable access to the AsMut<R>
view of a value. Read more
Immutable access to the Deref::Target
of a value. Read more
Mutable access to the Deref::Target
of a value. Read more
Calls .tap()
only in debug builds, and is erased in release builds.
Calls .tap_mut()
only in debug builds, and is erased in release
builds. Read more
Calls .tap_borrow()
only in debug builds, and is erased in release
builds. Read more
Calls .tap_borrow_mut()
only in debug builds, and is erased in release
builds. Read more
Calls .tap_ref()
only in debug builds, and is erased in release
builds. Read more
Calls .tap_ref_mut()
only in debug builds, and is erased in release
builds. Read more
Calls .tap_deref()
only in debug builds, and is erased in release
builds. Read more
Provides immutable access to the reference for inspection.
Calls tap_ref
in debug builds, and does nothing in release builds.
Provides mutable access to the reference for modification.
Calls tap_ref_mut
in debug builds, and does nothing in release builds.
Provides immutable access to the borrow for inspection. Read more
Calls tap_borrow
in debug builds, and does nothing in release builds.
fn tap_borrow_mut<F, R>(self, func: F) -> Self where
Self: BorrowMut<T>,
F: FnOnce(&mut T) -> R,
fn tap_borrow_mut<F, R>(self, func: F) -> Self where
Self: BorrowMut<T>,
F: FnOnce(&mut T) -> R,
Provides mutable access to the borrow for modification.
Immutably dereferences self
for inspection.
fn tap_deref_dbg<F, R>(self, func: F) -> Self where
Self: Deref,
F: FnOnce(&Self::Target) -> R,
fn tap_deref_dbg<F, R>(self, func: F) -> Self where
Self: Deref,
F: FnOnce(&Self::Target) -> R,
Calls tap_deref
in debug builds, and does nothing in release builds.
fn tap_deref_mut<F, R>(self, func: F) -> Self where
Self: DerefMut,
F: FnOnce(&mut Self::Target) -> R,
fn tap_deref_mut<F, R>(self, func: F) -> Self where
Self: DerefMut,
F: FnOnce(&mut Self::Target) -> R,
Mutably dereferences self
for modification.