pub enum CopyBothClientDoneExternalProjection<Transport, SourceCleanliness> {
ReceiveCopyData {
connection: Conn<Transport, CopyBothClientDone, SourceCleanliness>,
message: CopyBothClientDoneReceiveCopyDataExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReceiveCopyDone {
connection: Conn<Transport, AwaitingReady, SourceCleanliness>,
message: CopyBothClientDoneReceiveCopyDoneExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, Draining, SourceCleanliness>,
message: CopyBothClientDoneErrorExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for CopyBothClientDoneExternalMessage.
Variants§
ReceiveCopyData
The Event::ReceiveCopyData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, CopyBothClientDone, SourceCleanliness>Connection after applying the selected message transition.
message: CopyBothClientDoneReceiveCopyDataExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
ReceiveCopyDone
The Event::ReceiveCopyDone transition and its correctly typed next connection.
Fields
connection: Conn<Transport, AwaitingReady, SourceCleanliness>Connection after applying the selected message transition.
message: CopyBothClientDoneReceiveCopyDoneExternalTransitionMessageValidated 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: CopyBothClientDoneErrorExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.