[−][src]Trait ensure::Existential

pub trait Existential<T> {
    type Error;
    fn ensure_present(self) -> Result<Present<T>, Self::Error>;

    fn ensure_absent(self) -> Result<Absent<T>, Self::Error>;
}

Types implement Existential trait if they implement both Ensure<Present<T>> and Ensure<Absent<T>>.

Associated Types

type Error

Loading content...

Required methods

fn ensure_present(self) -> Result<Present<T>, Self::Error>

Ensure that T is Present<T>

fn ensure_absent(self) -> Result<Absent<T>, Self::Error>

Ensure that T is Absent<T>

Loading content...

Implementors

impl<T, E, R, PA, AA> Existential<T> for R where
    R: Ensure<Present<T>, EnsureAction = PA>,
    PA: Meet<Met = Present<T>, Error = E>,
    R: Ensure<Absent<T>, EnsureAction = AA>,
    AA: Meet<Met = Absent<T>, Error = E>, [src]

type Error = E

Loading content...