pub enum ExtendedCopyBothInternalProjection<Transport, SourceCleanliness> {
SendData {
connection: Conn<Transport, ExtendedCopyBoth, SourceCleanliness>,
message: ExtendedCopyBothSendDataInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
SendDone {
connection: Conn<Transport, ExtendedCopyBothServerDone, SourceCleanliness>,
message: ExtendedCopyBothSendDoneInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Error {
connection: Conn<Transport, ExtendedError, SourceCleanliness>,
message: ExtendedCopyBothErrorInternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for ExtendedCopyBothInternalMessage.
Variants§
SendData
The Event::SendData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExtendedCopyBoth, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothSendDataInternalTransitionMessageValidated 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, ExtendedCopyBothServerDone, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothSendDoneInternalTransitionMessageValidated 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: ExtendedCopyBothErrorInternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.