pub enum Course {
Sweep,
WriteBack,
Ask,
}Expand description
What recovery does about a session left behind, without being told.
Exhaustive over State on purpose. Two predicates would let a state added
later fall into whichever bucket the negation happened to put it in, and the
buckets here are delete it, write to somebody’s container and interrupt
them — three things that must never be picked by accident.
Variants§
Sweep
Nothing was lost. Remove it and say nothing (concept 6.3).
WriteBack
An edit that never reached a container that is still where it was. Put it back, and say so.
Ask
Only a person can settle it.
Trait Implementations§
impl Copy for Course
impl Eq for Course
impl StructuralPartialEq for Course
Auto Trait Implementations§
impl Freeze for Course
impl RefUnwindSafe for Course
impl Send for Course
impl Sync for Course
impl Unpin for Course
impl UnsafeUnpin for Course
impl UnwindSafe for Course
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.