From 68ce914502051756ddc217bbd481313b08d17197 Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Mon, 15 Jun 2020 17:55:02 +0200 Subject: [PATCH] export runMuxPeer --- ouroboros-network-framework/src/Ouroboros/Network/Mux.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/ouroboros-network-framework/src/Ouroboros/Network/Mux.hs b/ouroboros-network-framework/src/Ouroboros/Network/Mux.hs index b40193a9703..afca1e26ed7 100644 --- a/ouroboros-network-framework/src/Ouroboros/Network/Mux.hs +++ b/ouroboros-network-framework/src/Ouroboros/Network/Mux.hs @@ -97,6 +97,7 @@ data RunMiniProtocol (mode :: MuxMode) bytes m a b where -> MuxPeer bytes m b -> RunMiniProtocol InitiatorResponderMode bytes m a b + data MuxPeer bytes m a where MuxPeer :: forall (pr :: PeerRole) ps (st :: ps) failure bytes m a. ( Typeable ps