Safe Haskell	None
Language	Haskell2010

Network.QPACK.Internal

Contents

Types

Synopsis

data DecodeError
- = IllegalStaticIndex Int
- | IllegalInsertCount
- | BlockedStreamsOverflow
data ApplicationProtocolError where
- pattern QpackDecompressionFailed :: ApplicationProtocolError
- pattern QpackEncoderStreamError :: ApplicationProtocolError
- pattern QpackDecoderStreamError :: ApplicationProtocolError
data EncoderInstructionError = EncoderInstructionError
data DecoderInstructionError = DecoderInstructionError
data RevResult
- = N
- | K HIndex
- | KV HIndex
duplicate :: DynamicTable -> AbsoluteIndex -> IO AbsoluteIndex
data DynamicTable
newDynamicTableForEncoding :: (ByteString -> IO ()) -> IO DynamicTable
newDynamicTableForDecoding :: Size -> (ByteString -> IO ()) -> IO DynamicTable
insertRevIndex :: Entry -> AbsoluteIndex -> RevIndex -> IO ()
lookupRevIndex :: Token -> FieldValue -> RevIndex -> IO RevResult
lookupRevIndex' :: Token -> FieldValue -> RevResult
newRevIndex :: IO RevIndex
renewRevIndex :: RevIndex -> IO ()
data RevIndex
getRevIndex :: DynamicTable -> RevIndex
toDynamicEntry :: DynamicTable -> AbsoluteIndex -> STM Entry
toIndexedEntry :: DynamicTable -> HIndex -> STM Entry
isTableReady :: DynamicTable -> IO Bool
getTableCapacity :: DynamicTable -> IO Int
setTableCapacity :: DynamicTable -> Int -> IO ()
getMaxNumOfEntries :: DynamicTable -> IO Int
insertEntryToDecoder :: Entry -> DynamicTable -> STM AbsoluteIndex
insertEntryToEncoder :: Entry -> DynamicTable -> IO AbsoluteIndex
data Section = Section RequiredInsertCount [AbsoluteIndex]
insertSection :: DynamicTable -> StreamId -> Section -> IO ()
getAndDelSection :: DynamicTable -> StreamId -> IO (Maybe Section)
increaseReference :: DynamicTable -> AbsoluteIndex -> IO ()
decreaseReference :: DynamicTable -> AbsoluteIndex -> IO ()
getMaxBlockedStreams :: DynamicTable -> IO Int
setMaxBlockedStreams :: DynamicTable -> Int -> IO ()
tryIncreaseStreams :: DynamicTable -> IO Bool
decreaseStreams :: DynamicTable -> IO ()
insertBlockedStreamE :: DynamicTable -> StreamId -> IO ()
deleteBlockedStreamE :: DynamicTable -> StreamId -> IO ()
checkBlockedStreams :: DynamicTable -> IO Bool
getRequiredInsertCount :: DynamicTable -> IO RequiredInsertCount
clearRequiredInsertCount :: DynamicTable -> IO ()
checkRequiredInsertCount :: DynamicTable -> RequiredInsertCount -> IO ()
checkRequiredInsertCountNB :: DynamicTable -> RequiredInsertCount -> IO Bool
updateRequiredInsertCount :: DynamicTable -> AbsoluteIndex -> IO ()
incrementKnownReceivedCount :: DynamicTable -> Int -> IO ()
updateKnownReceivedCount :: DynamicTable -> RequiredInsertCount -> IO ()
wouldSectionBeBlocked :: DynamicTable -> RequiredInsertCount -> IO Bool
wouldInstructionBeBlocked :: DynamicTable -> AbsoluteIndex -> IO Bool
setInsersionPointToKnownReceivedCount :: DynamicTable -> IO ()
getBasePoint :: DynamicTable -> IO BasePoint
setBasePointToInsersionPoint :: DynamicTable -> IO ()
getInsertionPoint :: DynamicTable -> IO InsertionPoint
getInsertionPointSTM :: DynamicTable -> STM InsertionPoint
isDraining :: DynamicTable -> AbsoluteIndex -> IO Bool
adjustDrainingPoint :: DynamicTable -> IO ()
checkTailDuplication :: DynamicTable -> IO (Maybe AbsoluteIndex)
tailDuplication :: DynamicTable -> IO AbsoluteIndex
tryDrop :: DynamicTable -> IO Bool
canInsertEntry :: DynamicTable -> Entry -> Maybe AbsoluteIndex -> IO Bool
getLruCache :: DynamicTable -> LRUCacheRef (FieldName, FieldValue) ()
getHuffmanDecoder :: DynamicTable -> HuffmanDecoder
getMaxHeaderSize :: DynamicTable -> IO Int
setMaxHeaderSize :: DynamicTable -> Int -> IO ()
qpackDebug :: DynamicTable -> IO () -> IO ()
getDebugQPACK :: DynamicTable -> IO Bool
setDebugQPACK :: DynamicTable -> Bool -> IO ()
printReferences :: DynamicTable -> IO ()
checkHIndex :: DynamicTable -> HIndex -> IO ()
checkAbsoluteIndex :: DynamicTable -> AbsoluteIndex -> String -> IO ()
getImmediateAck :: DynamicTable -> IO Bool
setImmediateAck :: DynamicTable -> Bool -> IO ()
deleteRevIndex :: RevIndex -> Entry -> AbsoluteIndex -> IO ()
tokenToStaticIndex :: Token -> Maybe AbsoluteIndex
isKeyRegistered :: FieldName -> RevIndex -> IO (Maybe AbsoluteIndex)
lookupRevIndexS :: Token -> FieldValue -> RevResult
data HIndex
- = SIndex AbsoluteIndex
- | DIndex AbsoluteIndex
data EncoderInstruction
- = SetDynamicTableCapacity Int
- | InsertWithNameReference InsIndex FieldValue
- | InsertWithLiteralName Token FieldValue
- | Duplicate InsRelativeIndex
type InsIndex = Either AbsoluteIndex InsRelativeIndex
encodeEncoderInstructions :: [EncoderInstruction] -> Bool -> IO ByteString
decodeEncoderInstructions :: HuffmanDecoder -> ByteString -> IO ([EncoderInstruction], ByteString)
decodeEncoderInstructions' :: ByteString -> IO ([EncoderInstruction], ByteString)
encodeEI :: WriteBuffer -> Bool -> EncoderInstruction -> IO ()
decodeEI :: HuffmanDecoder -> ReadBuffer -> IO EncoderInstruction
data DecoderInstruction
- = SectionAcknowledgement StreamId
- | StreamCancellation StreamId
- | InsertCountIncrement Int
encodeDecoderInstructions :: [DecoderInstruction] -> IO ByteString
decodeDecoderInstructions :: ByteString -> IO ([DecoderInstruction], ByteString)
encodeDI :: WriteBuffer -> DecoderInstruction -> IO ()
decodeDI :: ReadBuffer -> IO DecoderInstruction
encodeHeader :: DynamicTable -> [Header] -> IO (EncodedFieldSection, EncodedEncoderInstruction)
encodeTokenHeader :: WriteBuffer -> WriteBuffer -> DynamicTable -> TokenHeaderList -> IO [AbsoluteIndex]
decodeTokenHeader :: DynamicTable -> ReadBuffer -> IO (TokenHeaderTable, Bool)
type EncodedEncoderInstruction = ByteString
type EncodedFieldSection = ByteString
encodePrefix :: WriteBuffer -> DynamicTable -> IO ()
decodeTokenHeaderS :: DynamicTable -> ReadBuffer -> IO (Maybe ([Header], Bool))
encodePrefix :: WriteBuffer -> DynamicTable -> IO ()
decodePrefix :: ReadBuffer -> DynamicTable -> IO (RequiredInsertCount, BasePoint, Bool)
encodeRequiredInsertCount :: Int -> RequiredInsertCount -> Int
decodeRequiredInsertCount :: Int -> InsertionPoint -> Int -> RequiredInsertCount
encodeBase :: RequiredInsertCount -> BasePoint -> (Bool, Int)
decodeBase :: RequiredInsertCount -> Bool -> Int -> BasePoint
data HIndex
- = SIndex AbsoluteIndex
- | DIndex AbsoluteIndex
newtype AbsoluteIndex = AbsoluteIndex Int
newtype InsRelativeIndex = InsRelativeIndex Int
newtype PreBaseIndex = PreBaseIndex Int
newtype PostBaseIndex = PostBaseIndex Int
newtype BasePoint = BasePoint Int
newtype InsertionPoint = InsertionPoint Int
newtype RequiredInsertCount = RequiredInsertCount Int
toInsRelativeIndex :: AbsoluteIndex -> InsertionPoint -> InsRelativeIndex
fromInsRelativeIndex :: InsRelativeIndex -> InsertionPoint -> AbsoluteIndex
toBaseIndex :: AbsoluteIndex -> BasePoint -> Either PreBaseIndex PostBaseIndex
toPreBaseIndex :: AbsoluteIndex -> BasePoint -> PreBaseIndex
fromPreBaseIndex :: PreBaseIndex -> BasePoint -> AbsoluteIndex
toPostBaseIndex :: AbsoluteIndex -> BasePoint -> PostBaseIndex
fromPostBaseIndex :: PostBaseIndex -> BasePoint -> AbsoluteIndex
type Setter = Word8 -> Word8
set1 :: Setter
set01 :: Setter
set10 :: Setter
set11 :: Setter
set001 :: Setter
set0001 :: Setter
set0100 :: Setter
set0101 :: Setter
set0010 :: Setter
set00000 :: Setter
set00001 :: Setter
set0 :: Setter
set00 :: Setter
set000 :: Setter
set0000 :: Setter

