[−][src]Trait ensure::ExternalState

pub trait ExternalState<T> where
    T: External, {
    fn invalidate_state(self) -> T;
}

State representations of External object in the type system.

Required methods

fn invalidate_state(self) -> T

Gets base undefined state representation from concrete state.

Loading content...

Implementors

impl<T> ExternalState<T> for Absent<T> where
    T: External, [src]

impl<T> ExternalState<T> for Present<T> where
    T: External, [src]

impl<T> ExternalState<T> for T where
    T: External, [src]

Loading content...