pub enum ExtendedCopyBothExternalProjection<Transport, SourceCleanliness> {
ReceiveData {
connection: Conn<Transport, ExtendedCopyBoth, SourceCleanliness>,
message: ExtendedCopyBothReceiveDataExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReceiveDone {
connection: Conn<Transport, ExtendedCopyBothClientDone, SourceCleanliness>,
message: ExtendedCopyBothReceiveDoneExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Fail {
connection: Conn<Transport, ExtendedCopyBothFailed, SourceCleanliness>,
message: ExtendedCopyBothFailExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for ExtendedCopyBothExternalMessage.
Variants§
ReceiveData
The Event::ReceiveData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExtendedCopyBoth, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothReceiveDataExternalTransitionMessageValidated 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, ExtendedCopyBothClientDone, SourceCleanliness>Connection after applying the selected message transition.
message: ExtendedCopyBothReceiveDoneExternalTransitionMessageValidated 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: ExtendedCopyBothFailExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.