Documentation

data DecodeError Source #

Constructors

IllegalStaticIndex Int
IllegalInsertCount
BlockedStreamsOverflow

Instances

Instances details

Exception DecodeError Source #
Instance details Defined in Network.QPACK.Error Methods toException :: DecodeError -> SomeException # fromException :: SomeException -> Maybe DecodeError # displayException :: DecodeError -> String #
Show DecodeError Source #
Instance details Defined in Network.QPACK.Error Methods showsPrec :: Int -> DecodeError -> ShowS # show :: DecodeError -> String # showList :: [DecodeError] -> ShowS #
Eq DecodeError Source #
Instance details Defined in Network.QPACK.Error Methods (==) :: DecodeError -> DecodeError -> Bool # (/=) :: DecodeError -> DecodeError -> Bool #

data ApplicationProtocolError where #

Application protocol errors of QUIC.

Bundled Patterns

pattern QpackDecompressionFailed :: ApplicationProtocolError
pattern QpackEncoderStreamError :: ApplicationProtocolError
pattern QpackDecoderStreamError :: ApplicationProtocolError

Instances

Instances details

Show ApplicationProtocolError
Instance details Defined in Network.QUIC.Types.Error Methods showsPrec :: Int -> ApplicationProtocolError -> ShowS # show :: ApplicationProtocolError -> String # showList :: [ApplicationProtocolError] -> ShowS #
Eq ApplicationProtocolError
Instance details Defined in Network.QUIC.Types.Error Methods (==) :: ApplicationProtocolError -> ApplicationProtocolError -> Bool # (/=) :: ApplicationProtocolError -> ApplicationProtocolError -> Bool #

