pub enum CopyBothExternalProjection<Transport, SourceCleanliness> {
ReceiveCopyData {
connection: Conn<Transport, CopyBoth, SourceCleanliness>,
message: CopyBothReceiveCopyDataExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReceiveCopyDone {
connection: Conn<Transport, CopyBothServerDone, SourceCleanliness>,
message: CopyBothReceiveCopyDoneExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, Draining, SourceCleanliness>,
message: CopyBothErrorExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for CopyBothExternalMessage.
Variants§
ReceiveCopyData
The Event::ReceiveCopyData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, CopyBoth, SourceCleanliness>Connection after applying the selected message transition.
message: CopyBothReceiveCopyDataExternalTransitionMessageValidated 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, CopyBothServerDone, SourceCleanliness>Connection after applying the selected message transition.
message: CopyBothReceiveCopyDoneExternalTransitionMessageValidated 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: CopyBothErrorExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.