Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Network.TypedProtocol.PingPong.Server
Synopsis
- data PingPongServer m a = PingPongServer {
- recvMsgPing :: m (PingPongServer m a)
- recvMsgDone :: a
- pingPongServerPeer :: Monad m => PingPongServer m a -> Peer PingPong AsServer StIdle m a
Documentation
data PingPongServer m a Source #
Constructors
PingPongServer | |
Fields
|
pingPongServerPeer :: Monad m => PingPongServer m a -> Peer PingPong AsServer StIdle m a Source #
Interpret a particular server action sequence into the server side of the
PingPong
protocol.