Struct frunk::path::Path

pub struct Path<T>(_);

Methods

impl<T> Path<T>

pub fn new() -> Path<T>

Creates a new Path

pub fn get<V, I, O>(&self, o: O) -> V where
    O: PathTraverser<Path<T>, I, TargetValue = V>, 

Gets something using the current path

Trait Implementations

impl<HeadName, TailNames, HeadPluckIndex, TailPluckIndices, Traversable> PathTraverser<Path<HCons<HeadName, Path<TailNames>>>, HCons<HeadPluckIndex, TailPluckIndices>> for Traversable where
    Traversable: IntoLabelledGeneric,
    <Traversable as IntoLabelledGeneric>::Repr: ByNameFieldPlucker<HeadName, HeadPluckIndex>,
    <<Traversable as IntoLabelledGeneric>::Repr as ByNameFieldPlucker<HeadName, HeadPluckIndex>>::TargetValue: PathTraverser<Path<TailNames>, TailPluckIndices>, 

type TargetValue = <<<Traversable as IntoLabelledGeneric>::Repr as ByNameFieldPlucker<HeadName, HeadPluckIndex>>::TargetValue as PathTraverser<Path<TailNames>, TailPluckIndices>>::TargetValue

fn get(
    self
) -> <Traversable as PathTraverser<Path<HCons<HeadName, Path<TailNames>>>, HCons<HeadPluckIndex, TailPluckIndices>>>::TargetValue

Returns a pair consisting of the value pointed to by the target key and the remainder.

impl<Name, PluckIndex, Traversable> PathTraverser<Path<HCons<Name, HNil>>, PluckIndex> for Traversable where
    Traversable: IntoLabelledGeneric,
    <Traversable as IntoLabelledGeneric>::Repr: ByNameFieldPlucker<Name, PluckIndex>, 

type TargetValue = <<Traversable as IntoLabelledGeneric>::Repr as ByNameFieldPlucker<Name, PluckIndex>>::TargetValue

fn get(
    self
) -> <Traversable as PathTraverser<Path<HCons<Name, HNil>>, PluckIndex>>::TargetValue

Returns a pair consisting of the value pointed to by the target key and the remainder.

impl<T> Clone for Path<T> where
    T: Clone, 

fn clone(&self) -> Path<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Name, Tail, RHSParam> Add<Path<RHSParam>> for Path<HCons<Name, Path<Tail>>> where
    Path<Tail>: Add<Path<RHSParam>>, 

type Output = Path<HCons<Name, <Path<Tail> as Add<Path<RHSParam>>>::Output>>

The resulting type after applying the + operator.

fn add(
    self,
    Path<RHSParam>
) -> <Path<HCons<Name, Path<Tail>>> as Add<Path<RHSParam>>>::Output

Performs the + operation.

impl<Name, RHSParam> Add<Path<RHSParam>> for Path<HCons<Name, HNil>>

type Output = Path<HCons<Name, Path<RHSParam>>>

The resulting type after applying the + operator.

fn add(
    self,
    Path<RHSParam>
) -> <Path<HCons<Name, HNil>> as Add<Path<RHSParam>>>::Output

Performs the + operation.

impl<T> Debug for Path<T> where
    T: Debug, 

fn fmt(&self, f: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl<T> Copy for Path<T> where
    T: Copy,