| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Network.HTTP.Semantics
Description
Library for HTTP Semantics (RFC9110), version-independent common parts. For low-level headers, Token is used. For upper-level headers, HeaderName should be used.
Synopsis
- defaultTrailersMaker :: TrailersMaker
- data NextTrailersMaker
- type TrailersMaker = Maybe ByteString -> IO NextTrailersMaker
- type Authority = String
- type ByteCount = Int64
- type FileOffset = Int64
- data FileSpec = FileSpec FilePath FileOffset ByteCount
- type InpBody = IO (ByteString, Bool)
- data InpObj = InpObj {}
- data OutBody
- = OutBodyNone
- | OutBodyStreaming ((Builder -> IO ()) -> IO () -> IO ())
- | OutBodyStreamingIface (OutBodyIface -> IO ())
- | OutBodyBuilder Builder
- | OutBodyFile FileSpec
- data OutBodyIface = OutBodyIface {
- outBodyUnmask :: forall x. IO x -> IO x
- outBodyPush :: Builder -> IO ()
- outBodyPushFinal :: Builder -> IO ()
- outBodyCancel :: Maybe SomeException -> IO ()
- outBodyFlush :: IO ()
- data OutObj = OutObj {}
- type Path = ByteString
- type Scheme = ByteString
- getFieldValue :: Token -> ValueTable -> Maybe FieldValue
- getHeaderValue :: Token -> ValueTable -> Maybe FieldValue
- type FieldName = ByteString
- type FieldValue = ByteString
- type HeaderTable = (TokenHeaderList, ValueTable)
- type HeaderValue = ByteString
- type TokenHeader = (Token, FieldValue)
- type TokenHeaderList = [TokenHeader]
- type TokenHeaderTable = (TokenHeaderList, ValueTable)
- type ValueTable = Array Int (Maybe FieldValue)
- cookieTokenIx :: Int
- isCookieTokenIx :: Int -> Bool
- isMaxTokenIx :: Int -> Bool
- isStaticToken :: Token -> Bool
- isStaticTokenIx :: Int -> Bool
- maxStaticTokenIx :: Int
- maxTokenIx :: Int
- minTokenIx :: Int
- toToken :: ByteString -> Token
- tokenAccept :: Token
- tokenAcceptCharset :: Token
- tokenAcceptEncoding :: Token
- tokenAcceptLanguage :: Token
- tokenAcceptRanges :: Token
- tokenAccessControlAllowCredentials :: Token
- tokenAccessControlAllowHeaders :: Token
- tokenAccessControlAllowMethods :: Token
- tokenAccessControlAllowOrigin :: Token
- tokenAccessControlExposeHeaders :: Token
- tokenAccessControlRequestHeaders :: Token
- tokenAccessControlRequestMethod :: Token
- tokenAge :: Token
- tokenAllow :: Token
- tokenAltSvc :: Token
- tokenAuthority :: Token
- tokenAuthorization :: Token
- tokenCIKey :: Token -> ByteString
- tokenCacheControl :: Token
- tokenConnection :: Token
- tokenContentDisposition :: Token
- tokenContentEncoding :: Token
- tokenContentLanguage :: Token
- tokenContentLength :: Token
- tokenContentLocation :: Token
- tokenContentRange :: Token
- tokenContentSecurityPolicy :: Token
- tokenContentType :: Token
- tokenCookie :: Token
- tokenDate :: Token
- tokenEarlyData :: Token
- tokenEtag :: Token
- tokenExpect :: Token
- tokenExpectCt :: Token
- tokenExpires :: Token
- tokenFoldedKey :: Token -> ByteString
- tokenForwarded :: Token
- tokenFrom :: Token
- tokenHost :: Token
- tokenIfMatch :: Token
- tokenIfModifiedSince :: Token
- tokenIfNoneMatch :: Token
- tokenIfRange :: Token
- tokenIfUnmodifiedSince :: Token
- tokenLastModified :: Token
- tokenLink :: Token
- tokenLocation :: Token
- tokenMax :: Token
- tokenMaxForwards :: Token
- tokenMethod :: Token
- tokenOrigin :: Token
- tokenPath :: Token
- tokenProxyAuthenticate :: Token
- tokenProxyAuthorization :: Token
- tokenPurpose :: Token
- tokenRange :: Token
- tokenReferer :: Token
- tokenRefresh :: Token
- tokenRetryAfter :: Token
- tokenScheme :: Token
- tokenServer :: Token
- tokenSetCookie :: Token
- tokenStatus :: Token
- tokenStrictTransportSecurity :: Token
- tokenTE :: Token
- tokenTimingAllowOrigin :: Token
- tokenTransferEncoding :: Token
- tokenUpgradeInsecureRequests :: Token
- tokenUserAgent :: Token
- tokenVary :: Token
- tokenVia :: Token
- tokenWwwAuthenticate :: Token
- tokenXContentTypeOptions :: Token
- tokenXForwardedFor :: Token
- tokenXFrameOptions :: Token
- tokenXXssProtection :: Token
- data Token = Token {
- tokenIx :: Int
- shouldBeIndexed :: Bool
- isPseudo :: Bool
- tokenKey :: HeaderName
Documentation
defaultTrailersMaker :: TrailersMaker Source #
TrailersMake to create no trailers.
data NextTrailersMaker Source #
Either the next trailers maker or final trailers.
Constructors
| NextTrailersMaker TrailersMaker | |
| Trailers [Header] |
type TrailersMaker = Maybe ByteString -> IO NextTrailersMaker Source #
Trailers maker. A chunks of the response body is passed
with Just. The maker should update internal state
with the ByteString and return the next trailers maker.
When response body reaches its end,
Nothing is passed and the maker should generate
trailers. An example:
{-# LANGUAGE BangPatterns #-}
import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as C8
import Crypto.Hash (Context, SHA1) -- cryptonite
import qualified Crypto.Hash as CH
-- Strictness is important for Context.
trailersMaker :: Context SHA1 -> Maybe ByteString -> IO NextTrailersMaker
trailersMaker ctx Nothing = return $ Trailers [("X-SHA1", sha1)]
where
!sha1 = C8.pack $ show $ CH.hashFinalize ctx
trailersMaker ctx (Just bs) = return $ NextTrailersMaker $ trailersMaker ctx'
where
!ctx' = CH.hashUpdate ctx bsUsage example:
let h2rsp = responseFile ...
maker = trailersMaker (CH.hashInit :: Context SHA1)
h2rsp' = setResponseTrailersMaker h2rsp makertype FileOffset = Int64 Source #
Offset for file.
File specification.
Constructors
| FileSpec FilePath FileOffset ByteCount |
Input object
Constructors
| InpObj | |
Fields
| |
Constructors
| OutBodyNone | |
| OutBodyStreaming ((Builder -> IO ()) -> IO () -> IO ()) | Streaming body takes a write action and a flush action. |
| OutBodyStreamingIface (OutBodyIface -> IO ()) | Generalization of |
| OutBodyBuilder Builder | |
| OutBodyFile FileSpec |
data OutBodyIface Source #
Constructors
| OutBodyIface | |
Fields
| |
Output object
Constructors
| OutObj | |
Fields
| |
type Path = ByteString Source #
Path.
type Scheme = ByteString Source #
"http" or "https".
getFieldValue :: Token -> ValueTable -> Maybe FieldValue Source #
Accessing FieldValue with Token.
getHeaderValue :: Token -> ValueTable -> Maybe FieldValue Source #
Deprecated: use geFieldValue instead
Accessing FieldValue with Token.
type FieldName = ByteString Source #
Field name. Internal usage only.
type FieldValue = ByteString Source #
Field value.
type HeaderTable = (TokenHeaderList, ValueTable) Source #
Deprecated: use TokenHeaderTable instead
A pair of token list and value table.
type HeaderValue = ByteString Source #
Deprecated: use FieldValue instead
Header value.
type TokenHeader = (Token, FieldValue) Source #
TokenBased header.
type TokenHeaderList = [TokenHeader] Source #
TokenBased header list.
type TokenHeaderTable = (TokenHeaderList, ValueTable) Source #
A pair of token list and value table.
type ValueTable = Array Int (Maybe FieldValue) Source #
An array to get FieldValue quickly.
getHeaderValue should be used.
Internally, the key is tokenIx.
cookieTokenIx :: Int Source #
Token index for tokenCookie.
isCookieTokenIx :: Int -> Bool Source #
Is this token ix for Cookie?
isMaxTokenIx :: Int -> Bool Source #
Is this token ix to be held in the place holder?
isStaticToken :: Token -> Bool Source #
Is this token for a header not defined in the static table?
isStaticTokenIx :: Int -> Bool Source #
Is this token ix for a header not defined in the static table?
maxStaticTokenIx :: Int Source #
Maximun token index defined in the static table.
maxTokenIx :: Int Source #
Maximum token index.
minTokenIx :: Int Source #
Minimum token index.
toToken :: ByteString -> Token Source #
Making a token from a header key.
>>>toToken ":authority" == tokenAuthorityTrue>>>toToken "foo"Token {tokenIx = 73, shouldBeIndexed = True, isPseudo = False, tokenKey = "foo"}>>>toToken ":bar"Token {tokenIx = 73, shouldBeIndexed = True, isPseudo = True, tokenKey = ":bar"}
tokenAccept :: Token Source #
tokenAccessControlAllowCredentials :: Token Source #
For QPACK
tokenAllow :: Token Source #
tokenAltSvc :: Token Source #
tokenCIKey :: Token -> ByteString Source #
Extracting a case insensitive header key from a token.
tokenConnection :: Token Source #
A place holder to hold header keys not defined in the static table. | For Warp
tokenCookie :: Token Source #
tokenExpect :: Token Source #
tokenExpires :: Token Source #
tokenFoldedKey :: Token -> ByteString Source #
Extracting a folded header key from a token.
tokenIfMatch :: Token Source #
tokenIfRange :: Token Source #
tokenMethod :: Token Source #
tokenOrigin :: Token Source #
tokenPurpose :: Token Source #
tokenRange :: Token Source #
tokenReferer :: Token Source #
tokenRefresh :: Token Source #
tokenScheme :: Token Source #
tokenServer :: Token Source #
tokenStatus :: Token Source #
Internal representation for header keys.
Constructors
| Token | |
Fields
| |