Trait owner_monad::Owner

pub trait Owner<T: ?Sized> {
    fn with<'a, U>(&'a self, f: impl FnOnce(&T) -> U) -> Option<U>
    where
        T: 'a;
}

A monad which conditionally provides immutable access to a T value.

Required methods

fn with<'a, U>(&'a self, f: impl FnOnce(&T) -> U) -> Option<U> where
    T: 'a, 

Applies the given function to the contained value, if it exists.

Loading content...

Implementations on Foreign Types

impl<T: ?Sized> Owner<T> for Weak<T>

fn with<'a, U>(&'a self, f: impl FnOnce(&T) -> U) -> Option<U> where
    T: 'a, 

impl<T: ?Sized> Owner<T> for Weak<T>

fn with<'a, U>(&'a self, f: impl FnOnce(&T) -> U) -> Option<U> where
    T: 'a, 

Loading content...

Implementors

impl<T> Owner<T> for PureOwner<T>

fn with<'a, U>(&'a self, f: impl FnOnce(&T) -> U) -> Option<U> where
    T: 'a, 

impl<T, U, OT: Owner<T>, OU: Owner<U>, F: Fn(&T) -> OU> Owner<U> for BindOwner<&T, U, OT, OU, F>

fn with<'a, V>(&'a self, f: impl FnOnce(&U) -> V) -> Option<V> where
    U: 'a, 

impl<T: ?Sized, O: ?Sized + Owner<T>> Owner<T> for &O

fn with<'a, U>(&'a self, f: impl FnOnce(&T) -> U) -> Option<U> where
    T: 'a, 

Loading content...