Struct UpdateOutcome 

pub struct UpdateOutcome<T, E, R = (), DO = DropUndecided, const EVENTS_DECIDED: bool = false> { /* private fields */ }

What an update performed under the lock produced: the events to queue, a value to drop once they were delivered, and the result to give back to the caller.

The two type-state parameters make each effect settable at most once, and let the arms of a branching update share one type: an arm that sets no events next to one that does still has to say so, with Self::without_events.

Implementations

impl<T, E, R> UpdateOutcome<T, E, R>

pub fn new(result: R) -> Self

impl<T, E> UpdateOutcome<T, E>

pub fn empty() -> Self

impl<T, E, R, const EVENTS_DECIDED: bool> UpdateOutcome<T, E, R, DropUndecided, EVENTS_DECIDED>

pub fn with_drop_outside<DO>( self, drop_outside: DO, ) -> UpdateOutcome<T, E, R, DropDecided<DO>, EVENTS_DECIDED>

pub fn without_drop_outside<DO>( self, ) -> UpdateOutcome<T, E, R, DropDecided<DO>, EVENTS_DECIDED>

impl<T, E, R, DO> UpdateOutcome<T, E, R, DO, false>

pub fn with_next_event(self, next: T) -> UpdateOutcome<T, E, R, DO, true>

pub fn with_termination_event( self, termination: Termination<E>, ) -> UpdateOutcome<T, E, R, DO, true>

pub fn with_next_and_termination_events( self, next: T, termination: Termination<E>, ) -> UpdateOutcome<T, E, R, DO, true>

pub fn with_events( self, events: EventBatch<T, E>, ) -> UpdateOutcome<T, E, R, DO, true>

pub fn without_events(self) -> UpdateOutcome<T, E, R, DO, true>

Trait Implementations

impl<T, E, R, DO, const EVENTS_DECIDED: bool> Debug for UpdateOutcome<T, E, R, DO, EVENTS_DECIDED>

where Option<EventBatch<T, E>>: Debug, DO: Debug, R: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.