Add Re-exports of relevant types

default.nix

@@ -5,7 +5,7 @@ let
     ref = "master";
     rev = "15949d07dedbf95ad6536ac84be4d2f18dfa9523";
   };
-  ghc = pkgs.haskell.packages.ghc883.override {
+  ghc = pkgs.haskell.packages.ghc884.override {
     overrides = self: super: {
       monad-control-identity = self.callCabal2nix "monad-control-identity" "${src-monad-control-identity}" {};
     };

src/Network/Wai/Handler/WebSockets/Trans.hs

@@ -15,14 +15,27 @@ module Network.Wai.Handler.WebSockets.Trans (
 -- * WebSocket
 , websocketsOrT
 
+-- * Websocket type Re-exports
+, ServerApp
+, ClientApp
+, Connection
+, ConnectionOptions
+, PendingConnection
 ) where
 
-import Control.Monad.Base
+import Control.Monad.Base ( MonadBase(..) )
 import Control.Monad.Trans.Control.Identity
-import Network.Wai.Handler.WebSockets
+    ( MonadBaseControlIdentity(..) )
+import Network.Wai.Handler.WebSockets ( websocketsOr )
 import Network.WebSockets
+    ( ConnectionOptions,
+      ServerApp,
+      PendingConnection,
+      ClientApp,
+      Connection )
 
 import Network.Wai.Trans
+    ( MiddlewareT, liftApplication, runApplicationT )
 
 -- | A type synonym for a websockets 'ServerApp' which has been lifted from the 'IO' monad.
 type ServerAppT m = PendingConnection -> m ()

src/Network/Wai/Trans.hs

@@ -12,11 +12,16 @@ module Network.Wai.Trans (
 , liftMiddleware
 , runMiddlewareT
 
+  -- * Typeclass Re-exports
+, MonadBase
+, MonadBaseControlIdentity
 ) where
 
-import Control.Monad.Base
+import Control.Monad.Base ( MonadBase(liftBase) )
 import Control.Monad.Trans.Control.Identity
+    ( MonadBaseControlIdentity(..) )
 import Network.Wai
+    ( Application, Middleware, Request, Response, ResponseReceived )
 
 -- | A type synonym for a wai 'Application' which has been lifted from the 'IO' monad.
 type ApplicationT m = Request -> (Response -> m ResponseReceived) -> m ResponseReceived