data EncoderInstructionError Source #

Constructors

EncoderInstructionError

Instances

Instances details

Exception EncoderInstructionError Source #
Instance details Defined in Network.QPACK.Error Methods toException :: EncoderInstructionError -> SomeException # fromException :: SomeException -> Maybe EncoderInstructionError # displayException :: EncoderInstructionError -> String #
Show EncoderInstructionError Source #
Instance details Defined in Network.QPACK.Error Methods showsPrec :: Int -> EncoderInstructionError -> ShowS # show :: EncoderInstructionError -> String # showList :: [EncoderInstructionError] -> ShowS #
Eq EncoderInstructionError Source #
Instance details Defined in Network.QPACK.Error Methods (==) :: EncoderInstructionError -> EncoderInstructionError -> Bool # (/=) :: EncoderInstructionError -> EncoderInstructionError -> Bool #

data DecoderInstructionError Source #

Constructors

DecoderInstructionError

Instances

Instances details

Exception DecoderInstructionError Source #
Instance details Defined in Network.QPACK.Error Methods toException :: DecoderInstructionError -> SomeException # fromException :: SomeException -> Maybe DecoderInstructionError # displayException :: DecoderInstructionError -> String #
Show DecoderInstructionError Source #
Instance details Defined in Network.QPACK.Error Methods showsPrec :: Int -> DecoderInstructionError -> ShowS # show :: DecoderInstructionError -> String # showList :: [DecoderInstructionError] -> ShowS #
Eq DecoderInstructionError Source #
Instance details Defined in Network.QPACK.Error Methods (==) :: DecoderInstructionError -> DecoderInstructionError -> Bool # (/=) :: DecoderInstructionError -> DecoderInstructionError -> Bool #

data RevResult Source #

Constructors

N
K HIndex
KV HIndex

Instances

Instances details

Show RevResult Source #
Instance details Defined in Network.QPACK.Table.RevIndex Methods showsPrec :: Int -> RevResult -> ShowS # show :: RevResult -> String # showList :: [RevResult] -> ShowS #
Eq RevResult Source #
Instance details Defined in Network.QPACK.Table.RevIndex Methods (==) :: RevResult -> RevResult -> Bool # (/=) :: RevResult -> RevResult -> Bool #

duplicate :: DynamicTable -> AbsoluteIndex -> IO AbsoluteIndex Source #

data DynamicTable Source #

Dynamic table for QPACK.

newDynamicTableForEncoding :: (ByteString -> IO ()) -> IO DynamicTable Source #

Creating DynamicTable for encoding.

newDynamicTableForDecoding Source #

Arguments

:: Size	The size of temporary buffer for Huffman decoding
-> (ByteString -> IO ())
-> IO DynamicTable

Creating DynamicTable for decoding.

insertRevIndex :: Entry -> AbsoluteIndex -> RevIndex -> IO () Source #

lookupRevIndex :: Token -> FieldValue -> RevIndex -> IO RevResult Source #

lookupRevIndex' :: Token -> FieldValue -> RevResult Source #

newRevIndex :: IO RevIndex Source #

renewRevIndex :: RevIndex -> IO () Source #

data RevIndex Source #

getRevIndex :: DynamicTable -> RevIndex Source #

