Struct partial_ref::Mut

#[repr(transparent)]
pub struct Mut<Part, Reference: HasTarget> { /* fields omitted */ }

A mutable part of a partial reference.

Trait Implementations

impl<'a, SomePart: Part, Reference: PartialRef<'a>> HasTarget for Mut<SomePart, Reference> where
    Reference::Target: HasPart<SomePart>, 

type Target = Reference::Target

The referenced type.

impl<'a, SomePart: Part, Reference: PartialRef<'a>> PartialRef<'a> for Mut<SomePart, Reference> where
    Reference::Target: HasPart<SomePart>, 

Extending a valid reference by a mutable part is still a valid reference when the reference target has such a part.

unsafe fn from_raw(
    ptr: *mut <Self::Target as PartialRefTarget>::RawTarget
) -> Self

Create a partial reference from a raw pointer.

fn get_raw(&self) -> *mut <Self::Target as PartialRefTarget>::RawTarget

Access to the underlying raw pointer.

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.

fn part<FieldPartSpec, FieldPart, PartIndex, FieldType>(
    &'a self,
    _part: FieldPartSpec
) -> &'a FieldType 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.

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.

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.

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.

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.

impl<'a, PluckedPart, Reference> PluckConst<'a, PluckedPart, IndexHere> for Mut<PluckedPart, Reference> where
    PluckedPart: Part,
    Reference: PartialRef<'a>,
    Reference::Target: HasPart<PluckedPart>, 

(internal) Plucks the first part, converting it from mutable to constant.

type Remainder = Const<PluckedPart, Reference>

The partial reference left after plucking.

impl<'a, PluckedPart, SkippedPart, Reference, Index> PluckConst<'a, PluckedPart, IndexNext<Index>> for Mut<SkippedPart, Reference> where
    PluckedPart: Part,
    SkippedPart: Part,
    Reference::Target: HasPart<PluckedPart>,
    Reference::Target: HasPart<SkippedPart>,
    Reference: PluckConst<'a, PluckedPart, Index>, 

(internal) Skips the mutable first part while plucking a constant part.

type Remainder = Mut<SkippedPart, Reference::Remainder>

The partial reference left after plucking.

impl<'a, ContainingPart, PluckedOuter, PluckedInner, Reference, NestedPartIndex, Index, OuterFieldType, ContainingFieldType> PluckConst<'a, Nested<PluckedOuter, PluckedInner>, IndexSplit<NestedPartIndex, Index>> for Mut<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 mutable first part.

This leaves all other subparts as mutable in the remaining reference.

type Remainder = <ContainingFieldType::ResultMut as PluckConst<'a, Nested<PluckedOuter, PluckedInner>, Index>>::Remainder

The partial reference left after plucking.

impl<'a, PluckedPart, Reference> PluckMut<'a, PluckedPart, IndexHere> for Mut<PluckedPart, Reference> where
    PluckedPart: Part,
    Reference: PartialRef<'a>,
    Reference::Target: HasPart<PluckedPart>, 

(internal) Plucks the first mutable part.

type Remainder = Reference

The partial reference left after plucking.

impl<'a, PluckedPart, SkippedPart, Reference, Index> PluckMut<'a, PluckedPart, IndexNext<Index>> for Mut<SkippedPart, Reference> where
    PluckedPart: Part,
    SkippedPart: Part,
    Reference::Target: HasPart<PluckedPart>,
    Reference::Target: HasPart<SkippedPart>,
    Reference: PluckMut<'a, PluckedPart, Index>, 

(internal) Skips the mutable first part while plucking a mutable part.

type Remainder = Mut<SkippedPart, Reference::Remainder>

The partial reference left after plucking.

impl<'a, ContainingPart, PluckedOuter, PluckedInner, Reference, NestedPartIndex, Index, OuterFieldType, ContainingFieldType> PluckMut<'a, Nested<PluckedOuter, PluckedInner>, IndexSplit<NestedPartIndex, Index>> for Mut<ContainingPart, Reference> where
    PluckedOuter: Part<PartType = Field<OuterFieldType>>,
    PluckedInner: Part,
    ContainingPart: Part<PartType = Field<ContainingFieldType>>,
    ContainingFieldType: SplitIntoParts<'a, ContainingPart, Reference>,
    ContainingFieldType: ?Sized,
    ContainingFieldType::ResultMut: PluckMut<'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 mutable nested subpart of the mutable first part.

This leaves all other subparts in the remaining reference.

type Remainder = <ContainingFieldType::ResultMut as PluckMut<'a, Nested<PluckedOuter, PluckedInner>, Index>>::Remainder

The partial reference left after plucking.

impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Mut<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
    PluckedRef: PluckMut<'a, SubsetPart, PartIndex>,
    <PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
    Reference: HasTarget, 

(internal) To have a reference with a mutable first part as subset, pluck that part and make sure the remaining references are in a subset relation.

type Remainder = <<PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder as HasSubset<'a, Reference, TailIndex>>::Remainder