[−][src]Struct partial_ref::Const
A constant (immutable) part of a partial reference.
Trait Implementations
impl<SomePart, Reference: Copy + HasTarget> Clone for Const<SomePart, Reference>
[src]
A reference containing just constant parts is safe to clone.
fn clone(&self) -> Self
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<SomePart, Reference: Copy + HasTarget> Copy for Const<SomePart, Reference>
[src]
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,
[src]
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>> HasTarget for Const<SomePart, Reference> where
Reference::Target: HasPart<SomePart>,
[src]
Reference::Target: HasPart<SomePart>,
impl<'a, SomePart: Part, Reference: PartialRef<'a>> PartialRef<'a> for Const<SomePart, Reference> where
Reference::Target: HasPart<SomePart>,
[src]
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.
unsafe fn from_raw(
ptr: *mut <Self::Target as PartialRefTarget>::RawTarget
) -> Self
[src]
ptr: *mut <Self::Target as PartialRefTarget>::RawTarget
) -> Self
fn get_raw(&self) -> *mut <Self::Target as PartialRefTarget>::RawTarget
[src]
fn borrow<BorrowedRef, SubsetIndex>(&'a mut self) -> BorrowedRef where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
[src]
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
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,
[src]
&'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,
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,
[src]
&'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 split_borrow<BorrowedRef, SubsetIndex>(
&'a mut self
) -> (BorrowedRef, Self::Remainder) where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
[src]
&'a mut self
) -> (BorrowedRef, Self::Remainder) where
BorrowedRef: PartialRef<'a, Target = Self::Target>,
Self: HasSubset<'a, BorrowedRef, SubsetIndex>,
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,
[src]
&'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_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,
[src]
&'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,
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>,
[src]
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>,
[src]
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>,
[src]
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>,
[src]
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.
Auto Trait Implementations
impl<Part, Reference> RefUnwindSafe for Const<Part, Reference> where
Part: RefUnwindSafe,
Reference: RefUnwindSafe,
<<Reference as HasTarget>::Target as PartialRefTarget>::RawTarget: RefUnwindSafe,
<Reference as HasTarget>::Target: PartialRefTarget,
Part: RefUnwindSafe,
Reference: RefUnwindSafe,
<<Reference as HasTarget>::Target as PartialRefTarget>::RawTarget: RefUnwindSafe,
<Reference as HasTarget>::Target: PartialRefTarget,
impl<Part, Reference> !Send for Const<Part, Reference>
impl<Part, Reference> !Sync for Const<Part, Reference>
impl<Part, Reference> Unpin for Const<Part, Reference> where
Part: Unpin,
Reference: Unpin,
Part: Unpin,
Reference: Unpin,
impl<Part, Reference> UnwindSafe for Const<Part, Reference> where
Part: UnwindSafe,
Reference: UnwindSafe,
<<Reference as HasTarget>::Target as PartialRefTarget>::RawTarget: RefUnwindSafe,
Part: UnwindSafe,
Reference: UnwindSafe,
<<Reference as HasTarget>::Target as PartialRefTarget>::RawTarget: RefUnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference where
Inner: Part,
Outer: Part<PartType = Field<OuterFieldType>>,
OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
Reference: HasPart<Outer> + ?Sized,
[src]
Inner: Part,
Outer: Part<PartType = Field<OuterFieldType>>,
OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
Reference: HasPart<Outer> + ?Sized,
unsafe fn part_ptr(
*const <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::Ptr
[src]
*const <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::Ptr
unsafe fn part_ptr_mut(
*mut <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::PtrMut
[src]
*mut <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::PtrMut
impl<'a, SubsetPart, Reference, PluckedRef, PartIndex, TailIndex> HasSubset<'a, Const<SubsetPart, Reference>, SubsetIndexCons<PartIndex, TailIndex>> for PluckedRef where
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
Reference: HasTarget,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
[src]
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
Reference: HasTarget,
<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
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
Reference: HasTarget,
<PluckedRef as PluckConst<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
[src]
PluckedRef: PluckConst<'a, SubsetPart, PartIndex>,
Reference: HasTarget,
<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
PluckedRef: PluckMut<'a, SubsetPart, PartIndex>,
Reference: HasTarget,
<PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
[src]
PluckedRef: PluckMut<'a, SubsetPart, PartIndex>,
Reference: HasTarget,
<PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder: HasSubset<'a, Reference, TailIndex>,
type Remainder = <<PluckedRef as PluckMut<'a, SubsetPart, PartIndex>>::Remainder as HasSubset<'a, Reference, TailIndex>>::Remainder
impl<'a, Reference> HasSubset<'a, Ref<'a, <Reference as HasTarget>::Target>, SubsetIndexEnd> for Reference where
Reference: PartialRef<'a>,
[src]
Reference: PartialRef<'a>,
type Remainder = Reference
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,