ShowProxy class

ShowProxy class exposes a single method of type `Proxy p -> String`.
IntersectMBO · Jul 6, 2020 · 0a8dfaa · 0a8dfaa
1 parent 4fdf2e0
commit 0a8dfaa
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/ouroboros-network-framework/ouroboros-network-framework.cabal b/ouroboros-network-framework/ouroboros-network-framework.cabal
@@ -29,6 +29,7 @@ library
                        Ouroboros.Network.ErrorPolicy
                        Ouroboros.Network.IOManager
                        Ouroboros.Network.Mux
+                       Ouroboros.Network.Util.ShowProxy
 
                        Ouroboros.Network.Protocol.Handshake
                        Ouroboros.Network.Protocol.Handshake.Type

diff --git a/ouroboros-network-framework/src/Ouroboros/Network/Util/ShowProxy.hs b/ouroboros-network-framework/src/Ouroboros/Network/Util/ShowProxy.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE GADTs               #-}
+{-# LANGUAGE KindSignatures      #-}
+{-# LANGUAGE DefaultSignatures   #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE QuantifiedConstraints #-}
+
+module Ouroboros.Network.Util.ShowProxy
+  ( ShowProxy (..)
+  , Proxy (..)
+  ) where
+
+import Data.Proxy (Proxy (..))
+
+class ShowProxy p where
+    showProxy :: Proxy p -> String