Struct mini_haskell::rc_view::RcView

pub struct RcView<T: ?Sized, U: ?Sized> { /* fields omitted */ }

A view into an Rc.

Implementations

impl<T: ?Sized, U: ?Sized> RcView<T, U>

pub fn new(whole: Rc<T>, to_focus: impl FnOnce(&T) -> &U) -> Self

Create a view into an Rc.

pub unsafe fn wrap(whole: Rc<T>, focus: &U) -> Self

Create a view into an Rc.

Safety

Call on this unsafe functions should take special care so that the provided reference focus is indeed a view into the related Rc.

pub fn map<V: ?Sized>(self, f: impl FnOnce(&U) -> &V) -> RcView<T, V>

Refocus the view.

pub unsafe fn derive<V: ?Sized>(&self, focus: &V) -> RcView<T, V>

Derive an RcView to a new focus from this view.

Safety

Call on this unsafe functions should take special care so that the provided reference focus is indeed a view into the related Rc.

pub unsafe fn derive_take<V: ?Sized>(self, focus: &V) -> RcView<T, V>

Derive an RcView to a new focus from this view. Consumes this view.

Safety

Call on this unsafe functions should take special care so that the provided reference focus is indeed a view into the related Rc.

Trait Implementations

impl<T: ?Sized, U: Debug + ?Sized> Debug for RcView<T, U>

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

Formats the value using the given formatter.

impl<T: ?Sized, U: ?Sized> Deref for RcView<T, U>

type Target = U

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T: ?Sized, U: Display + ?Sized> Display for RcView<T, U>

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

Formats the value using the given formatter.

impl<T: ?Sized> From<Rc<T>> for RcView<T, T>

fn from(whole: Rc<T>) -> Self

Performs the conversion.

impl<T: ?Sized, U> From<RcView<UnsafeCell<T>, Option<U>>> for Option<U>

fn from(this: RcView<UnsafeCell<T>, Option<U>>) -> Self

Performs the conversion.