[−][src]Struct structural::NestedFieldPath

#[repr(transparent)]pub struct NestedFieldPath<T> {
    pub list: T,
}

A type-level representation of a chain of field accesses,like .a.b.c.d.

This is the type that fp!(a.b) and fp!(::Foo.bar.baz) construct.
Note: fp!(::Foo.bar) constructs a VariantField.

Construction

You can construct this using (not an exhaustive list):

fp macro,when you access a nested field
The NestedFieldPath{list} struct literal
The one or many constructors.
The NEW associated constant,if T implements core_extensions::ConstDefault (reexported in structural::reexports::ConstDefault)

Examples

You can look for examples of using this in the single-field StructuralExt methods, like field_ and field_mut.

Fields

list: T

The list of fields this traverses to access a nested field.

Implementations

`impl<T> NestedFieldPath<T> where T: ConstDefault,` [src]

`pub const NEW: Self`[src]

Constructs a NestedFieldPath<T>

`impl<T> NestedFieldPath<(T,)>`[src]

`pub const fn one(value: T) -> Self`[src]

Construcst a NestedFieldPath from a single path component.

`impl<T> NestedFieldPath<T>`[src]

`pub const fn many(list: T) -> Self`[src]

Constructs a NestedFieldPath for a nested field.

Example: NestedFieldPath::many(( ts!(a), ts!(b) )) is equivalent to fp!(a.b)

Example: NestedFieldPath::many(( VariantField::new(ts!(A), ts!(b)), ts!(c) )) is equivalent to fp!(::A.b.c)

`impl<T> NestedFieldPath<T>`[src]

`pub fn push<U, V>(self, _other: U) -> NestedFieldPath<V> where Self: PushBack<U, Output = NestedFieldPath<V>>, NestedFieldPath<V>: ConstDefault,` [src]

Constructs a new NestedFieldPath with _other appended at the end.

Example arguments:fp!(a)/fp!(::Foo.bar)/fp!(::Foo)

`pub fn append( self, _other: NestedFieldPath ) -> NestedFieldPath<AppendOut<T, U>> where T: Append, NestedFieldPath<AppendOut<T, U>>: ConstDefault,` [src]

Constructs a new NestedFieldPath with _other appended at the end.

Example arguments:fp!(a,b)/fp!(::Foo.bar.baz)

`pub const fn into_set(self) -> FieldPathSet<(Self,), UniquePaths>`[src]

Converts this NestedFieldPath to a FieldPathSet.

Example

use structural::{StructuralExt, fp};

let tup=(3,(5,8),(13,21));

assert_eq!( tup.fields(fp!(2.0).into_set()), (&13,) );

`impl<C> NestedFieldPath<(C,)>`[src]

`pub fn into_component(self) -> C`[src]

Unwraps this non-nested field path into C.

This can also be done with path.list.0.

Trait Implementations

`impl<T, U> Append<NestedFieldPath> for NestedFieldPath<T> where T: Append,` [src]

`type Output = NestedFieldPath<AppendOut<T, U>>`

The return value of this trait.

`impl<T: Clone> Clone for NestedFieldPath<T>`[src]

`fn clone(&self) -> NestedFieldPath<T>`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<T> ConstDefault for NestedFieldPath<T> where T: ConstDefault,` [src]

`const DEFAULT: Self`[src]

`impl<T: Copy> Copy for NestedFieldPath<T>`[src]

`impl<T> Debug for NestedFieldPath<T>`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<T: Default> Default for NestedFieldPath<T>`[src]

`fn default() -> NestedFieldPath<T>`[src]

`impl<T> Eq for NestedFieldPath<T>`[src]

`impl<T> IsMultiFieldPath for NestedFieldPath<T>`[src]

`type PathUniqueness = UniquePaths`

Whether the paths in the set can contain duplicate paths. Read more

`impl<T> IsSingleFieldPath for NestedFieldPath<T>`[src]

`impl<T> Ord for NestedFieldPath<T>`[src]

`fn cmp(&self, _other: &Self) -> Ordering`[src]

`#[must_use]fn max(self, other: Self) -> Self`1.21.0[src]

`#[must_use]fn min(self, other: Self) -> Self`1.21.0[src]

`#[must_use]fn clamp(self, min: Self, max: Self) -> Self`[src]

`impl<T> PartialEq<NestedFieldPath<T>> for NestedFieldPath<T>`[src]

`fn eq(&self, _other: &Self) -> bool`[src]

`#[must_use]fn ne(&self, other: &Rhs) -> bool`1.0.0[src]

`impl<T> PartialOrd<NestedFieldPath<T>> for NestedFieldPath<T>`[src]

`fn partial_cmp(&self, _other: &Self) -> Option<Ordering>`[src]

`#[must_use]fn lt(&self, other: &Rhs) -> bool`1.0.0[src]

`#[must_use]fn le(&self, other: &Rhs) -> bool`1.0.0[src]

`#[must_use]fn gt(&self, other: &Rhs) -> bool`1.0.0[src]

`#[must_use]fn ge(&self, other: &Rhs) -> bool`1.0.0[src]

`impl<T, U, P> PushBack<NestedFieldPath> for FieldPathSet<T, U> where T: PushBack<NestedFieldPath>,` [src]

`type Output = FieldPathSet<PushBackOut<T, NestedFieldPath>, AliasedPaths>`

The return value of this trait.

`impl<T, S> PushBack<S> for NestedFieldPath<T> where T: PushBack<S>,` [src]