{-# LANGUAGE OverloadedStrings #-}

module Network.HPACK.Table.Entry (
    -- * Type
    Size,
    Entry (..),
    Header, -- re-exporting
    HeaderName, -- re-exporting
    HeaderValue, -- re-exporting
    Index, -- re-exporting

    -- * Header and Entry
    toEntry,
    toEntryToken,

    -- * Getters
    entrySize,
    entryTokenHeader,
    entryToken,
    entryHeaderName,
    entryHeaderValue,

    -- * For initialization
    dummyEntry,
    maxNumbers,
) where

import qualified Data.ByteString as BS
import Network.HPACK.Token
import Network.HPACK.Types

----------------------------------------------------------------

-- | Size in bytes.
type Size = Int

-- | Type for table entry. Size includes the 32 bytes magic number.
data Entry = Entry Size Token HeaderValue deriving (Size -> Entry -> ShowS
[Entry] -> ShowS
Entry -> String
forall a.
(Size -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Entry] -> ShowS
$cshowList :: [Entry] -> ShowS
show :: Entry -> String
$cshow :: Entry -> String
showsPrec :: Size -> Entry -> ShowS
$cshowsPrec :: Size -> Entry -> ShowS
Show)

----------------------------------------------------------------

headerSizeMagicNumber :: Size
headerSizeMagicNumber :: Size
headerSizeMagicNumber = Size
32

headerSize :: Header -> Size
headerSize :: Header -> Size
headerSize (HeaderValue
k, HeaderValue
v) =
    HeaderValue -> Size
BS.length HeaderValue
k
        forall a. Num a => a -> a -> a
+ HeaderValue -> Size
BS.length HeaderValue
v
        forall a. Num a => a -> a -> a
+ Size
headerSizeMagicNumber

headerSize' :: Token -> HeaderValue -> Size
headerSize' :: Token -> HeaderValue -> Size
headerSize' Token
t HeaderValue
v =
    HeaderValue -> Size
BS.length (Token -> HeaderValue
tokenFoldedKey Token
t)
        forall a. Num a => a -> a -> a
+ HeaderValue -> Size
BS.length HeaderValue
v
        forall a. Num a => a -> a -> a
+ Size
headerSizeMagicNumber

----------------------------------------------------------------

-- | From 'Header' to 'Entry'.
toEntry :: Header -> Entry
toEntry :: Header -> Entry
toEntry kv :: Header
kv@(HeaderValue
k, HeaderValue
v) = Size -> Token -> HeaderValue -> Entry
Entry Size
siz Token
t HeaderValue
v
  where
    t :: Token
t = HeaderValue -> Token
toToken HeaderValue
k
    siz :: Size
siz = Header -> Size
headerSize Header
kv

toEntryToken :: Token -> HeaderValue -> Entry
toEntryToken :: Token -> HeaderValue -> Entry
toEntryToken Token
t HeaderValue
v = Size -> Token -> HeaderValue -> Entry
Entry Size
siz Token
t HeaderValue
v
  where
    siz :: Size
siz = Token -> HeaderValue -> Size
headerSize' Token
t HeaderValue
v

----------------------------------------------------------------

-- | Getting the size of 'Entry'.
entrySize :: Entry -> Size
entrySize :: Entry -> Size
entrySize (Entry Size
siz Token
_ HeaderValue
_) = Size
siz

-- | Getting 'TokenHeader'.
entryTokenHeader :: Entry -> TokenHeader
entryTokenHeader :: Entry -> TokenHeader
entryTokenHeader (Entry Size
_ Token
t HeaderValue
v) = (Token
t, HeaderValue
v)

-- | Getting 'Token'.
entryToken :: Entry -> Token
entryToken :: Entry -> Token
entryToken (Entry Size
_ Token
t HeaderValue
_) = Token
t

-- | Getting 'HeaderName'.
entryHeaderName :: Entry -> HeaderName
entryHeaderName :: Entry -> HeaderValue
entryHeaderName (Entry Size
_ Token
t HeaderValue
_) = Token -> HeaderValue
tokenFoldedKey Token
t

-- | Getting 'HeaderValue'.
entryHeaderValue :: Entry -> HeaderValue
entryHeaderValue :: Entry -> HeaderValue
entryHeaderValue (Entry Size
_ Token
_ HeaderValue
v) = HeaderValue
v

----------------------------------------------------------------

-- | Dummy 'Entry' to initialize a dynamic table.
dummyEntry :: Entry
dummyEntry :: Entry
dummyEntry = Size -> Token -> HeaderValue -> Entry
Entry Size
0 Token
tokenMax HeaderValue
"dummyValue"

-- | How many entries can be stored in a dynamic table?
maxNumbers :: Size -> Int
maxNumbers :: Size -> Size
maxNumbers Size
siz = Size
siz forall a. Integral a => a -> a -> a
`div` Size
headerSizeMagicNumber