Trait singleton_trait::Exists

pub trait Exists<T: Sized> {
    fn erase(self) -> Erased<T>;
}

The Exists trait is intended to be used with impl, to denote an argument where the existence of a value is sufficient as an argument

Required methods

fn erase(self) -> Erased<T>

Implementors

impl<'a, 'b, T> Exists<&'a T> for &'a Erased<&'b T>

impl<'a, 'b: 'a, T> Exists<&'a T> for &'a Erased<&'b mut T>

impl<'a, 'b: 'a, T> Exists<&'a T> for Erased<&'b T>

impl<'a, 'b: 'a, T> Exists<&'a T> for Erased<&'b mut T>

impl<'a, 'b: 'a, T> Exists<&'a mut T> for &'a mut Erased<&'b mut T>

impl<'a, 'b: 'a, T> Exists<&'a mut T> for Erased<&'b mut T>

impl<T> Exists<T> for T