Struct frunk_core::path::Path

pub struct Path<T>(_);

Implementations

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<Self, I, TargetValue = V>, 

Gets something using the current path

Trait Implementations

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>) -> Self::Output

Performs the + operation.

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>) -> <Self as Add<Path<RHSParam>>>::Output

Performs the + operation.

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<T> Default for Path<T>

fn default() -> Self

Returns the “default value” for a type.

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) -> Self::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) -> Self::TargetValue

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

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