@@ -1,19 +1,9 @@
1−{-# LANGUAGE BangPatterns #-}
21{-# LANGUAGE DataKinds #-}
3−{-# LANGUAGE DeriveDataTypeable #-}
4−{-# LANGUAGE DeriveGeneric #-}
5−{-# LANGUAGE DeriveLift #-}
6−{-# LANGUAGE FlexibleInstances #-}
7−{-# LANGUAGE GeneralizedNewtypeDeriving #-}
82{-# LANGUAGE LambdaCase #-}
9−{-# LANGUAGE MultiParamTypeClasses #-}
103{-# LANGUAGE OverloadedStrings #-}
114{-# LANGUAGE QuasiQuotes #-}
12−{-# LANGUAGE RankNTypes #-}
135{-# LANGUAGE RecordWildCards #-}
146{-# LANGUAGE RoleAnnotations #-}
15−{-# LANGUAGE ScopedTypeVariables #-}
16−{-# LANGUAGE StandaloneDeriving #-}
177{-# LANGUAGE TemplateHaskellQuotes #-}
188{-# LANGUAGE TypeFamilies #-}
199{-# LANGUAGE UndecidableInstances #-}
@@ -213,7 +203,7 @@ module Network.HTTP.Req
213203 )
214204where
215205
216−import qualified Blaze.ByteString.Builder as BB
206+import Blaze.ByteString.Builder qualified as BB
217207import Control.Applicative
218208import Control.Arrow (first, second)
219209import Control.Exception hiding (Handler (..), TypeError)
@@ -229,55 +219,56 @@ import Control.Monad.Trans.Control
229219import Control.Monad.Trans.Except (ExceptT)
230220import Control.Monad.Trans.Identity (IdentityT)
231221import Control.Monad.Trans.Maybe (MaybeT)
232−import qualified Control.Monad.Trans.RWS.CPS as RWS.CPS
233−import qualified Control.Monad.Trans.RWS.Lazy as RWS.Lazy
234−import qualified Control.Monad.Trans.RWS.Strict as RWS.Strict
222+import Control.Monad.Trans.RWS.CPS qualified as RWS.CPS
223+import Control.Monad.Trans.RWS.Lazy qualified as RWS.Lazy
224+import Control.Monad.Trans.RWS.Strict qualified as RWS.Strict
235225import Control.Monad.Trans.Select (SelectT)
236−import qualified Control.Monad.Trans.State.Lazy as State.Lazy
237−import qualified Control.Monad.Trans.State.Strict as State.Strict
238−import qualified Control.Monad.Trans.Writer.CPS as Writer.CPS
239−import qualified Control.Monad.Trans.Writer.Lazy as Writer.Lazy
240−import qualified Control.Monad.Trans.Writer.Strict as Writer.Strict
226+import Control.Monad.Trans.State.Lazy qualified as State.Lazy
227+import Control.Monad.Trans.State.Strict qualified as State.Strict
228+import Control.Monad.Trans.Writer.CPS qualified as Writer.CPS
229+import Control.Monad.Trans.Writer.Lazy qualified as Writer.Lazy
230+import Control.Monad.Trans.Writer.Strict qualified as Writer.Strict
241231import Control.Retry
242232import Data.Aeson (FromJSON (..), ToJSON (..))
243−import qualified Data.Aeson as A
233+import Data.Aeson qualified as A
244234import Data.ByteString (ByteString)
245−import qualified Data.ByteString as B
246−import qualified Data.ByteString.Lazy as BL
247−import qualified Data.CaseInsensitive as CI
235+import Data.ByteString qualified as B
236+import Data.ByteString.Lazy qualified as BL
237+import Data.CaseInsensitive qualified as CI
248238import Data.Data (Data)
239+import Data.Default.Class (def)
249240import Data.Function (on)
250241import Data.IORef
251242import Data.Kind (Constraint, Type)
252243import Data.List (foldl', nubBy)
253244import Data.List.NonEmpty (NonEmpty (..))
254−import qualified Data.List.NonEmpty as NE
245+import Data.List.NonEmpty qualified as NE
255246import Data.Maybe (fromMaybe)
256247import Data.Proxy
257248import Data.Semigroup (Endo (..))
258−import qualified Data.Set as S
249+import Data.Set qualified as S
259250import Data.Text (Text)
260−import qualified Data.Text as T
261−import qualified Data.Text.Encoding as T
251+import Data.Text qualified as T
252+import Data.Text.Encoding qualified as T
262253import Data.Typeable (Typeable, cast)
263254import GHC.Generics
264255import GHC.TypeLits
265−import qualified Language.Haskell.TH as TH
266−import qualified Language.Haskell.TH.Quote as TH
267−import qualified Language.Haskell.TH.Syntax as TH
268−import qualified Network.Connection as NC
269−import qualified Network.HTTP.Client as L
270−import qualified Network.HTTP.Client.Internal as LI
271−import qualified Network.HTTP.Client.MultipartFormData as LM
272−import qualified Network.HTTP.Client.TLS as L
273−import qualified Network.HTTP.Types as Y
256+import Language.Haskell.TH qualified as TH
257+import Language.Haskell.TH.Quote qualified as TH
258+import Language.Haskell.TH.Syntax qualified as TH
259+import Network.Connection qualified as NC
260+import Network.HTTP.Client qualified as L
261+import Network.HTTP.Client.Internal qualified as LI
262+import Network.HTTP.Client.MultipartFormData qualified as LM
263+import Network.HTTP.Client.TLS qualified as L
264+import Network.HTTP.Types qualified as Y
274265import System.IO.Unsafe (unsafePerformIO)
275266import Text.URI (URI)
276−import qualified Text.URI as URI
277−import qualified Text.URI.QQ as QQ
278−import qualified Web.Authenticate.OAuth as OAuth
267+import Text.URI qualified as URI
268+import Text.URI.QQ qualified as QQ
269+import Web.Authenticate.OAuth qualified as OAuth
279270import Web.FormUrlEncoded (FromForm (..), ToForm (..))
280−import qualified Web.FormUrlEncoded as Form
271+import Web.FormUrlEncoded qualified as Form
281272import Web.HttpApiData (ToHttpApiData (..))
282273
283274----------------------------------------------------------------------------
@@ -594,10 +585,10 @@ req' method url body options m = do
594585 withReqManager (m request)
595586
596587-- | Perform an action using the global implicit 'L.Manager' that the rest
597−-- of the library uses. This allows to reuse connections that the
588+-- of the library uses. This allows us to reuse connections that the
598589-- 'L.Manager' controls.
599590withReqManager :: (MonadIO m) => (L.Manager -> m a) -> m a
600−withReqManager m = liftIO (readIORef globalManager) >>= m
591+withReqManager m = m globalManager
601592
602593-- | The global 'L.Manager' that 'req' uses. Here we just go with the
603594-- default settings, so users don't need to deal with this manager stuff at
@@ -610,16 +601,16 @@ withReqManager m = liftIO (readIORef globalManager) >>= m
610601-- manager. From that moment on the 'IORef' will be just reused—exactly the
611602-- behavior we want here in order to maximize connection sharing. GHC could
612603-- spoil the plan by inlining the definition, hence the @NOINLINE@ pragma.
613−globalManager :: IORef L.Manager
604+globalManager :: L.Manager
614605globalManager = unsafePerformIO $ do
615606 context <- NC.initConnectionContext
616607 let settings =
617608 L.mkManagerSettingsContext
618609 (Just context)
619− (NC.TLSSettingsSimple False False False)
610+ def
620611 Nothing
621612 manager <- L.newManager settings
622− newIORef manager
613+ return manager
623614{-# NOINLINE globalManager #-}
624615
625616----------------------------------------------------------------------------
@@ -725,7 +716,6 @@ data HttpConfig = HttpConfig
725716 -- @since 3.6.0
726717 httpConfigBodyPreviewLength :: forall a. (Num a) => a
727718 }
728− deriving (Typeable)
729719
730720-- | The default value of 'HttpConfig'.
731721--
@@ -1034,7 +1024,7 @@ instance (HttpMethod method) => RequestComponent (Tagged "method" method) where
10341024-- > -- https://%D1%8E%D0%BD%D0%B8%D0%BA%D0%BE%D0%B4.%D1%80%D1%84
10351025data Url (scheme :: Scheme) = Url Scheme (NonEmpty Text)
10361026 -- NOTE The second value is the path segments in reversed order.
1037− deriving (Eq, Ord, Show, Data, Typeable, Generic)
1027+ deriving (Eq, Ord, Show, Data, Generic)
10381028
10391029type role Url nominal
10401030
@@ -2021,7 +2011,7 @@ data HttpException
20212011 | -- | A wrapper with Aeson-produced 'String' describing why decoding
20222012 -- failed
20232013 JsonHttpException String
2024− deriving (Show, Typeable, Generic)
2014+ deriving (Show, Generic)
20252015
20262016instance Exception HttpException
20272017
@@ -2058,4 +2048,4 @@ data Scheme
20582048 Http
20592049 | -- | HTTPS
20602050 Https
2061− deriving (Eq, Ord, Show, Data, Typeable, Generic, TH.Lift)
2051+ deriving (Eq, Ord, Show, Data, Generic, TH.Lift)