Safe Haskell	Safe-Inferred
Language	Haskell2010

Network.TypedProtocol.ReqResp.Type

Documentation

data ReqResp req resp where Source #

Constructors

StIdle :: ReqResp req resp
StBusy :: ReqResp req resp
StDone :: ReqResp req resp

Instances

Instances details

Show (ClientHasAgency st) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type Methods showsPrec :: Int -> ClientHasAgency st -> ShowS # show :: ClientHasAgency st -> String # showList :: [ClientHasAgency st] -> ShowS #
Show (ServerHasAgency st) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type Methods showsPrec :: Int -> ServerHasAgency st -> ShowS # show :: ServerHasAgency st -> String # showList :: [ServerHasAgency st] -> ShowS #
(Show req, Show resp) => Show (Message (ReqResp req resp) from to) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type Methods showsPrec :: Int -> Message (ReqResp req resp) from to -> ShowS # show :: Message (ReqResp req resp) from to -> String # showList :: [Message (ReqResp req resp) from to] -> ShowS #
(Eq req, Eq resp) => Eq (Message (ReqResp req resp) from to) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type Methods (==) :: Message (ReqResp req resp) from to -> Message (ReqResp req resp) from to -> Bool # (/=) :: Message (ReqResp req resp) from to -> Message (ReqResp req resp) from to -> Bool #
Protocol (ReqResp req resp) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type Associated Types data Message (ReqResp req resp) st st' # data ClientHasAgency st # data ServerHasAgency st # data NobodyHasAgency st # Methods exclusionLemma_ClientAndServerHaveAgency :: forall (st :: ReqResp req resp). ClientHasAgency st -> ServerHasAgency st -> Void # exclusionLemma_NobodyAndClientHaveAgency :: forall (st :: ReqResp req resp). NobodyHasAgency st -> ClientHasAgency st -> Void # exclusionLemma_NobodyAndServerHaveAgency :: forall (st :: ReqResp req resp). NobodyHasAgency st -> ServerHasAgency st -> Void #
data ClientHasAgency (st :: ReqResp req resp) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type data ClientHasAgency (st :: ReqResp req resp) where TokIdle :: forall {k} {k1} {req :: k} {resp :: k1}. ClientHasAgency ('StIdle :: ReqResp req resp)
data Message (ReqResp req resp) (from :: ReqResp req resp) (to :: ReqResp req resp) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type data Message (ReqResp req resp) (from :: ReqResp req resp) (to :: ReqResp req resp) where MsgReq :: forall {k1} req1 (resp :: k1). req1 -> Message (ReqResp req1 resp) ('StIdle :: ReqResp req1 resp) ('StBusy :: ReqResp req1 resp) MsgResp :: forall {k} resp1 (req :: k). resp1 -> Message (ReqResp req resp1) ('StBusy :: ReqResp req resp1) ('StIdle :: ReqResp req resp1) MsgDone :: forall {k} {k1} (req :: k) (resp :: k1). Message (ReqResp req resp) ('StIdle :: ReqResp req resp) ('StDone :: ReqResp req resp)
data NobodyHasAgency (st :: ReqResp req resp) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type data NobodyHasAgency (st :: ReqResp req resp) where TokDone :: forall {k} {k1} {req :: k} {resp :: k1}. NobodyHasAgency ('StDone :: ReqResp req resp)
data ServerHasAgency (st :: ReqResp req resp) Source #
Instance details Defined in Network.TypedProtocol.ReqResp.Type data ServerHasAgency (st :: ReqResp req resp) where TokBusy :: forall {k} {k1} {req :: k} {resp :: k1}. ServerHasAgency ('StBusy :: ReqResp req resp)