pub enum Step<Ph = Never, R = Never> {
Continue,
Goto(Ph),
Stop(R),
}Expand description
The become verdict (Agha 1986): what replaces the current behavior as it processes one event.
Variants§
Continue
Keep the current behavior; poll for the next event.
Goto(Ph)
Transition to another phase from the menu (no-op when already there).
Stop(R)
Stop after this reaction, with the carried reason.
Trait Implementations§
impl<Ph, R> Copy for Step<Ph, R>
impl<Ph, R> Eq for Step<Ph, R>
impl<Ph, R> StructuralPartialEq for Step<Ph, R>
Auto Trait Implementations§
impl<Ph, R> Freeze for Step<Ph, R>
impl<Ph, R> RefUnwindSafe for Step<Ph, R>where
Ph: RefUnwindSafe,
R: RefUnwindSafe,
impl<Ph, R> Send for Step<Ph, R>
impl<Ph, R> Sync for Step<Ph, R>
impl<Ph, R> Unpin for Step<Ph, R>
impl<Ph, R> UnsafeUnpin for Step<Ph, R>where
Ph: UnsafeUnpin,
R: UnsafeUnpin,
impl<Ph, R> UnwindSafe for Step<Ph, R>where
Ph: UnwindSafe,
R: UnwindSafe,
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