pub enum ResettingExternalProjection<Transport, SourceCleanliness> {
Continue {
connection: Conn<Transport, Resetting, SourceCleanliness>,
message: ResettingContinueExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
DiscardComplete {
connection: Conn<Transport, ResetComplete, SourceCleanliness>,
message: ResettingDiscardCompleteExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, Draining, SourceCleanliness>,
message: ResettingErrorExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for ResettingExternalMessage.
Variants§
Continue
The Event::Continue transition and its correctly typed next connection.
Fields
connection: Conn<Transport, Resetting, SourceCleanliness>Connection after applying the selected message transition.
message: ResettingContinueExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
DiscardComplete
The Event::DiscardComplete transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ResetComplete, SourceCleanliness>Connection after applying the selected message transition.
message: ResettingDiscardCompleteExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Error
The Event::Error transition and its correctly typed next connection.
Fields
connection: Conn<Transport, Draining, SourceCleanliness>Connection after applying the selected message transition.
message: ResettingErrorExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.