toDynamicEntry :: DynamicTable -> AbsoluteIndex -> STM Entry Source #

toIndexedEntry :: DynamicTable -> HIndex -> STM Entry Source #

isTableReady :: DynamicTable -> IO Bool Source #

getTableCapacity :: DynamicTable -> IO Int Source #

setTableCapacity :: DynamicTable -> Int -> IO () Source #

getMaxNumOfEntries :: DynamicTable -> IO Int Source #

insertEntryToDecoder :: Entry -> DynamicTable -> STM AbsoluteIndex Source #

insertEntryToEncoder :: Entry -> DynamicTable -> IO AbsoluteIndex Source #

data Section Source #

Constructors

Section RequiredInsertCount [AbsoluteIndex]

insertSection :: DynamicTable -> StreamId -> Section -> IO () Source #

getAndDelSection :: DynamicTable -> StreamId -> IO (Maybe Section) Source #

increaseReference :: DynamicTable -> AbsoluteIndex -> IO () Source #

decreaseReference :: DynamicTable -> AbsoluteIndex -> IO () Source #

getMaxBlockedStreams :: DynamicTable -> IO Int Source #

setMaxBlockedStreams :: DynamicTable -> Int -> IO () Source #

tryIncreaseStreams :: DynamicTable -> IO Bool Source #

decreaseStreams :: DynamicTable -> IO () Source #

insertBlockedStreamE :: DynamicTable -> StreamId -> IO () Source #

deleteBlockedStreamE :: DynamicTable -> StreamId -> IO () Source #

checkBlockedStreams :: DynamicTable -> IO Bool Source #

getRequiredInsertCount :: DynamicTable -> IO RequiredInsertCount Source #

clearRequiredInsertCount :: DynamicTable -> IO () Source #

checkRequiredInsertCount :: DynamicTable -> RequiredInsertCount -> IO () Source #

checkRequiredInsertCountNB :: DynamicTable -> RequiredInsertCount -> IO Bool Source #

updateRequiredInsertCount :: DynamicTable -> AbsoluteIndex -> IO () Source #

incrementKnownReceivedCount :: DynamicTable -> Int -> IO () Source #

updateKnownReceivedCount :: DynamicTable -> RequiredInsertCount -> IO () Source #

wouldSectionBeBlocked :: DynamicTable -> RequiredInsertCount -> IO Bool Source #

wouldInstructionBeBlocked :: DynamicTable -> AbsoluteIndex -> IO Bool Source #

setInsersionPointToKnownReceivedCount :: DynamicTable -> IO () Source #

getBasePoint :: DynamicTable -> IO BasePoint Source #

setBasePointToInsersionPoint :: DynamicTable -> IO () Source #

getInsertionPoint :: DynamicTable -> IO InsertionPoint Source #

getInsertionPointSTM :: DynamicTable -> STM InsertionPoint Source #

isDraining :: DynamicTable -> AbsoluteIndex -> IO Bool Source #

adjustDrainingPoint :: DynamicTable -> IO () Source #

checkTailDuplication :: DynamicTable -> IO (Maybe AbsoluteIndex) Source #

tailDuplication :: DynamicTable -> IO AbsoluteIndex Source #

tryDrop :: DynamicTable -> IO Bool Source #

canInsertEntry :: DynamicTable -> Entry -> Maybe AbsoluteIndex -> IO Bool Source #

getLruCache :: DynamicTable -> LRUCacheRef (FieldName, FieldValue) () Source #

getHuffmanDecoder :: DynamicTable -> HuffmanDecoder Source #

getMaxHeaderSize :: DynamicTable -> IO Int Source #

setMaxHeaderSize :: DynamicTable -> Int -> IO () Source #

qpackDebug :: DynamicTable -> IO () -> IO () Source #

getDebugQPACK :: DynamicTable -> IO Bool Source #

setDebugQPACK :: DynamicTable -> Bool -> IO () Source #

printReferences :: DynamicTable -> IO () Source #

checkHIndex :: DynamicTable -> HIndex -> IO () Source #

checkAbsoluteIndex :: DynamicTable -> AbsoluteIndex -> String -> IO () Source #

getImmediateAck :: DynamicTable -> IO Bool Source #

setImmediateAck :: DynamicTable -> Bool -> IO () Source #

deleteRevIndex :: RevIndex -> Entry -> AbsoluteIndex -> IO () Source #

tokenToStaticIndex :: Token -> Maybe AbsoluteIndex Source #

isKeyRegistered :: FieldName -> RevIndex -> IO (Maybe AbsoluteIndex) Source #

lookupRevIndexS :: Token -> FieldValue -> RevResult Source #

data HIndex Source #

Constructors

SIndex AbsoluteIndex
DIndex AbsoluteIndex

Instances

Instances details

