@@ -260,12 +260,11 @@ import GHC.Exts (Constraint)
260260-- @method@ is an HTTP method such as 'GET' or 'POST'. The documentation has
261261-- a dedicated section about HTTP methods below.
262262--
263−-- @url@ is a URL that describes location of resource you want to interact
264−-- with. It's of type 'Url' (if you click the link it will tell everything
265−-- about construction of 'Url' things).
263+-- @url@ is a 'Url' that describes location of resource you want to interact
264+-- with.
266265--
267266-- @body@ is a body option such as 'NoReqBody' or 'ReqBodyJson'. The
268−-- tutorial has a section about HTTP bodies, but usage in very
267+-- tutorial has a section about HTTP bodies, but usage is very
269268-- straightforward and should be clear from the examples below.
270269--
271270-- @response@ is a type hint how to make and interpret response of HTTP
@@ -909,8 +908,8 @@ data Option (scheme :: Scheme) =
909908 -- NOTE 'QueryText' is just [(Text, Maybe Text)], we keep it along with
910909 -- Request to avoid appending to existing query string in request every
911910 -- time new parameter is added. Additional Maybe (Endo Request) is a
912− -- finalizer that will be applied after all over options. This is for
913− -- authentication methods that sign requests based on data in Request.
911+ -- finalizer that will be applied after all other transformations. This is
912+ -- for authentication methods that sign requests based on data in Request.
914913
915914instance Semigroup (Option scheme) where
916915 Option er0 mr0 <> Option er1 mr1 = Option
@@ -1294,7 +1293,7 @@ responseRequest (ReturnRequest request) = request
12941293
12951294class HttpResponse response where
12961295
1297− -- | The associated type is type of body that can be extracted from a
1296+ -- | The associated type is the type of body that can be extracted from a
12981297 -- instance of 'HttpResponse'.
12991298
13001299 type HttpResponseBody response :: *
@@ -1313,9 +1312,9 @@ class HttpResponse response where
13131312
13141313-- | The main class for things that are “parts” of 'L.Request' in the sense
13151314-- that if we have a 'L.Request', then we know how to apply an instance of
1316−-- 'RequestComponent' changing\/overwriting something in it. 'Endo' is
1317−-- endomorphism of functions under composition, it's used to chain different
1318−-- request component easier using @('<>')@.
1315+-- 'RequestComponent' changing\/overwriting something in it. 'Endo' is a
1316+-- monoid of endomorphisms under composition, it's used to chain different
1317+-- request components easier using @('<>')@.
13191318
13201319class RequestComponent a where
13211320
@@ -1329,8 +1328,8 @@ class RequestComponent a where
13291328
13301329-- | This wrapper is only used to attach a type-level tag to given type.
13311330-- This is necessary to define instances of 'RequestComponent' for any thing
1332−-- that implements 'HttpMethod' or 'HttpBody'. Without the tag, GHC is not
1333−-- able to see difference between @'HttpMethod' method => 'RequestComponent'
1331+-- that implements 'HttpMethod' or 'HttpBody'. Without the tag, GHC can't
1332+-- see the difference between @'HttpMethod' method => 'RequestComponent'
13341333-- method@ and @'HttpBody' body => 'RequestComponent' body@ when it decides
13351334-- which instance to use (i.e. constraints are taken into account later,
13361335-- when instance is already chosen).