pub enum ExtendedCopyBothClientDoneInternalProjection<Transport, SourceCleanliness> {
SendData {
connection: Conn<Transport, ExtendedCopyBothClientDone, SourceCleanliness>,
message: ExtendedCopyBothClientDoneSendDataInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
SendDone {
connection: Conn<Transport, ExtendedCopyBothDone, SourceCleanliness>,
message: ExtendedCopyBothClientDoneSendDoneInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, ExtendedError, SourceCleanliness>,
message: ExtendedCopyBothClientDoneErrorInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for ExtendedCopyBothClientDoneInternalMessage.
Variants§
SendData
The Event::SendData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExtendedCopyBothClientDone, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothClientDoneSendDataInternalTransitionMessageValidated 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, ExtendedCopyBothDone, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothClientDoneSendDoneInternalTransitionMessageValidated 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, ExtendedError, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothClientDoneErrorInternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.