Show HIndex Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> HIndex -> ShowS # show :: HIndex -> String # showList :: [HIndex] -> ShowS #
Eq HIndex Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: HIndex -> HIndex -> Bool # (/=) :: HIndex -> HIndex -> Bool #
Ord HIndex Source #
Instance details Defined in Network.QPACK.Types Methods compare :: HIndex -> HIndex -> Ordering # (<) :: HIndex -> HIndex -> Bool # (<=) :: HIndex -> HIndex -> Bool # (>) :: HIndex -> HIndex -> Bool # (>=) :: HIndex -> HIndex -> Bool # max :: HIndex -> HIndex -> HIndex # min :: HIndex -> HIndex -> HIndex #

data EncoderInstruction Source #

Constructors

SetDynamicTableCapacity Int
InsertWithNameReference InsIndex FieldValue
InsertWithLiteralName Token FieldValue
Duplicate InsRelativeIndex

Instances

Instances details

Show EncoderInstruction Source #
Instance details Defined in Network.QPACK.Instruction Methods showsPrec :: Int -> EncoderInstruction -> ShowS # show :: EncoderInstruction -> String # showList :: [EncoderInstruction] -> ShowS #
Eq EncoderInstruction Source #
Instance details Defined in Network.QPACK.Instruction Methods (==) :: EncoderInstruction -> EncoderInstruction -> Bool # (/=) :: EncoderInstruction -> EncoderInstruction -> Bool #

type InsIndex = Either AbsoluteIndex InsRelativeIndex Source #

encodeEncoderInstructions :: [EncoderInstruction] -> Bool -> IO ByteString Source #

decodeEncoderInstructions :: HuffmanDecoder -> ByteString -> IO ([EncoderInstruction], ByteString) Source #

decodeEncoderInstructions' :: ByteString -> IO ([EncoderInstruction], ByteString) Source #

encodeEI :: WriteBuffer -> Bool -> EncoderInstruction -> IO () Source #

decodeEI :: HuffmanDecoder -> ReadBuffer -> IO EncoderInstruction Source #

data DecoderInstruction Source #

Constructors

SectionAcknowledgement StreamId
StreamCancellation StreamId
InsertCountIncrement Int

Instances

Instances details

Show DecoderInstruction Source #
Instance details Defined in Network.QPACK.Instruction Methods showsPrec :: Int -> DecoderInstruction -> ShowS # show :: DecoderInstruction -> String # showList :: [DecoderInstruction] -> ShowS #
Eq DecoderInstruction Source #
Instance details Defined in Network.QPACK.Instruction Methods (==) :: DecoderInstruction -> DecoderInstruction -> Bool # (/=) :: DecoderInstruction -> DecoderInstruction -> Bool #

encodeDecoderInstructions :: [DecoderInstruction] -> IO ByteString Source #

decodeDecoderInstructions :: ByteString -> IO ([DecoderInstruction], ByteString) Source #

encodeDI :: WriteBuffer -> DecoderInstruction -> IO () Source #

decodeDI :: ReadBuffer -> IO DecoderInstruction Source #

encodeHeader :: DynamicTable -> [Header] -> IO (EncodedFieldSection, EncodedEncoderInstruction) Source #

Encoding headers with QPACK. Header block with prefix and instructions are returned. 2048, 32, and 2048 bytes-buffers are temporally allocated for header block, prefix and encoder instructions. If headers are too large, BufferOverrun is thrown.

encodeTokenHeader Source #

Arguments

:: WriteBuffer	Workspace for the body of header block
-> WriteBuffer	Workspace for encoder instructions
-> DynamicTable
-> TokenHeaderList
-> IO [AbsoluteIndex]

Converting TokenHeaderList to the QPACK format. TokenHeaderList must be smaller than or equal to workspaces. Otherwise, BufferOverrun is thrown.

decodeTokenHeader :: DynamicTable -> ReadBuffer -> IO (TokenHeaderTable, Bool) Source #

type EncodedEncoderInstruction = ByteString Source #

Encoded encoder instruction.

type EncodedFieldSection = ByteString Source #

Encoded field section including prefix.

encodePrefix :: WriteBuffer -> DynamicTable -> IO () Source #

Encoding the prefix part of header block. This should be used after encodeTokenHeader.

decodeTokenHeaderS :: DynamicTable -> ReadBuffer -> IO (Maybe ([Header], Bool)) Source #

encodePrefix :: WriteBuffer -> DynamicTable -> IO () Source #

Encoding the prefix part of header block. This should be used after encodeTokenHeader.

decodePrefix :: ReadBuffer -> DynamicTable -> IO (RequiredInsertCount, BasePoint, Bool) Source #

Decoding the prefix part of header block.

encodeRequiredInsertCount :: Int -> RequiredInsertCount -> Int Source #

>>> encodeRequiredInsertCount 3 9
4
>>> encodeRequiredInsertCount 128 1000
233

decodeRequiredInsertCount :: Int -> InsertionPoint -> Int -> RequiredInsertCount Source #

for decoder

