Struct smart_access::AT

#[must_use]pub struct AT<T, Index> { /* fields omitted */ }

A “reference” to some “location”.

With default Cps implementors every AT is guaranteed to be a list of “path parts” with type

AT<..AT<AT<AT<&mut root, I1>,I2>,I3>..In>

Though AT is exposed, it's strongly recommended to use impl Cps<View=T> as a return type of your functions and Cps<View=T> bounds on their parameters.

Trait Implementations

impl<T, V: ?Sized, Index> Cps for AT<T, Index> where
    T: Cps<View = V>,
    V: At<Index>, 

access returns Some / None according to rules described here

type View = V::View

fn access<R, F>(self, f: F) -> Option<R> where
    F: FnOnce(&mut Self::View) -> R, 

Returns Some(f(..)) or None.

fn replace(self, new_val: Self::View) -> Option<Self::View> where
    Self: Sized,
    Self::View: Sized, 

Equivalent to self.access(|x| std::mem::replace(x, new_val))

fn touch(self) -> Option<()> where
    Self: Sized, 

Equivalent to self.access(|_| ())

fn at<Index>(self, i: Index) -> AT<Self, Index> where
    Self: Sized,
    Self::View: At<Index>, 

“Moves in the direction” of the provided index.

fn batch_ct(self) -> CpsBatch<Self, ()> where
    Self: Sized, 

Constructs a compile-time batch.

fn batch_rt<R>(
    self
) -> CpsBatch<Self, Vec<Box<dyn FnOnce(&mut Self::View, Option<R>) -> R>>> where
    Self: Sized, 

Constructs a runtime batch.