Network.HTTP2.Frame

Framing in HTTP/2(https://www.rfc-editor.org/rfc/rfc9113).

Frame

data Frame

The data type for HTTP/2 frames.

Constructors

Frame

Fields

• frameHeader :: FrameHeader
• framePayload :: FramePayload

Instances

Read Frame

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS Frame

readList :: ReadS [Frame]

readPrec :: ReadPrec Frame

readListPrec :: ReadPrec [Frame]

Show Frame

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> Frame -> ShowS

show :: Frame -> String

showList :: [Frame] -> ShowS

Eq Frame

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: Frame -> Frame -> Bool

(/=) :: Frame -> Frame -> Bool

data FrameHeader

The data type for HTTP/2 frame headers.

Constructors

FrameHeader

Fields

• payloadLength :: Int
• flags :: FrameFlags
• streamId :: StreamId

Instances

Read FrameHeader

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS FrameHeader

readList :: ReadS [FrameHeader]

readPrec :: ReadPrec FrameHeader

readListPrec :: ReadPrec [FrameHeader]

Show FrameHeader

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> FrameHeader -> ShowS

show :: FrameHeader -> String

showList :: [FrameHeader] -> ShowS

Eq FrameHeader

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: FrameHeader -> FrameHeader -> Bool

(/=) :: FrameHeader -> FrameHeader -> Bool

data FramePayload

The data type for HTTP/2 frame payloads.

Constructors

DataFrame ByteString

HeadersFrame (Maybe Priority) HeaderBlockFragment

PriorityFrame Priority

RSTStreamFrame ErrorCode

SettingsFrame SettingsList

PushPromiseFrame StreamId HeaderBlockFragment

PingFrame ByteString

GoAwayFrame StreamId ErrorCode ByteString

WindowUpdateFrame WindowSize

ContinuationFrame HeaderBlockFragment

UnknownFrame FrameType ByteString

Instances

Read FramePayload

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS FramePayload

readList :: ReadS [FramePayload]

readPrec :: ReadPrec FramePayload

readListPrec :: ReadPrec [FramePayload]

Show FramePayload

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> FramePayload -> ShowS

show :: FramePayload -> String

showList :: [FramePayload] -> ShowS

Eq FramePayload

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: FramePayload -> FramePayload -> Bool

(/=) :: FramePayload -> FramePayload -> Bool

type HeaderBlockFragment = ByteString

The type for fragments of a header encoded with HPACK.

type Padding = ByteString

The type for padding in payloads.

isPaddingDefined :: FramePayload -> Bool

Checking if padding is defined in this frame type.

>>> isPaddingDefined $ DataFrame ""
True
>>> isPaddingDefined $ PingFrame ""
False

Encoding

encodeFrame :: EncodeInfo -> FramePayload -> ByteString

Encoding an HTTP/2 frame to ByteString. This function is not efficient enough for high performace program because of the concatenation of ByteString.

>>> encodeFrame (encodeInfo id 1) (DataFrame "body")
"\NUL\NUL\EOT\NUL\NUL\NUL\NUL\NUL\SOHbody"

encodeFrameChunks :: EncodeInfo -> FramePayload -> [ByteString]

Encoding an HTTP/2 frame to [ByteString]. This is suitable for sendMany.

encodeFrameHeader :: FrameType -> FrameHeader -> ByteString

Encoding an HTTP/2 frame header. The frame header must be completed.

encodeFrameHeaderBuf :: FrameType -> FrameHeader -> Ptr Word8 -> IO ()

Writing an encoded HTTP/2 frame header to the buffer. The length of the buffer must be larger than or equal to 9 bytes.

encodeFramePayload :: EncodeInfo -> FramePayload -> (FrameHeader, [ByteString])

Encoding an HTTP/2 frame payload. This returns a complete frame header and chunks of payload.

data EncodeInfo

Auxiliary information for frame encoding.

Constructors

EncodeInfo

Fields

• encodeFlags :: FrameFlags

  Flags to be set in a frame header

• encodeStreamId :: StreamId

  Stream id to be set in a frame header

• encodePadding :: Maybe Padding

  Padding if any. In the case where this value is set but the priority flag is not set, this value gets preference over the priority flag. So, if this value is set, the priority flag is also set.

Instances

Read EncodeInfo

Defined in Network.HTTP2.Frame.Encode

Methods

readsPrec :: Int -> ReadS EncodeInfo

readList :: ReadS [EncodeInfo]

readPrec :: ReadPrec EncodeInfo

readListPrec :: ReadPrec [EncodeInfo]

Show EncodeInfo

Defined in Network.HTTP2.Frame.Encode

Methods

showsPrec :: Int -> EncodeInfo -> ShowS

show :: EncodeInfo -> String

showList :: [EncodeInfo] -> ShowS

encodeInfo

Arguments

:: (FrameFlags -> FrameFlags)

-> Int

stream identifier

-> EncodeInfo

A smart builder of EncodeInfo.

>>> encodeInfo setAck 0
EncodeInfo {encodeFlags = 1, encodeStreamId = 0, encodePadding = Nothing}

Decoding

decodeFrame

Arguments

:: Settings

HTTP/2 settings

-> ByteString

Input byte-stream

-> Either FrameDecodeError Frame

Decoded frame

Decoding an HTTP/2 frame to ByteString. The second argument must be include the entire of frame. So, this function is not useful for real applications but useful for testing.

decodeFrameHeader :: ByteString -> (FrameType, FrameHeader)

Decoding an HTTP/2 frame header. Must supply 9 bytes.

checkFrameHeader :: Settings -> (FrameType, FrameHeader) -> Either FrameDecodeError (FrameType, FrameHeader)

Checking a frame header and reporting an error if any.

>>> checkFrameHeader defaultSettings (FrameData,(FrameHeader 100 0 0))
Left (FrameDecodeError ProtocolError 0 "cannot used in control stream")

data FrameDecodeError

Constructors

FrameDecodeError ErrorCode StreamId ShortByteString

Instances

Show FrameDecodeError

Defined in Network.HTTP2.Frame.Decode

Methods

showsPrec :: Int -> FrameDecodeError -> ShowS

show :: FrameDecodeError -> String

showList :: [FrameDecodeError] -> ShowS

Eq FrameDecodeError

Defined in Network.HTTP2.Frame.Decode

Methods

(==) :: FrameDecodeError -> FrameDecodeError -> Bool

(/=) :: FrameDecodeError -> FrameDecodeError -> Bool

Decoding payload

decodeFramePayload :: FrameType -> FramePayloadDecoder

Decoding an HTTP/2 frame payload. This function is considered to return a frame payload decoder according to a frame type.

type FramePayloadDecoder = FrameHeader -> ByteString -> Either FrameDecodeError FramePayload

The type for frame payload decoder.

decodeDataFrame :: FramePayloadDecoder

Frame payload decoder for DATA frame.

decodeHeadersFrame :: FramePayloadDecoder

Frame payload decoder for HEADERS frame.

decodePriorityFrame :: FramePayloadDecoder

Frame payload decoder for PRIORITY frame.

decoderstStreamFrame :: FramePayloadDecoder

Frame payload decoder for RST_STREAM frame.

decodeSettingsFrame :: FramePayloadDecoder

Frame payload decoder for SETTINGS frame.

decodePushPromiseFrame :: FramePayloadDecoder

Frame payload decoder for PUSH_PROMISE frame.

decodePingFrame :: FramePayloadDecoder

Frame payload decoder for PING frame.

decodeGoAwayFrame :: FramePayloadDecoder

Frame payload decoder for GOAWAY frame.

decodeWindowUpdateFrame :: FramePayloadDecoder

Frame payload decoder for WINDOW_UPDATE frame.

decodeContinuationFrame :: FramePayloadDecoder

Frame payload decoder for CONTINUATION frame.

Frame type

newtype FrameType

The type for raw frame type.

Constructors

FrameType Word8

Bundled Patterns

pattern FrameData :: FrameType

pattern FrameHeaders :: FrameType

pattern FramePriority :: FrameType

pattern FrameRSTStream :: FrameType

pattern FrameSettings :: FrameType

pattern FramePushPromise :: FrameType

pattern FramePing :: FrameType

pattern FrameGoAway :: FrameType

pattern FrameWindowUpdate :: FrameType

pattern FrameContinuation :: FrameType

Instances

Ix FrameType

Defined in Network.HTTP2.Frame.Types

Methods

range :: (FrameType, FrameType) -> [FrameType]

index :: (FrameType, FrameType) -> FrameType -> Int

unsafeIndex :: (FrameType, FrameType) -> FrameType -> Int

inRange :: (FrameType, FrameType) -> FrameType -> Bool

rangeSize :: (FrameType, FrameType) -> Int

unsafeRangeSize :: (FrameType, FrameType) -> Int

Read FrameType

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS FrameType

readList :: ReadS [FrameType]

readPrec :: ReadPrec FrameType

readListPrec :: ReadPrec [FrameType]

Show FrameType

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> FrameType -> ShowS

show :: FrameType -> String

showList :: [FrameType] -> ShowS

Eq FrameType

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: FrameType -> FrameType -> Bool

(/=) :: FrameType -> FrameType -> Bool

Ord FrameType

Defined in Network.HTTP2.Frame.Types

Methods

compare :: FrameType -> FrameType -> Ordering

(<) :: FrameType -> FrameType -> Bool

(<=) :: FrameType -> FrameType -> Bool

(>) :: FrameType -> FrameType -> Bool

(>=) :: FrameType -> FrameType -> Bool

max :: FrameType -> FrameType -> FrameType

min :: FrameType -> FrameType -> FrameType

fromFrameType :: FrameType -> Word8

Converting FrameType to Word8.

>>> fromFrameType FrameData
0
>>> fromFrameType FrameContinuation
9

toFrameType :: Word8 -> FrameType

minFrameType :: FrameType

maxFrameType :: FrameType

framePayloadToFrameType :: FramePayload -> FrameType

Getting FrameType from FramePayload.

>>> framePayloadToFrameType (DataFrame "body")
FrameData

Priority

data Priority

Type for stream priority. Deprecated in RFC 9113 but provided for FrameHeaders.

Constructors

Priority

Fields

• exclusive :: Bool
• streamDependency :: StreamId
• weight :: Weight

Instances

Read Priority

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS Priority

readList :: ReadS [Priority]

readPrec :: ReadPrec Priority

readListPrec :: ReadPrec [Priority]

Show Priority

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> Priority -> ShowS

show :: Priority -> String

showList :: [Priority] -> ShowS

Eq Priority

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: Priority -> Priority -> Bool

(/=) :: Priority -> Priority -> Bool

type Weight = Int

The type for weight in priority. Its values are from 1 to 256. Deprecated in RFC 9113.

Stream identifier

type StreamId = Int

The type for stream identifier

isControl :: StreamId -> Bool

Checking if the stream identifier for control.

>>> isControl 0
True
>>> isControl 1
False

isClientInitiated :: StreamId -> Bool

Checking if the stream identifier is from a client.

>>> isClientInitiated 0
False
>>> isClientInitiated 1
True

isServerInitiated :: StreamId -> Bool

Checking if the stream identifier is from a server.

>>> isServerInitiated 0
False
>>> isServerInitiated 2
True

Stream identifier related

testExclusive :: StreamId -> Bool

Checking if the exclusive flag is set.

setExclusive :: StreamId -> StreamId

Setting the exclusive flag.

clearExclusive :: StreamId -> StreamId

Clearing the exclusive flag.

Flags

type FrameFlags = Word8

The type for flags.

defaultFlags :: FrameFlags

The initial value of flags. No flags are set.

>>> defaultFlags
0

testEndStream :: FrameFlags -> Bool

Checking if the END_STREAM flag is set. >>> testEndStream 0x1 True

testAck :: FrameFlags -> Bool

Checking if the ACK flag is set. >>> testAck 0x1 True

testEndHeader :: FrameFlags -> Bool

Checking if the END_HEADERS flag is set.

>>> testEndHeader 0x4
True

testPadded :: FrameFlags -> Bool

Checking if the PADDED flag is set.

>>> testPadded 0x8
True

testPriority :: FrameFlags -> Bool

Checking if the PRIORITY flag is set.

>>> testPriority 0x20
True

setEndStream :: FrameFlags -> FrameFlags

Setting the END_STREAM flag.

>>> setEndStream 0
1

setAck :: FrameFlags -> FrameFlags

Setting the ACK flag.

>>> setAck 0
1

setEndHeader :: FrameFlags -> FrameFlags

Setting the END_HEADERS flag.

>>> setEndHeader 0
4

setPadded :: FrameFlags -> FrameFlags

Setting the PADDED flag.

>>> setPadded 0
8

setPriority :: FrameFlags -> FrameFlags

Setting the PRIORITY flag.

>>> setPriority 0
32

SettingsList

type SettingsList = [(SettingsKey, SettingsValue)]

Association list of SETTINGS.

newtype SettingsKey

The type for SETTINGS key.

Constructors

SettingsKey Word16

Bundled Patterns

pattern SettingsHeaderTableSize :: SettingsKey

pattern SettingsEnablePush :: SettingsKey

pattern SettingsMaxConcurrentStreams :: SettingsKey

pattern SettingsInitialWindowSize :: SettingsKey

pattern SettingsMaxFrameSize :: SettingsKey

pattern SettingsMaxHeaderBlockSize :: SettingsKey

Instances

Read SettingsKey

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS SettingsKey

readList :: ReadS [SettingsKey]

readPrec :: ReadPrec SettingsKey

readListPrec :: ReadPrec [SettingsKey]

Show SettingsKey

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> SettingsKey -> ShowS

show :: SettingsKey -> String

showList :: [SettingsKey] -> ShowS

Eq SettingsKey

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: SettingsKey -> SettingsKey -> Bool

(/=) :: SettingsKey -> SettingsKey -> Bool

Ord SettingsKey

Defined in Network.HTTP2.Frame.Types

Methods

compare :: SettingsKey -> SettingsKey -> Ordering

(<) :: SettingsKey -> SettingsKey -> Bool

(<=) :: SettingsKey -> SettingsKey -> Bool

(>) :: SettingsKey -> SettingsKey -> Bool

(>=) :: SettingsKey -> SettingsKey -> Bool

max :: SettingsKey -> SettingsKey -> SettingsKey

min :: SettingsKey -> SettingsKey -> SettingsKey

type SettingsValue = Int

The type for raw SETTINGS value.

fromSettingsKey :: SettingsKey -> Word16

toSettingsKey :: Word16 -> SettingsKey

Settings

data Settings

Cooked version of settings. This is suitable to be stored in a HTTP/2 context.

Constructors

Settings

Fields

• headerTableSize :: Int
• enablePush :: Bool
• maxConcurrentStreams :: Maybe Int
• initialWindowSize :: WindowSize
• maxFrameSize :: Int
• maxHeaderBlockSize :: Maybe Int

Instances

Show Settings

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> Settings -> ShowS

show :: Settings -> String

showList :: [Settings] -> ShowS

defaultSettings :: Settings

The default settings.

>>> defaultSettings
Settings {headerTableSize = 4096, enablePush = True, maxConcurrentStreams = Nothing, initialWindowSize = 65535, maxFrameSize = 16384, maxHeaderBlockSize = Nothing}

updateSettings :: Settings -> SettingsList -> Settings

Updating settings.

>>> updateSettings defaultSettings [(SettingsEnablePush,0),(SettingsMaxHeaderBlockSize,200)]
Settings {headerTableSize = 4096, enablePush = False, maxConcurrentStreams = Nothing, initialWindowSize = 65535, maxFrameSize = 16384, maxHeaderBlockSize = Just 200}

Window

type WindowSize = Int

The type for window size.

defaultInitialWindowSize :: WindowSize

The default initial window size.

>>> defaultInitialWindowSize
65535

maxWindowSize :: WindowSize

The maximum window size.

>>> maxWindowSize
2147483647

isWindowOverflow :: WindowSize -> Bool

Checking if a window size exceeds the maximum window size.

>>> isWindowOverflow 10
False
>>> isWindowOverflow maxWindowSize
False
>>> isWindowOverflow (maxWindowSize + 1)
True

Error code

newtype ErrorCode

The type for raw error code.

Constructors

ErrorCode Word32

Bundled Patterns

pattern NoError :: ErrorCode

The type for error code. See https://www.rfc-editor.org/rfc/rfc9113#ErrorCodes.

pattern ProtocolError :: ErrorCode

pattern InternalError :: ErrorCode

pattern FlowControlError :: ErrorCode

pattern SettingsTimeout :: ErrorCode

pattern StreamClosed :: ErrorCode

pattern FrameSizeError :: ErrorCode

pattern RefusedStream :: ErrorCode

pattern Cancel :: ErrorCode

pattern CompressionError :: ErrorCode

pattern ConnectError :: ErrorCode

pattern EnhanceYourCalm :: ErrorCode

pattern InadequateSecurity :: ErrorCode

pattern HTTP11Required :: ErrorCode

Instances

Read ErrorCode

Defined in Network.HTTP2.Frame.Types

Methods

readsPrec :: Int -> ReadS ErrorCode

readList :: ReadS [ErrorCode]

readPrec :: ReadPrec ErrorCode

readListPrec :: ReadPrec [ErrorCode]

Show ErrorCode

Defined in Network.HTTP2.Frame.Types

Methods

showsPrec :: Int -> ErrorCode -> ShowS

show :: ErrorCode -> String

showList :: [ErrorCode] -> ShowS

Eq ErrorCode

Defined in Network.HTTP2.Frame.Types

Methods

(==) :: ErrorCode -> ErrorCode -> Bool

(/=) :: ErrorCode -> ErrorCode -> Bool

Ord ErrorCode

Defined in Network.HTTP2.Frame.Types

Methods

compare :: ErrorCode -> ErrorCode -> Ordering

(<) :: ErrorCode -> ErrorCode -> Bool

(<=) :: ErrorCode -> ErrorCode -> Bool

(>) :: ErrorCode -> ErrorCode -> Bool

(>=) :: ErrorCode -> ErrorCode -> Bool

max :: ErrorCode -> ErrorCode -> ErrorCode

min :: ErrorCode -> ErrorCode -> ErrorCode

fromErrorCode :: ErrorCode -> Word32

toErrorCode :: Word32 -> ErrorCode

Predefined values

connectionPreface :: ByteString

The preface of HTTP/2.

>>> connectionPreface
"PRI * HTTP/2.0\r\n\r\nSM\r\n\r\n"

connectionPrefaceLength :: Int

Length of the preface.

>>> connectionPrefaceLength
24

frameHeaderLength :: Int

The length of HTTP/2 frame header.

>>> frameHeaderLength
9

maxPayloadLength :: Int

The maximum length of HTTP/2 payload.

>>> maxPayloadLength
16384

recommendedConcurrency :: Int

Default concurrency.

>>> recommendedConcurrency
100

Deprecated

type ErrorCodeId = ErrorCode

type SettingsKeyId = SettingsKey

type FrameTypeId = FrameType