pub enum ResetCompleteExternalProjection<Transport, SourceCleanliness> {
Continue {
connection: Conn<Transport, ResetComplete, SourceCleanliness>,
message: ResetCompleteContinueExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReadyClean {
connection: Conn<Transport, Ready, Pristine>,
message: ResetCompleteReadyCleanExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReadyDirty {
connection: Conn<Transport, Ready, Dirty>,
message: ResetCompleteReadyDirtyExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, Draining, SourceCleanliness>,
message: ResetCompleteErrorExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for ResetCompleteExternalMessage.
Variants§
Continue
The Event::Continue transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ResetComplete, SourceCleanliness>Connection after applying the selected message transition.
message: ResetCompleteContinueExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
ReadyClean
The Event::ReadyClean transition and its correctly typed next connection.
Fields
connection: Conn<Transport, Ready, Pristine>Connection after applying the selected message transition.
message: ResetCompleteReadyCleanExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
ReadyDirty
The Event::ReadyDirty transition and its correctly typed next connection.
Fields
connection: Conn<Transport, Ready, Dirty>Connection after applying the selected message transition.
message: ResetCompleteReadyDirtyExternalTransitionMessageValidated 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: ResetCompleteErrorExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.