>>> decodeRequiredInsertCount 3 10 4
RequiredInsertCount 9
>>> decodeRequiredInsertCount 128 990 233
RequiredInsertCount 1000

encodeBase :: RequiredInsertCount -> BasePoint -> (Bool, Int) Source #

>>> encodeBase 6 9
(False,3)
>>> encodeBase 9 6
(True,2)

decodeBase :: RequiredInsertCount -> Bool -> Int -> BasePoint Source #

>>> decodeBase 6 False 3
BasePoint 9
>>> decodeBase 9 True 2
BasePoint 6

Types

data HIndex Source #

Constructors

SIndex AbsoluteIndex
DIndex AbsoluteIndex

Instances

Instances details

Show HIndex Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> HIndex -> ShowS # show :: HIndex -> String # showList :: [HIndex] -> ShowS #
Eq HIndex Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: HIndex -> HIndex -> Bool # (/=) :: HIndex -> HIndex -> Bool #
Ord HIndex Source #
Instance details Defined in Network.QPACK.Types Methods compare :: HIndex -> HIndex -> Ordering # (<) :: HIndex -> HIndex -> Bool # (<=) :: HIndex -> HIndex -> Bool # (>) :: HIndex -> HIndex -> Bool # (>=) :: HIndex -> HIndex -> Bool # max :: HIndex -> HIndex -> HIndex # min :: HIndex -> HIndex -> HIndex #

newtype AbsoluteIndex Source #

Constructors

AbsoluteIndex Int

Instances

Instances details

Num AbsoluteIndex Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: AbsoluteIndex -> AbsoluteIndex -> AbsoluteIndex # (-) :: AbsoluteIndex -> AbsoluteIndex -> AbsoluteIndex # (*) :: AbsoluteIndex -> AbsoluteIndex -> AbsoluteIndex # negate :: AbsoluteIndex -> AbsoluteIndex # abs :: AbsoluteIndex -> AbsoluteIndex # signum :: AbsoluteIndex -> AbsoluteIndex # fromInteger :: Integer -> AbsoluteIndex #
Show AbsoluteIndex Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> AbsoluteIndex -> ShowS # show :: AbsoluteIndex -> String # showList :: [AbsoluteIndex] -> ShowS #
Eq AbsoluteIndex Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: AbsoluteIndex -> AbsoluteIndex -> Bool # (/=) :: AbsoluteIndex -> AbsoluteIndex -> Bool #
Ord AbsoluteIndex Source #
Instance details Defined in Network.QPACK.Types Methods compare :: AbsoluteIndex -> AbsoluteIndex -> Ordering # (<) :: AbsoluteIndex -> AbsoluteIndex -> Bool # (<=) :: AbsoluteIndex -> AbsoluteIndex -> Bool # (>) :: AbsoluteIndex -> AbsoluteIndex -> Bool # (>=) :: AbsoluteIndex -> AbsoluteIndex -> Bool # max :: AbsoluteIndex -> AbsoluteIndex -> AbsoluteIndex # min :: AbsoluteIndex -> AbsoluteIndex -> AbsoluteIndex #

newtype InsRelativeIndex Source #

Constructors

InsRelativeIndex Int

Instances

Instances details

Num InsRelativeIndex Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: InsRelativeIndex -> InsRelativeIndex -> InsRelativeIndex # (-) :: InsRelativeIndex -> InsRelativeIndex -> InsRelativeIndex # (*) :: InsRelativeIndex -> InsRelativeIndex -> InsRelativeIndex # negate :: InsRelativeIndex -> InsRelativeIndex # abs :: InsRelativeIndex -> InsRelativeIndex # signum :: InsRelativeIndex -> InsRelativeIndex # fromInteger :: Integer -> InsRelativeIndex #
Show InsRelativeIndex Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> InsRelativeIndex -> ShowS # show :: InsRelativeIndex -> String # showList :: [InsRelativeIndex] -> ShowS #
Eq InsRelativeIndex Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: InsRelativeIndex -> InsRelativeIndex -> Bool # (/=) :: InsRelativeIndex -> InsRelativeIndex -> Bool #
Ord InsRelativeIndex Source #
Instance details Defined in Network.QPACK.Types Methods compare :: InsRelativeIndex -> InsRelativeIndex -> Ordering # (<) :: InsRelativeIndex -> InsRelativeIndex -> Bool # (<=) :: InsRelativeIndex -> InsRelativeIndex -> Bool # (>) :: InsRelativeIndex -> InsRelativeIndex -> Bool # (>=) :: InsRelativeIndex -> InsRelativeIndex -> Bool # max :: InsRelativeIndex -> InsRelativeIndex -> InsRelativeIndex # min :: InsRelativeIndex -> InsRelativeIndex -> InsRelativeIndex #

newtype PreBaseIndex Source #

Constructors

PreBaseIndex Int

Instances

Instances details

