| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Trace.Forward.Protocol.TraceObject.Forwarder
Synopsis
- data TraceObjectForwarder lo m a = TraceObjectForwarder {
- recvMsgTraceObjectsRequest :: forall blocking. TokBlockingStyle blocking -> NumberOfTraceObjects -> m (BlockingReplyList blocking lo, TraceObjectForwarder lo m a)
- recvMsgDone :: m a
- traceObjectForwarderPeer :: Monad m => TraceObjectForwarder lo m a -> Peer (TraceObjectForward lo) 'AsServer 'StIdle m a
Documentation
data TraceObjectForwarder lo m a Source #
Constructors
| TraceObjectForwarder | |
Fields
| |
traceObjectForwarderPeer :: Monad m => TraceObjectForwarder lo m a -> Peer (TraceObjectForward lo) 'AsServer 'StIdle m a Source #
Interpret a particular action sequence into the server side of the protocol.