pub trait RefKpTrait<R, V>: KpTrait<R, V, &'static R, &'static V, &'static mut R, &'static mut V>where
R: 'static,
V: 'static,{
// Required methods
fn focus<'a>(&self, root: &'a R) -> Option<&'a V>;
fn focus_mut<'a>(&self, root: &'a mut R) -> Option<&'a mut V>;
}Expand description
Reference-shaped KpTrait (Root = &R, Value = &V) with HRTB navigation.
Use Self::focus / Self::focus_mut for local borrows; Readable::get / Writable::set
use the 'static link types and are intended for composition (KpTrait::then, etc.).
Required Methods§
fn focus<'a>(&self, root: &'a R) -> Option<&'a V>
fn focus_mut<'a>(&self, root: &'a mut R) -> Option<&'a mut V>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".