Trait owner_monad::OwnerMut

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

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

Required methods

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

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

Loading content...

Implementors

impl<T> OwnerMut<T> for PureOwner<T>

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

impl<T, U, OT: OwnerMut<T>, OU: OwnerMut<U>, F: FnMut(&mut T) -> OU> OwnerMut<U> for BindOwner<&mut T, U, OT, OU, F>

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

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

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

Loading content...