| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Trace.Forward.Protocol.TraceObject.Acceptor
Description
A view of the trace forwarding/accepting protocol from the point of view of the client.
For execution, a conversion into the typed protocol is provided.
Synopsis
- data TraceObjectAcceptor lo m a where
- SendMsgTraceObjectsRequest :: TokBlockingStyle blocking -> NumberOfTraceObjects -> (BlockingReplyList blocking lo -> m (TraceObjectAcceptor lo m a)) -> TraceObjectAcceptor lo m a
- SendMsgDone :: m a -> TraceObjectAcceptor lo m a
- traceObjectAcceptorPeer :: Monad m => TraceObjectAcceptor lo m a -> Peer (TraceObjectForward lo) 'AsClient 'StIdle m a
Documentation
data TraceObjectAcceptor lo m a where Source #
Constructors
| SendMsgTraceObjectsRequest :: TokBlockingStyle blocking -> NumberOfTraceObjects -> (BlockingReplyList blocking lo -> m (TraceObjectAcceptor lo m a)) -> TraceObjectAcceptor lo m a | |
| SendMsgDone :: m a -> TraceObjectAcceptor lo m a |
traceObjectAcceptorPeer :: Monad m => TraceObjectAcceptor lo m a -> Peer (TraceObjectForward lo) 'AsClient 'StIdle m a Source #
Interpret a particular action sequence into the client side of the protocol.