Struct partial_ref::Const [−][src]
#[repr(transparent)]pub struct Const<Part, Reference: HasTarget> { /* fields omitted */ }
Expand description
A constant (immutable) part of a partial reference.
Trait Implementations
A reference containing just constant parts is safe to clone.
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
Reference: HasTarget,
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
Reference: HasTarget,
(internal) To have a reference with a constant first part as subset, pluck that part and make sure the remaining references are in a subset relation.
type Remainder = <<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder as HasSubset<'a, Reference, TailIndex>>::Remainder
impl<'a, SomePart: Part, Reference: PartialRef<'a>> PartialRef<'a> for Const<SomePart, Reference> where
Reference::Target: HasPart<SomePart>,
impl<'a, SomePart: Part, Reference: PartialRef<'a>> PartialRef<'a> for Const<SomePart, Reference> where
Reference::Target: HasPart<SomePart>,
Extending a valid reference by a constant part is still a valid reference when the reference target has such a part.
Create a partial reference from a raw pointer. Read more
Access to the underlying raw pointer. Read more
fn borrow<BorrowedRef, SubsetIndex>(&'a mut self) -> BorrowedRef where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
fn borrow<BorrowedRef, SubsetIndex>(&'a mut self) -> BorrowedRef where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
Partially re-borrows a partial reference. Read more
Access a part of the referenced value. Read more
fn part_mut<FieldPartSpec, FieldPart, PartIndex, FieldType>(
&'a mut self,
_part: FieldPartSpec
) -> &'a mut FieldType where
FieldType: ?Sized,
FieldPart: Part<PartType = Field<FieldType>>,
FieldPartSpec: PartSpec<FieldPart>,
Self: PluckMut<'a, FieldPart, PartIndex>,
Self::Target: HasPart<FieldPart> + 'a,
fn part_mut<FieldPartSpec, FieldPart, PartIndex, FieldType>(
&'a mut self,
_part: FieldPartSpec
) -> &'a mut FieldType where
FieldType: ?Sized,
FieldPart: Part<PartType = Field<FieldType>>,
FieldPartSpec: PartSpec<FieldPart>,
Self: PluckMut<'a, FieldPart, PartIndex>,
Self::Target: HasPart<FieldPart> + 'a,
Mutable access to a part of the referenced value. Read more
fn split_borrow<BorrowedRef, SubsetIndex>(
&'a mut self
) -> (BorrowedRef, Self::Remainder) where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
fn split_borrow<BorrowedRef, SubsetIndex>(
&'a mut self
) -> (BorrowedRef, Self::Remainder) where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
Partially re-borrows a partial reference, splitting off the remaining parts. Read more
fn split_part<FieldPartSpec, FieldPart, PartIndex, FieldType>(
&'a mut self,
_part: FieldPartSpec
) -> (&'a FieldType, Self::Remainder) where
FieldType: ?Sized,
FieldPart: Part<PartType = Field<FieldType>>,
FieldPartSpec: PartSpec<FieldPart>,
Self: PluckConst<'a, FieldPart, PartIndex>,
Self::Target: HasPart<FieldPart> + 'a,
fn split_part<FieldPartSpec, FieldPart, PartIndex, FieldType>(
&'a mut self,
_part: FieldPartSpec
) -> (&'a FieldType, Self::Remainder) where
FieldType: ?Sized,
FieldPart: Part<PartType = Field<FieldType>>,
FieldPartSpec: PartSpec<FieldPart>,
Self: PluckConst<'a, FieldPart, PartIndex>,
Self::Target: HasPart<FieldPart> + 'a,
Access a part of the referenced value, splitting off the remaining parts. Read more
fn split_part_mut<FieldPartSpec, FieldPart, PartIndex, FieldType>(
&'a mut self,
_part: FieldPartSpec
) -> (&'a mut FieldType, Self::Remainder) where
FieldType: ?Sized,
FieldPart: Part<PartType = Field<FieldType>>,
FieldPartSpec: PartSpec<FieldPart>,
Self: PluckMut<'a, FieldPart, PartIndex>,
Self::Target: HasPart<FieldPart> + 'a,
fn split_part_mut<FieldPartSpec, FieldPart, PartIndex, FieldType>(
&'a mut self,
_part: FieldPartSpec
) -> (&'a mut FieldType, Self::Remainder) where
FieldType: ?Sized,
FieldPart: Part<PartType = Field<FieldType>>,
FieldPartSpec: PartSpec<FieldPart>,
Self: PluckMut<'a, FieldPart, PartIndex>,
Self::Target: HasPart<FieldPart> + 'a,
Mutable access to a part of the referenced value, splitting off the remaining parts. Read more
impl<'a, ContainingPart, PluckedOuter, PluckedInner, Reference, NestedPartIndex, Index, OuterFieldType, ContainingFieldType> PluckConst<'a, Nested<PluckedOuter, PluckedInner>, IndexSplit<NestedPartIndex, Index>> for Const<ContainingPart, Reference> where
PluckedOuter: Part<PartType = Field<OuterFieldType>>,
PluckedInner: Part,
ContainingPart: Part<PartType = Field<ContainingFieldType>>,
ContainingFieldType: SplitIntoParts<'a, ContainingPart, Reference>,
ContainingFieldType: ?Sized,
ContainingFieldType::ResultMut: PluckConst<'a, Nested<PluckedOuter, PluckedInner>, Index>,
OuterFieldType: ?Sized,
OuterFieldType: HasPart<PluckedInner>,
OuterFieldType: PartialRefTarget<RawTarget = OuterFieldType>,
Reference: PartialRef<'a>,
Reference::Target: HasPart<ContainingPart>,
ContainingPart: ContainsNestedPart<PluckedOuter, NestedPartIndex>,
impl<'a, ContainingPart, PluckedOuter, PluckedInner, Reference, NestedPartIndex, Index, OuterFieldType, ContainingFieldType> PluckConst<'a, Nested<PluckedOuter, PluckedInner>, IndexSplit<NestedPartIndex, Index>> for Const<ContainingPart, Reference> where
PluckedOuter: Part<PartType = Field<OuterFieldType>>,
PluckedInner: Part,
ContainingPart: Part<PartType = Field<ContainingFieldType>>,
ContainingFieldType: SplitIntoParts<'a, ContainingPart, Reference>,
ContainingFieldType: ?Sized,
ContainingFieldType::ResultMut: PluckConst<'a, Nested<PluckedOuter, PluckedInner>, Index>,
OuterFieldType: ?Sized,
OuterFieldType: HasPart<PluckedInner>,
OuterFieldType: PartialRefTarget<RawTarget = OuterFieldType>,
Reference: PartialRef<'a>,
Reference::Target: HasPart<ContainingPart>,
ContainingPart: ContainsNestedPart<PluckedOuter, NestedPartIndex>,
(internal) Pluck a constant nested subpart of the constant first part.
impl<'a, PluckedPart, Reference> PluckConst<'a, PluckedPart, IndexHere> for Const<PluckedPart, Reference> where
PluckedPart: Part,
Reference: PartialRef<'a>,
Reference::Target: HasPart<PluckedPart>,
impl<'a, PluckedPart, Reference> PluckConst<'a, PluckedPart, IndexHere> for Const<PluckedPart, Reference> where
PluckedPart: Part,
Reference: PartialRef<'a>,
Reference::Target: HasPart<PluckedPart>,
(internal) Plucks the outermost constant part.
impl<'a, PluckedPart, SkippedPart, Reference, Index> PluckConst<'a, PluckedPart, IndexNext<Index>> for Const<SkippedPart, Reference> where
PluckedPart: Part,
SkippedPart: Part,
Reference::Target: HasPart<PluckedPart>,
Reference::Target: HasPart<SkippedPart>,
Reference: PluckConst<'a, PluckedPart, Index>,
impl<'a, PluckedPart, SkippedPart, Reference, Index> PluckConst<'a, PluckedPart, IndexNext<Index>> for Const<SkippedPart, Reference> where
PluckedPart: Part,
SkippedPart: Part,
Reference::Target: HasPart<PluckedPart>,
Reference::Target: HasPart<SkippedPart>,
Reference: PluckConst<'a, PluckedPart, Index>,
(internal) Skips the constant first part while plucking a constant part.
impl<'a, PluckedPart, SkippedPart, Reference, Index> PluckMut<'a, PluckedPart, IndexNext<Index>> for Const<SkippedPart, Reference> where
PluckedPart: Part,
SkippedPart: Part,
Reference::Target: HasPart<PluckedPart>,
Reference::Target: HasPart<SkippedPart>,
Reference: PluckMut<'a, PluckedPart, Index>,
impl<'a, PluckedPart, SkippedPart, Reference, Index> PluckMut<'a, PluckedPart, IndexNext<Index>> for Const<SkippedPart, Reference> where
PluckedPart: Part,
SkippedPart: Part,
Reference::Target: HasPart<PluckedPart>,
Reference::Target: HasPart<SkippedPart>,
Reference: PluckMut<'a, PluckedPart, Index>,
(internal) Skips the constant first part while plucking a mutable part.
A reference containing just constant parts is safe to clone.
Auto Trait Implementations
impl<Part, Reference> RefUnwindSafe for Const<Part, Reference> where
Part: RefUnwindSafe,
Reference: RefUnwindSafe,
<<Reference as HasTarget>::Target as PartialRefTarget>::RawTarget: RefUnwindSafe,
impl<Part, Reference> UnwindSafe for Const<Part, Reference> where
Part: UnwindSafe,
Reference: UnwindSafe,
<<Reference as HasTarget>::Target as PartialRefTarget>::RawTarget: RefUnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Given a constant pointer to a target, produce a constant pointer to a part of it. Read more
pub unsafe fn part_ptr_mut(
*mut <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::PtrMut
pub unsafe fn part_ptr_mut(
*mut <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::PtrMut
Given a mutable pointer to a target, produce a mutable pointer to a part of it. Read more
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
Reference: HasTarget,
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
Reference: HasTarget,
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
type Remainder = <<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder as HasSubset<'a, Reference, TailIndex>>::Remainder
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
Reference: HasTarget,
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
Reference: HasTarget,
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
type Remainder = <<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder as HasSubset<'a, Reference, TailIndex>>::Remainder
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Mut<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
Reference: HasTarget,
PluckedRef: PluckMut<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Mut<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
Reference: HasTarget,
PluckedRef: PluckMut<'a, SubsetPart, PartIndex>,
<PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
impl<'a, Reference> HasSubset<'a, Ref<'a, <Reference as HasTarget>::Target>, SubsetIndexEnd> for Reference where
Reference: PartialRef<'a>,
impl<'a, Reference> HasSubset<'a, Ref<'a, <Reference as HasTarget>::Target>, SubsetIndexEnd> for Reference where
Reference: PartialRef<'a>,
type Remainder = Reference