| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
DMQ.Protocol.LocalMsgSubmission.Server
Description
A higher level API to implement server for local message submission
miniprotocol. This aliases the server from the LocalTxSubmission protocol.
For execution, localMsgSubmissionServerPeer reinterprets this high level
description into the underlying typed protocol representation.
Synopsis
- type LocalMsgSubmissionServer sig = LocalTxSubmissionServer sig SigMempoolFail
- localMsgSubmissionServerPeer :: forall msg m a. Monad m => m (LocalMsgSubmissionServer msg m a) -> Server (LocalMsgSubmission msg) 'NonPipelined ('StIdle :: LocalTxSubmission msg SigMempoolFail) m a
- 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
Server API types (re-exports)
type LocalMsgSubmissionServer sig = LocalTxSubmissionServer sig SigMempoolFail Source #
Type aliases for the high level client API
Translates the server into a typed protocol
localMsgSubmissionServerPeer :: forall msg m a. Monad m => m (LocalMsgSubmissionServer msg m a) -> Server (LocalMsgSubmission msg) 'NonPipelined ('StIdle :: LocalTxSubmission msg SigMempoolFail) m a Source #
A non-pipelined Peer representing the LocalMsgSubmissionServer.
Translates a high level server description into the underying typed protocol representation.
data LocalTxSubmissionServer tx reject (m :: Type -> Type) a #
Constructors
| LocalTxSubmissionServer | |
Fields
| |
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 #