Skip to main content

RefKpTrait

Trait RefKpTrait 

Source
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§

Source

fn focus<'a>(&self, root: &'a R) -> Option<&'a V>

Source

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".

Implementors§