pub enum CopyOutExternalProjection<Transport, SourceCleanliness> {
CopyData {
connection: Conn<Transport, CopyOut, SourceCleanliness>,
message: CopyOutCopyDataExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
CopyDone {
connection: Conn<Transport, AwaitingReady, SourceCleanliness>,
message: CopyOutCopyDoneExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, Draining, SourceCleanliness>,
message: CopyOutErrorExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for CopyOutExternalMessage.
Variants§
CopyData
The Event::CopyData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, CopyOut, SourceCleanliness>Connection after applying the selected message transition.
message: CopyOutCopyDataExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
CopyDone
The Event::CopyDone transition and its correctly typed next connection.
Fields
connection: Conn<Transport, AwaitingReady, SourceCleanliness>Connection after applying the selected message transition.
message: CopyOutCopyDoneExternalTransitionMessageValidated 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: CopyOutErrorExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.