:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Moduleservant-0.20.3.0Haskell2010
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.3.0 · Servant.API.ResponseHeadersHasResponseHeader h a (Header' mods h a ': rest)Defined in servant-0.20.3.0 · Servant.API.ResponseHeadersHasLink sub => HasLink (Header' mods sym a :> sub)Defined in servant-0.20.3.0 · Servant.Links(KnownSymbol name, ToHttpApiData x) => ServantHeader (Header' mods name x) name xDefined in servant-0.20.3.0 · Servant.API.MultiVerb(FromHttpApiData v, BuildHeadersTo xs, KnownSymbol h) => BuildHeadersTo (Header' mods h v ': xs)Defined in servant-0.20.3.0 · Servant.API.ResponseHeaders(KnownSymbol h, GetHeadersFromHList rest, ToHttpApiData v) => GetHeaders' (Header' mods h v ': rest)Defined in servant-0.20.3.0 · Servant.API.ResponseHeaders(KnownSymbol h, ToHttpApiData x, GetHeadersFromHList xs) => GetHeadersFromHList (Header' mods h x ': xs)Defined in servant-0.20.3.0 · Servant.API.ResponseHeaderstype MkLink (Header' mods sym a :> sub) r = MkLink sub rDefined in servant-0.20.3.0 · Servant.Links