Type Definition smart_access::DetachedPath

type DetachedPath<View, List> = AT<DetachedRoot<View>, List>;

A concrete type of detached paths. Requires detach feature.

Usually impl Attach<V, View=W> is preferable to DetachedPath<V, List> but sometimes the latter prevents fighting with the borrow checker (impl Trait returned from a function holds all the references passed to generically typed arguments of the function).

Trait Implementations

impl<ToView: ?Sized, List> Attach<ToView> for DetachedPath<ToView, List> where
    List: AtView<ToView>, 

type List = List

type View = List::View

fn attach_to<CPS>(self, cps: CPS) -> AT<CPS, Self::List> where
    CPS: Cps<View = ToView>,