pub enum SimpleCopyBothServerDoneExternalProjection<Transport, SourceCleanliness> {
ReceiveData {
connection: Conn<Transport, SimpleCopyBothServerDone, SourceCleanliness>,
message: SimpleCopyBothServerDoneReceiveDataExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
ReceiveDone {
connection: Conn<Transport, SimpleCopyBothDone, SourceCleanliness>,
message: SimpleCopyBothServerDoneReceiveDoneExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Fail {
connection: Conn<Transport, SimpleCopyBothFailed, SourceCleanliness>,
message: SimpleCopyBothServerDoneFailExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for SimpleCopyBothServerDoneExternalMessage.
Variants§
ReceiveData
The Event::ReceiveData transition and its correctly typed next connection.
Fields
connection: Conn<Transport, SimpleCopyBothServerDone, SourceCleanliness>Connection after applying the selected message transition.
message: SimpleCopyBothServerDoneReceiveDataExternalTransitionMessageValidated 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, SimpleCopyBothDone, SourceCleanliness>Connection after applying the selected message transition.
message: SimpleCopyBothServerDoneReceiveDoneExternalTransitionMessageValidated 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, SimpleCopyBothFailed, SourceCleanliness>Connection after applying the selected message transition.
message: SimpleCopyBothServerDoneFailExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.