@@ -59,28 +59,28 @@ import Ouroboros.Network.Util.ShowProxy
59
59
import Quiet (Quiet (.. ))
60
60
61
61
pattern OutboundAgency :: Agency
62
- pattern OutboundAgency = ClientAgency
63
- type OutboundAgency = 'ClientAgency
62
+ pattern OutboundAgency = ServerAgency
63
+ type OutboundAgency = 'ServerAgency
64
64
65
65
pattern InboundAgency :: Agency
66
- pattern InboundAgency = ServerAgency
67
- type InboundAgency = 'ServerAgency
66
+ pattern InboundAgency = ClientAgency
67
+ type InboundAgency = 'ClientAgency
68
68
69
69
pattern AsOutbound :: PeerRole
70
- pattern AsOutbound = AsClient
71
- type AsOutbound = 'AsClient
70
+ pattern AsOutbound = AsServer
71
+ type AsOutbound = 'AsServer
72
72
73
73
pattern AsInbound :: PeerRole
74
- pattern AsInbound = AsServer
75
- type AsInbound = 'AsServer
74
+ pattern AsInbound = AsClient
75
+ type AsInbound = 'AsClient
76
76
77
- pattern ReflOutboundAgency :: ReflRelativeAgency ClientAgency (r :: RelativeAgency ) (r :: RelativeAgency )
78
- pattern ReflOutboundAgency = ReflClientAgency
79
- type ReflOutboundAgency = 'ReflClientAgency
77
+ pattern ReflOutboundAgency :: ReflRelativeAgency ServerAgency (r :: RelativeAgency ) (r :: RelativeAgency )
78
+ pattern ReflOutboundAgency = ReflServerAgency
79
+ type ReflOutboundAgency = 'ReflServerAgency
80
80
81
- pattern ReflInboundAgency :: ReflRelativeAgency ServerAgency (r :: RelativeAgency ) (r :: RelativeAgency )
82
- pattern ReflInboundAgency = ReflServerAgency
83
- type ReflInboundAgency = 'ReflServerAgency
81
+ pattern ReflInboundAgency :: ReflRelativeAgency ClientAgency (r :: RelativeAgency ) (r :: RelativeAgency )
82
+ pattern ReflInboundAgency = ReflClientAgency
83
+ type ReflInboundAgency = 'ReflClientAgency
84
84
85
85
-- | The kind of the object diffusion protocol, and the types of the states in
86
86
-- the protocol state machine.
0 commit comments