Trait partial_ref::HasSubset

pub unsafe trait HasSubset<'a, Reference, SubsetIndex>: PartialRef<'a> {
    type Remainder: PartialRef<'a, Target = Self::Target>;
}

(internal) Asserts that the parts of the partial reference Reference are a subset of the parts of the partial reference having this trait.

A list of parts is considered a subset if they can be plucked in sequence.

Associated Types

type Remainder: PartialRef<'a, Target = Self::Target>

Loading content...

Implementors

impl<'a, Reference> HasSubset<'a, Ref<'a, <Reference as HasTarget>::Target>, SubsetIndexEnd> for Reference where
    Reference: PartialRef<'a>, 

(internal) Every reference has the empty reference as subset.

type Remainder = Reference

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, 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

Loading content...