Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A view of the local transaction submission protocol from the point of view of the server.
This provides a view that uses less complex types and should be easier to use than the underlying typed protocol itself.
For execution, a conversion into the typed protocol is provided.
Synopsis
- data LocalTxSubmissionServer tx reject m a = LocalTxSubmissionServer {
- recvMsgSubmitTx ∷ tx → m (SubmitResult reject, LocalTxSubmissionServer tx reject m a)
- recvMsgDone ∷ a
- localTxSubmissionServerPeer ∷ ∀ tx reject m a. Monad m ⇒ m (LocalTxSubmissionServer tx reject m a) → Peer (LocalTxSubmission tx reject) AsServer StIdle m a
Protocol type for the server
The protocol states from the point of view of the server.
data LocalTxSubmissionServer tx reject m a Source #
The server side of the local transaction submission protocol.
The peer in the client role submits transactions to the peer in the server role.
LocalTxSubmissionServer | |
|
Execution as a typed protocol
localTxSubmissionServerPeer ∷ ∀ tx reject m a. Monad m ⇒ m (LocalTxSubmissionServer tx reject m a) → Peer (LocalTxSubmission tx reject) AsServer StIdle m a Source #
A non-pipelined Peer
representing the LocalTxSubmissionServer
.