[][src]Struct partial_ref::Mut

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

A mutable part of a partial reference.

Trait Implementations

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

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

The referenced type.

Partially re-borrows a partial reference. Read more

Access a part of the referenced value. Read more

Mutable access to a part of the referenced value. Read more

Partially re-borrows a partial reference, splitting off the remaining parts. Read more

Access a part of the referenced value, splitting off the remaining parts. Read more

Mutable access to a part of the referenced value, splitting off the remaining parts. Read more

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

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

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>, 
[src]

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

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>, 
[src]

(internal) Pluck a constant nested subpart of the mutable first part.

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

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>, 
[src]

(internal) Plucks the first mutable part.

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>, 
[src]

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

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>, 
[src]

(internal) Pluck a mutable nested subpart of the mutable first part.

This leaves all other subparts in the remaining reference.

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>, 
[src]

(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.

Auto Trait Implementations

impl<Part, Reference> Send for Mut<Part, Reference> where
    Part: Send,
    Reference: Send

impl<Part, Reference> Sync for Mut<Part, Reference> where
    Part: Sync,
    Reference: Sync

Blanket Implementations

impl<Reference, Outer, OuterFieldType, Inner> HasPart for Reference where
    Inner: Part,
    Outer: Part<PartType = Field<OuterFieldType>>,
    OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
    Reference: HasPart<Outer> + ?Sized
[src]

impl<'a, Reference> HasSubset for Reference where
    Reference: PartialRef<'a>, 
[src]

impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset for PluckedRef where
    PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
    <PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>, 
[src]

impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset for PluckedRef where
    PluckedRef: PluckMut<'a, SubsetPart, PartIndex>,
    <PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>, 
[src]

impl<T> From for T
[src]

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom for T where
    T: From<U>, 
[src]

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Any for T where
    T: 'static + ?Sized
[src]