pub enum ExtendedCopyBothServerDoneExternalProjection<Transport, SourceCleanliness> {
ReceiveData {
connection: Conn<Transport, ExtendedCopyBothServerDone, SourceCleanliness>,
message: ExtendedCopyBothServerDoneReceiveDataExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReceiveDone {
connection: Conn<Transport, ExtendedCopyBothDone, SourceCleanliness>,
message: ExtendedCopyBothServerDoneReceiveDoneExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Fail {
connection: Conn<Transport, ExtendedCopyBothFailed, SourceCleanliness>,
message: ExtendedCopyBothServerDoneFailExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for ExtendedCopyBothServerDoneExternalMessage.
Variants§
ReceiveData
The Event::ReceiveData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExtendedCopyBothServerDone, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothServerDoneReceiveDataExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
ReceiveDone
The Event::ReceiveDone transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExtendedCopyBothDone, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothServerDoneReceiveDoneExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Fail
The Event::Fail transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExtendedCopyBothFailed, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothServerDoneFailExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.