@@ -21,8 +21,8 @@ module Ouroboros.Network.Protocol.ObjectDiffusion.Inbound
21
21
Collect (.. ),
22
22
23
23
-- * Execution as a typed protocol
24
- objectDiffusionInitInboundPeerPipelined ,
25
- objectDiffusionNonInitInboundPeerPipelined ,
24
+ objectDiffusionInboundClientPeerPipelined ,
25
+ objectDiffusionInboundServerPeerPipelined ,
26
26
)
27
27
where
28
28
@@ -104,23 +104,23 @@ inboundRun (CollectPipelined mNone collect) =
104
104
(Effect . fmap inboundRun . collect)
105
105
106
106
-- | Transform a 'ObjectDiffusionInboundPipelined' into a 'PeerPipelined'.
107
- objectDiffusionInitInboundPeerPipelined ::
107
+ objectDiffusionInboundClientPeerPipelined ::
108
108
forall objectId object m a .
109
109
(Functor m ) =>
110
110
ObjectDiffusionInboundPipelined objectId object m a ->
111
111
PeerPipelined (ObjectDiffusion InboundAgency objectId object ) AsInbound StInit m a
112
- objectDiffusionInitInboundPeerPipelined (ObjectDiffusionInboundPipelined inboundSt) =
112
+ objectDiffusionInboundClientPeerPipelined (ObjectDiffusionInboundPipelined inboundSt) =
113
113
PeerPipelined $
114
114
Yield ReflInboundAgency MsgInit $
115
115
Effect $
116
116
inboundRun <$> inboundSt
117
117
118
- objectDiffusionNonInitInboundPeerPipelined ::
118
+ objectDiffusionInboundServerPeerPipelined ::
119
119
forall objectId object m a .
120
120
(Functor m ) =>
121
121
ObjectDiffusionInboundPipelined objectId object m a ->
122
122
PeerPipelined (ObjectDiffusion OutboundAgency objectId object ) AsInbound StInit m a
123
- objectDiffusionNonInitInboundPeerPipelined (ObjectDiffusionInboundPipelined inboundSt) =
123
+ objectDiffusionInboundServerPeerPipelined (ObjectDiffusionInboundPipelined inboundSt) =
124
124
PeerPipelined $
125
125
Await @ _ @ _ @ (Pipelined Z (Collect objectId object )) ReflOutboundAgency
126
126
(\ MsgInit -> Effect (inboundRun <$> inboundSt))
0 commit comments