Num PreBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: PreBaseIndex -> PreBaseIndex -> PreBaseIndex # (-) :: PreBaseIndex -> PreBaseIndex -> PreBaseIndex # (*) :: PreBaseIndex -> PreBaseIndex -> PreBaseIndex # negate :: PreBaseIndex -> PreBaseIndex # abs :: PreBaseIndex -> PreBaseIndex # signum :: PreBaseIndex -> PreBaseIndex # fromInteger :: Integer -> PreBaseIndex #
Show PreBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> PreBaseIndex -> ShowS # show :: PreBaseIndex -> String # showList :: [PreBaseIndex] -> ShowS #
Eq PreBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: PreBaseIndex -> PreBaseIndex -> Bool # (/=) :: PreBaseIndex -> PreBaseIndex -> Bool #
Ord PreBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods compare :: PreBaseIndex -> PreBaseIndex -> Ordering # (<) :: PreBaseIndex -> PreBaseIndex -> Bool # (<=) :: PreBaseIndex -> PreBaseIndex -> Bool # (>) :: PreBaseIndex -> PreBaseIndex -> Bool # (>=) :: PreBaseIndex -> PreBaseIndex -> Bool # max :: PreBaseIndex -> PreBaseIndex -> PreBaseIndex # min :: PreBaseIndex -> PreBaseIndex -> PreBaseIndex #

newtype PostBaseIndex Source #

Constructors

PostBaseIndex Int

Instances

Instances details

Num PostBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: PostBaseIndex -> PostBaseIndex -> PostBaseIndex # (-) :: PostBaseIndex -> PostBaseIndex -> PostBaseIndex # (*) :: PostBaseIndex -> PostBaseIndex -> PostBaseIndex # negate :: PostBaseIndex -> PostBaseIndex # abs :: PostBaseIndex -> PostBaseIndex # signum :: PostBaseIndex -> PostBaseIndex # fromInteger :: Integer -> PostBaseIndex #
Show PostBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> PostBaseIndex -> ShowS # show :: PostBaseIndex -> String # showList :: [PostBaseIndex] -> ShowS #
Eq PostBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: PostBaseIndex -> PostBaseIndex -> Bool # (/=) :: PostBaseIndex -> PostBaseIndex -> Bool #
Ord PostBaseIndex Source #
Instance details Defined in Network.QPACK.Types Methods compare :: PostBaseIndex -> PostBaseIndex -> Ordering # (<) :: PostBaseIndex -> PostBaseIndex -> Bool # (<=) :: PostBaseIndex -> PostBaseIndex -> Bool # (>) :: PostBaseIndex -> PostBaseIndex -> Bool # (>=) :: PostBaseIndex -> PostBaseIndex -> Bool # max :: PostBaseIndex -> PostBaseIndex -> PostBaseIndex # min :: PostBaseIndex -> PostBaseIndex -> PostBaseIndex #

newtype BasePoint Source #

Constructors

BasePoint Int

Instances

Instances details

Num BasePoint Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: BasePoint -> BasePoint -> BasePoint # (-) :: BasePoint -> BasePoint -> BasePoint # (*) :: BasePoint -> BasePoint -> BasePoint # negate :: BasePoint -> BasePoint # abs :: BasePoint -> BasePoint # signum :: BasePoint -> BasePoint # fromInteger :: Integer -> BasePoint #
Show BasePoint Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> BasePoint -> ShowS # show :: BasePoint -> String # showList :: [BasePoint] -> ShowS #
Eq BasePoint Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: BasePoint -> BasePoint -> Bool # (/=) :: BasePoint -> BasePoint -> Bool #
Ord BasePoint Source #
Instance details Defined in Network.QPACK.Types Methods compare :: BasePoint -> BasePoint -> Ordering # (<) :: BasePoint -> BasePoint -> Bool # (<=) :: BasePoint -> BasePoint -> Bool # (>) :: BasePoint -> BasePoint -> Bool # (>=) :: BasePoint -> BasePoint -> Bool # max :: BasePoint -> BasePoint -> BasePoint # min :: BasePoint -> BasePoint -> BasePoint #

newtype InsertionPoint Source #

Constructors

InsertionPoint Int

Instances

Instances details

Num InsertionPoint Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: InsertionPoint -> InsertionPoint -> InsertionPoint # (-) :: InsertionPoint -> InsertionPoint -> InsertionPoint # (*) :: InsertionPoint -> InsertionPoint -> InsertionPoint # negate :: InsertionPoint -> InsertionPoint # abs :: InsertionPoint -> InsertionPoint # signum :: InsertionPoint -> InsertionPoint # fromInteger :: Integer -> InsertionPoint #
Show InsertionPoint Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> InsertionPoint -> ShowS # show :: InsertionPoint -> String # showList :: [InsertionPoint] -> ShowS #
Eq InsertionPoint Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: InsertionPoint -> InsertionPoint -> Bool # (/=) :: InsertionPoint -> InsertionPoint -> Bool #
Ord InsertionPoint Source #
Instance details Defined in Network.QPACK.Types Methods compare :: InsertionPoint -> InsertionPoint -> Ordering # (<) :: InsertionPoint -> InsertionPoint -> Bool # (<=) :: InsertionPoint -> InsertionPoint -> Bool # (>) :: InsertionPoint -> InsertionPoint -> Bool # (>=) :: InsertionPoint -> InsertionPoint -> Bool # max :: InsertionPoint -> InsertionPoint -> InsertionPoint # min :: InsertionPoint -> InsertionPoint -> InsertionPoint #

