| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.LocalTxSubmission.Server
Description
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 :: Type -> Type) a = LocalTxSubmissionServer {
- recvMsgSubmitTx :: tx -> m (SubmitResult reject, LocalTxSubmissionServer tx reject m a)
- recvMsgDone :: a
- localTxSubmissionServerPeer :: forall tx reject m a. Monad m => m (LocalTxSubmissionServer tx reject m a) -> Server (LocalTxSubmission tx reject) 'NonPipelined ('StIdle :: LocalTxSubmission tx reject) m a
Protocol type for the server
The protocol states from the point of view of the server.
data LocalTxSubmissionServer tx reject (m :: Type -> Type) 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.
Constructors
| LocalTxSubmissionServer | |
Fields
| |
Execution as a typed protocol
localTxSubmissionServerPeer :: forall tx reject m a. Monad m => m (LocalTxSubmissionServer tx reject m a) -> Server (LocalTxSubmission tx reject) 'NonPipelined ('StIdle :: LocalTxSubmission tx reject) m a Source #
A non-pipelined Peer representing the LocalTxSubmissionServer.