pub enum SimpleCopyBothClientDoneInternalProjection<Transport, SourceCleanliness> {
SendData {
connection: Conn<Transport, SimpleCopyBothClientDone, SourceCleanliness>,
message: SimpleCopyBothClientDoneSendDataInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
SendDone {
connection: Conn<Transport, SimpleCopyBothDone, SourceCleanliness>,
message: SimpleCopyBothClientDoneSendDoneInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, SimpleCopyReady, SourceCleanliness>,
message: SimpleCopyBothClientDoneErrorInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for SimpleCopyBothClientDoneInternalMessage.
Variants§
SendData
The Event::SendData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, SimpleCopyBothClientDone, SourceCleanliness>Connection after applying the selected message transition.
message: SimpleCopyBothClientDoneSendDataInternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
SendDone
The Event::SendDone transition and its correctly typed next connection.
Fields
connection: Conn<Transport, SimpleCopyBothDone, SourceCleanliness>Connection after applying the selected message transition.
message: SimpleCopyBothClientDoneSendDoneInternalTransitionMessageValidated 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, SimpleCopyReady, SourceCleanliness>Connection after applying the selected message transition.
message: SimpleCopyBothClientDoneErrorInternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.