@@ -45,7 +45,7 @@ import Prelude ()
45import Prelude.Compat
45import Prelude.Compat
47-- | Response Header objects. You should never need to construct one directly.
47-- | Response Header objects. You should never need to construct one directly.
48−-- Instead, use 'addOptionalHeader.
48+-- Instead, use 'addOptionalHeader'.
49data Headers ls a = Headers { getResponse :: a
49data Headers ls a = Headers { getResponse :: a
50 -- ^ The underlying value of a 'Headers'
50 -- ^ The underlying value of a 'Headers'
51 , getHeadersHList :: HList ls
51 , getHeadersHList :: HList ls
@@ -125,7 +125,7 @@ instance OVERLAPPABLE_ ( KnownSymbol h, ToHttpApiData v
125-- | @addHeader@ adds a header to a response. Note that it changes the type of
125-- | @addHeader@ adds a header to a response. Note that it changes the type of
126-- the value in the following ways:
126-- the value in the following ways:
128−-- 1. A simple value is wrapped in "Headers [<hdr>]":
128+-- 1. A simple value is wrapped in "Headers '[hdr]":
130-- >>> let example1 = addHeader 5 "hi" :: Headers '[Header "someheader" Int] String;
130-- >>> let example1 = addHeader 5 "hi" :: Headers '[Header "someheader" Int] String;
131-- >>> getHeaders example1
131-- >>> getHeaders example1