Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 DataPointAcceptor m a where
- SendMsgDataPointsRequest :: [DataPointName] -> (DataPointValues -> m (DataPointAcceptor m a)) -> DataPointAcceptor m a
- SendMsgDone :: m a -> DataPointAcceptor m a
- dataPointAcceptorPeer :: Monad m => DataPointAcceptor m a -> Peer DataPointForward 'AsClient 'StIdle m a
Documentation
data DataPointAcceptor m a where Source #
SendMsgDataPointsRequest :: [DataPointName] -> (DataPointValues -> m (DataPointAcceptor m a)) -> DataPointAcceptor m a | |
SendMsgDone :: m a -> DataPointAcceptor m a |
dataPointAcceptorPeer :: Monad m => DataPointAcceptor m a -> Peer DataPointForward 'AsClient 'StIdle m a Source #
Interpret a particular action sequence into the client side of the protocol.