newtype RequiredInsertCount Source #

Constructors

RequiredInsertCount Int

Instances

Instances details

Num RequiredInsertCount Source #
Instance details Defined in Network.QPACK.Types Methods (+) :: RequiredInsertCount -> RequiredInsertCount -> RequiredInsertCount # (-) :: RequiredInsertCount -> RequiredInsertCount -> RequiredInsertCount # (*) :: RequiredInsertCount -> RequiredInsertCount -> RequiredInsertCount # negate :: RequiredInsertCount -> RequiredInsertCount # abs :: RequiredInsertCount -> RequiredInsertCount # signum :: RequiredInsertCount -> RequiredInsertCount # fromInteger :: Integer -> RequiredInsertCount #
Show RequiredInsertCount Source #
Instance details Defined in Network.QPACK.Types Methods showsPrec :: Int -> RequiredInsertCount -> ShowS # show :: RequiredInsertCount -> String # showList :: [RequiredInsertCount] -> ShowS #
Eq RequiredInsertCount Source #
Instance details Defined in Network.QPACK.Types Methods (==) :: RequiredInsertCount -> RequiredInsertCount -> Bool # (/=) :: RequiredInsertCount -> RequiredInsertCount -> Bool #
Ord RequiredInsertCount Source #
Instance details Defined in Network.QPACK.Types Methods compare :: RequiredInsertCount -> RequiredInsertCount -> Ordering # (<) :: RequiredInsertCount -> RequiredInsertCount -> Bool # (<=) :: RequiredInsertCount -> RequiredInsertCount -> Bool # (>) :: RequiredInsertCount -> RequiredInsertCount -> Bool # (>=) :: RequiredInsertCount -> RequiredInsertCount -> Bool # max :: RequiredInsertCount -> RequiredInsertCount -> RequiredInsertCount # min :: RequiredInsertCount -> RequiredInsertCount -> RequiredInsertCount #

toInsRelativeIndex :: AbsoluteIndex -> InsertionPoint -> InsRelativeIndex Source #

>>> toInsRelativeIndex 99 100
InsRelativeIndex 0
>>> toInsRelativeIndex 98 100
InsRelativeIndex 1
>>> toInsRelativeIndex 97 100
InsRelativeIndex 2
>>> toInsRelativeIndex 96 100
InsRelativeIndex 3

fromInsRelativeIndex :: InsRelativeIndex -> InsertionPoint -> AbsoluteIndex Source #

>>> fromInsRelativeIndex 0 100
AbsoluteIndex 99
>>> fromInsRelativeIndex 1 100
AbsoluteIndex 98
>>> fromInsRelativeIndex 2 100
AbsoluteIndex 97
>>> fromInsRelativeIndex 3 100
AbsoluteIndex 96

toBaseIndex :: AbsoluteIndex -> BasePoint -> Either PreBaseIndex PostBaseIndex Source #

toPreBaseIndex :: AbsoluteIndex -> BasePoint -> PreBaseIndex Source #

>>> toPreBaseIndex 96 98
PreBaseIndex 1
>>> toPreBaseIndex 97 98
PreBaseIndex 0

fromPreBaseIndex :: PreBaseIndex -> BasePoint -> AbsoluteIndex Source #

>>> fromPreBaseIndex 1 98
AbsoluteIndex 96
>>> fromPreBaseIndex 0 98
AbsoluteIndex 97

toPostBaseIndex :: AbsoluteIndex -> BasePoint -> PostBaseIndex Source #

>>> toPostBaseIndex 98 98
PostBaseIndex 0
>>> toPostBaseIndex 99 98
PostBaseIndex 1

fromPostBaseIndex :: PostBaseIndex -> BasePoint -> AbsoluteIndex Source #

>>> fromPostBaseIndex 0 98
AbsoluteIndex 98
>>> fromPostBaseIndex 1 98
AbsoluteIndex 99

type Setter = Word8 -> Word8 Source #

set1 :: Setter Source #

set01 :: Setter Source #

set10 :: Setter Source #

set11 :: Setter Source #

set001 :: Setter Source #

set0001 :: Setter Source #

set0100 :: Setter Source #

set0101 :: Setter Source #

set0010 :: Setter Source #

set00000 :: Setter Source #

set00001 :: Setter Source #

set0 :: Setter Source #

set00 :: Setter Source #

set000 :: Setter Source #

set0000 :: Setter Source #