:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Moduleservant-0.20.2Haskell2010
Extract the given header's value as a value of type a.
I.e. header sent by client, parsed by server.
Example:
newtype Referer = Referer Text deriving (Eq, Show) -- GET /view-my-referertype MyApi = "view-my-referer" :> Header "from" Referer :> Get '[JSON] Referer
(KnownSymbol h, ToHttpApiData v) => AddHeader mods h v (Headers (fst ': rest) a) (Headers (Header' mods h v ': fst ': rest) a)Defined in servant-0.20.2 · Servant.API.ResponseHeadersHasResponseHeader h a (Header' mods h a ': rest)Defined in servant-0.20.2 · Servant.API.ResponseHeadersHasLink sub => HasLink (Header' mods sym a :> sub)Defined in servant-0.20.2 · Servant.Links(FromHttpApiData v, BuildHeadersTo xs, KnownSymbol h) => BuildHeadersTo (Header' mods h v ': xs)Defined in servant-0.20.2 · Servant.API.ResponseHeaders(KnownSymbol h, GetHeadersFromHList rest, ToHttpApiData v) => GetHeaders' (Header' mods h v ': rest)Defined in servant-0.20.2 · Servant.API.ResponseHeaders(KnownSymbol h, ToHttpApiData x, GetHeadersFromHList xs) => GetHeadersFromHList (Header' mods h x ': xs)Defined in servant-0.20.2 · Servant.API.ResponseHeaderstype MkLink (Header' mods sym a :> sub) r = MkLink sub rDefined in servant-0.20.2 · Servant.Links