Network.QUIC.Internal

Documentation

data Hooks

Hooks.

Constructors

Hooks

Fields

• onCloseCompleted :: IO ()
• onPlainCreated :: EncryptionLevel -> Plain -> Plain
• onTransportParametersCreated :: Parameters -> Parameters
• onTLSExtensionCreated :: [ExtensionRaw] -> [ExtensionRaw]
• onTLSHandshakeCreated :: [(EncryptionLevel, CryptoData)] -> ([(EncryptionLevel, CryptoData)], Bool)
• onResetStreamReceived :: Stream -> ApplicationProtocolError -> IO ()

defaultHooks :: Hooks

Default hooks.

data ClientConfig

Client configuration.

Constructors

ClientConfig

Fields

• ccVersions :: [Version]

  Versions in the preferred order.

• ccCiphers :: [Cipher]

  Cipher candidates defined in TLS 1.3.

• ccGroups :: [Group]

  Key exchange group candidates defined in TLS 1.3.

• ccParameters :: Parameters
• ccKeyLog :: String -> IO ()
• ccQLog :: Maybe FilePath
• ccCredentials :: Credentials

  TLS credentials.

• ccHooks :: Hooks
• ccUse0RTT :: Bool

  Use 0-RTT on the 2nd connection if possible. client original

• ccServerName :: HostName

  Used to create a socket and SNI for TLS.

• ccPortName :: ServiceName

  Used to create a socket.

• ccALPN :: Version -> IO (Maybe [ByteString])

  An ALPN provider.

• ccValidate :: Bool

  Authenticating a server based on its certificate.

• ccResumption :: ResumptionInfo

  Use resumption on the 2nd connection if possible.

• ccPacketSize :: Maybe Int

  QUIC packet size (UDP payload size)

• ccDebugLog :: Bool
• ccAutoMigration :: Bool

  If True, use a unconnected socket for auto migration. Otherwise, use a connected socket.

defaultClientConfig :: ClientConfig

The default value for client configuration.

data ServerConfig

Server configuration.

Constructors

ServerConfig

Fields

• scVersions :: [Version]

  Versions in the preferred order.

• scCiphers :: [Cipher]

  Cipher candidates defined in TLS 1.3.

• scGroups :: [Group]

  Key exchange group candidates defined in TLS 1.3.

• scParameters :: Parameters
• scKeyLog :: String -> IO ()
• scQLog :: Maybe FilePath
• scCredentials :: Credentials

  Server certificate information.

• scHooks :: Hooks
• scUse0RTT :: Bool

  Use 0-RTT on the 2nd connection if possible. server original

• scAddresses :: [(IP, PortNumber)]

  Server addresses assigned to used network interfaces.

• scALPN :: Maybe (Version -> [ByteString] -> IO ByteString)

  ALPN handler.

• scRequireRetry :: Bool

  Requiring QUIC retry.

• scSessionManager :: SessionManager

  A session manager of TLS 1.3.

• scDebugLog :: Maybe FilePath

defaultServerConfig :: ServerConfig

The default value for server configuration.

nextPacketNumber :: Connection -> IO PacketNumber

setPeerPacketNumber :: Connection -> PacketNumber -> IO ()

getPeerPacketNumber :: Connection -> IO PacketNumber

setEncryptionLevel :: Connection -> EncryptionLevel -> IO ()

waitEncryptionLevel :: Connection -> EncryptionLevel -> IO ()

putOffCrypto :: Connection -> EncryptionLevel -> ReceivedPacket -> IO ()

getCipher :: Connection -> EncryptionLevel -> IO Cipher

setCipher :: Connection -> EncryptionLevel -> Cipher -> IO ()

getTLSMode :: Connection -> IO HandshakeMode13

getApplicationProtocol :: Connection -> IO (Maybe NegotiatedProtocol)

setNegotiated :: Connection -> HandshakeMode13 -> Maybe NegotiatedProtocol -> ApplicationSecretInfo -> IO ()

dropSecrets :: Connection -> EncryptionLevel -> IO ()

initializeCoder :: Connection -> EncryptionLevel -> TrafficSecrets a -> IO ()

initializeCoder1RTT :: Connection -> TrafficSecrets ApplicationSecret -> IO ()

updateCoder1RTT :: Connection -> Bool -> IO ()

getCoder :: Connection -> EncryptionLevel -> Bool -> IO Coder

getProtector :: Connection -> EncryptionLevel -> IO Protector

getCurrentKeyPhase :: Connection -> IO (Bool, PacketNumber)

setCurrentKeyPhase :: Connection -> Bool -> PacketNumber -> IO ()

getMyCID :: Connection -> IO CID

getMyCIDs :: Connection -> IO [CID]

getPeerCID :: Connection -> IO CID

isMyCID :: Connection -> CID -> IO Bool

myCIDsInclude :: Connection -> CID -> IO (Maybe Int)

shouldUpdateMyCID :: Connection -> Int -> IO Bool

shouldUpdatePeerCID :: Connection -> IO Bool

resetPeerCID :: Connection -> CID -> IO ()

Reseting to Initial CID in the client side.

getNewMyCID :: Connection -> IO CIDInfo

Sending NewConnectionID

getMyCIDSeqNum :: Connection -> IO Int

setMyCID :: Connection -> CID -> IO ()

Peer starts using a new CID.

setPeerCIDAndRetireCIDs :: Connection -> Int -> IO [Int]

Receiving NewConnectionID

retirePeerCID :: Connection -> Int -> IO ()

After sending RetireConnectionID

retireMyCID :: Connection -> Int -> IO (Maybe CIDInfo)

Receiving RetireConnectionID

addPeerCID :: Connection -> CIDInfo -> IO ()

Receiving NewConnectionID

waitPeerCID :: Connection -> IO CIDInfo

Only for the internal "migration" API

choosePeerCIDForPrivacy :: Connection -> IO ()

Automatic CID update

setPeerStatelessResetToken :: Connection -> StatelessResetToken -> IO ()

isStatelessRestTokenValid :: Connection -> CID -> StatelessResetToken -> IO Bool

setMigrationStarted :: Connection -> IO ()

isPathValidating :: Connection -> IO Bool

checkResponse :: Connection -> PathData -> IO ()

validatePath :: Connection -> Maybe CIDInfo -> IO ()

setVersion :: Connection -> Version -> IO ()

getVersion :: Connection -> IO Version

getSockets :: Connection -> IO [Socket]

addSocket :: Connection -> Socket -> IO Socket

clearSockets :: Connection -> IO [Socket]

getPeerAuthCIDs :: Connection -> IO AuthCIDs

setPeerAuthCIDs :: Connection -> (AuthCIDs -> AuthCIDs) -> IO ()

getMyParameters :: Connection -> Parameters

getPeerParameters :: Connection -> IO Parameters

setPeerParameters :: Connection -> Parameters -> IO ()

delayedAck :: Connection -> IO ()

resetDealyedAck :: Connection -> IO ()

setMaxPacketSize :: Connection -> Int -> IO ()

addReader :: Connection -> ThreadId -> IO ()

killReaders :: Connection -> IO ()

addTimeouter :: Connection -> ThreadId -> IO ()

replaceKillTimeouter :: Connection -> IO (IO ())

addResource :: Connection -> IO () -> IO ()

freeResources :: Connection -> IO ()

readMinIdleTimeout :: Connection -> IO Microseconds

setMinIdleTimeout :: Connection -> Microseconds -> IO ()

sendFrames :: Connection -> EncryptionLevel -> [Frame] -> IO ()

closeConnection :: TransportError -> ReasonPhrase -> IO ()

Closing a connection with/without a transport error. Internal threads should use this.

abortConnection :: Connection -> ApplicationProtocolError -> ReasonPhrase -> IO ()

Closing a connection with an application protocol error.

setConnection0RTTReady :: Connection -> IO ()

isConnection1RTTReady :: Connection -> IO Bool

setConnection1RTTReady :: Connection -> IO ()

isConnectionEstablished :: Connector a => a -> IO Bool

setConnectionEstablished :: Connection -> IO ()

wait0RTTReady :: Connection -> IO ()

Waiting until 0-RTT data can be sent.

wait1RTTReady :: Connection -> IO ()

Waiting until 1-RTT data can be sent.

waitEstablished :: Connection -> IO ()

For clients, waiting until HANDSHAKE_DONE is received. For servers, waiting until a TLS stack reports that the handshake is complete.

readConnectionFlowTx :: Connection -> STM Flow

addTxData :: Connection -> Int -> STM ()

getTxData :: Connection -> IO Int

setTxMaxData :: Connection -> Int -> IO ()

getTxMaxData :: Connection -> STM Int

addRxData :: Connection -> Int -> IO ()

getRxData :: Connection -> IO Int

addRxMaxData :: Connection -> Int -> IO Int

getRxMaxData :: Connection -> IO Int

getRxDataWindow :: Connection -> IO Int

addTxBytes :: Connection -> Int -> IO ()

getTxBytes :: Connection -> IO Int

addRxBytes :: Connection -> Int -> IO ()

getRxBytes :: Connection -> IO Int

setAddressValidated :: Connection -> IO ()

waitAntiAmplificationFree :: Connection -> Int -> IO ()

checkAntiAmplificationFree :: Connection -> Int -> IO Bool

getMyStreamId :: Connection -> IO Int

waitMyNewStreamId :: Connection -> IO StreamId

waitMyNewUniStreamId :: Connection -> IO StreamId

setMyMaxStreams :: Connection -> Int -> IO ()

setMyUniMaxStreams :: Connection -> Int -> IO ()

getPeerMaxStreams :: Connection -> IO Int

setPeerMaxStreams :: Connection -> Int -> IO ()

createStream :: Connection -> StreamId -> IO Stream

findStream :: Connection -> StreamId -> IO (Maybe Stream)

addStream :: Connection -> StreamId -> IO Stream

delStream :: Connection -> Stream -> IO ()

initialRxMaxStreamData :: Connection -> StreamId -> Int

setupCryptoStreams :: Connection -> IO ()

clearCryptoStream :: Connection -> EncryptionLevel -> IO ()

getCryptoStream :: Connection -> EncryptionLevel -> IO (Maybe Stream)

takeInput :: Connection -> IO Input

putInput :: Connection -> Input -> IO ()

takeCrypto :: Connection -> IO Crypto

putCrypto :: Connection -> Crypto -> IO ()

takeOutputSTM :: Connection -> STM Output

tryPeekOutput :: Connection -> IO (Maybe Output)

putOutput :: Connection -> Output -> IO ()

takeSendStreamQ :: Connection -> IO TxStreamData

takeSendStreamQSTM :: Connection -> STM TxStreamData

tryPeekSendStreamQ :: Connection -> IO (Maybe TxStreamData)

putSendStreamQ :: Connection -> TxStreamData -> IO ()

readMigrationQ :: Connection -> IO ReceivedPacket

writeMigrationQ :: Connection -> ReceivedPacket -> IO ()

setToken :: Connection -> Token -> IO ()

getToken :: Connection -> IO Token

getResumptionInfo :: Connection -> IO ResumptionInfo

Getting information about resumption.

setRetried :: Connection -> Bool -> IO ()

getRetried :: Connection -> IO Bool

setResumptionSession :: Connection -> SessionEstablish

setNewToken :: Connection -> Token -> IO ()

setRegister :: Connection -> (CID -> Connection -> IO ()) -> (CID -> IO ()) -> IO ()

getRegister :: Connection -> IO (CID -> Connection -> IO ())

getUnregister :: Connection -> IO (CID -> IO ())

setTokenManager :: Connection -> TokenManager -> IO ()

getTokenManager :: Connection -> IO TokenManager

setBaseThreadId :: Connection -> ThreadId -> IO ()

getBaseThreadId :: Connection -> IO ThreadId

setCertificateChain :: Connection -> Maybe CertificateChain -> IO ()

getCertificateChain :: Connection -> IO (Maybe CertificateChain)

setServerAddr :: Connection -> SockAddr -> IO ()

getServerAddr :: Connection -> IO (Maybe SockAddr)

timeouter :: IO ()

timeout :: Microseconds -> IO a -> IO (Maybe a)

fire :: Connection -> Microseconds -> TimeoutCallback -> IO ()

cfire :: Connection -> Microseconds -> TimeoutCallback -> IO (IO ())

delay :: Microseconds -> IO ()

dummySecrets :: TrafficSecrets a

data RoleInfo

Constructors

ClientInfo

Fields

• clientInitialToken :: Token
• resumptionInfo :: ResumptionInfo
• serverAddr :: Maybe SockAddr

ServerInfo

Fields

• tokenManager :: ~TokenManager
• registerCID :: CID -> Connection -> IO ()
• unregisterCID :: CID -> IO ()
• askRetry :: Bool
• baseThreadId :: ~ThreadId
• certChain :: Maybe CertificateChain

defaultClientRoleInfo :: RoleInfo

defaultServerRoleInfo :: RoleInfo

data CIDDB

Constructors

CIDDB

Fields

• usedCIDInfo :: CIDInfo
• cidInfos :: IntMap CIDInfo
• revInfos :: Map CID Int
• nextSeqNum :: Int
• triggeredByMe :: Bool

Instances

Show CIDDB

Defined in Network.QUIC.Connection.Types

Methods

showsPrec :: Int -> CIDDB -> ShowS

show :: CIDDB -> String

showList :: [CIDDB] -> ShowS

newCIDDB :: CID -> CIDDB

data MigrationState

Constructors

NonMigration

MigrationStarted

SendChallenge [PathData]

RecvResponse

Instances

Eq MigrationState

Defined in Network.QUIC.Connection.Types

Methods

(==) :: MigrationState -> MigrationState -> Bool

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

Show MigrationState

Defined in Network.QUIC.Connection.Types

Methods

showsPrec :: Int -> MigrationState -> ShowS

show :: MigrationState -> String

showList :: [MigrationState] -> ShowS

data Coder

Constructors

Coder

Fields

• encrypt :: Buffer -> Int -> Buffer -> Int -> PacketNumber -> Buffer -> IO Int
• decrypt :: Buffer -> Int -> Buffer -> Int -> PacketNumber -> Buffer -> IO Int

initialCoder :: Coder

data Coder1RTT

Constructors

Coder1RTT

Fields

• coder1RTT :: Coder
• secretN :: TrafficSecrets ApplicationSecret
• supplement :: ~Supplement

initialCoder1RTT :: Coder1RTT

data Protector

Constructors

Protector

Fields

• setSample :: Ptr Word8 -> IO ()
• getMask :: IO (Ptr Word8)
• unprotect :: Sample -> Mask

initialProtector :: Protector

data Negotiated

Constructors

Negotiated

Fields

• tlsHandshakeMode :: HandshakeMode13
• applicationProtocol :: Maybe NegotiatedProtocol
• applicationSecretInfo :: ApplicationSecretInfo

initialNegotiated :: Negotiated

data Concurrency

Constructors

Concurrency

Fields

• currentStream :: Int
• streamType :: Int
• maxStreams :: Int

newConcurrency :: Role -> Direction -> Int -> Concurrency

data Connection

A quic connection to carry multiple streams.

Constructors

Connection

Fields

• connState :: ConnState
• connDebugLog :: DebugLogger

  A logger for debugging.

• connQLog :: QLogger
• connHooks :: Hooks
• connRecvQ :: RecvQ
• sockets :: IORef [Socket]
• readers :: IORef (IO ())
• tmouter :: IORef (IO ())
• mainThreadId :: ThreadId
• roleInfo :: IORef RoleInfo
• quicVersion :: IORef Version
• myParameters :: Parameters
• myCIDDB :: IORef CIDDB
• peerParameters :: IORef Parameters
• peerCIDDB :: TVar CIDDB
• inputQ :: InputQ
• cryptoQ :: CryptoQ
• outputQ :: OutputQ
• migrationQ :: MigrationQ
• shared :: Shared
• delayedAckCount :: IORef Int
• delayedAckCancel :: IORef (IO ())
• peerPacketNumber :: IORef PacketNumber
• streamTable :: IORef StreamTable
• myStreamId :: TVar Concurrency
• myUniStreamId :: TVar Concurrency
• peerStreamId :: IORef Concurrency
• flowTx :: TVar Flow
• flowRx :: IORef Flow
• migrationState :: TVar MigrationState
• minIdleTimeout :: IORef Microseconds
• bytesTx :: TVar Int
• bytesRx :: TVar Int
• addressValidated :: TVar Bool
• pendingQ :: Array EncryptionLevel (TVar [ReceivedPacket])
• ciphers :: IOArray EncryptionLevel Cipher
• coders :: IOArray EncryptionLevel Coder
• coders1RTT :: IOArray Bool Coder1RTT
• protectors :: IOArray EncryptionLevel Protector
• currentKeyPhase :: IORef (Bool, PacketNumber)
• negotiated :: IORef Negotiated
• handshakeCIDs :: IORef AuthCIDs
• connResources :: IORef (IO ())
• connLDCC :: LDCC

Instances

Connector Connection

Defined in Network.QUIC.Connection.Types

Methods

getRole :: Connection -> Role

getEncryptionLevel :: Connection -> IO EncryptionLevel

getMaxPacketSize :: Connection -> IO Int

getConnectionState :: Connection -> IO ConnectionState

getPacketNumber :: Connection -> IO PacketNumber

getAlive :: Connection -> IO Bool

KeepQlog Connection

Defined in Network.QUIC.Connection.Types

Methods

keepQlog :: Connection -> QLogger

setDead :: Connection -> IO ()

makePendingQ :: IO (Array EncryptionLevel (TVar [ReceivedPacket]))

newConnection :: Role -> Parameters -> Version -> AuthCIDs -> AuthCIDs -> DebugLogger -> QLogger -> Hooks -> IORef [Socket] -> RecvQ -> IO Connection

defaultTrafficSecrets :: (ClientTrafficSecret a, ServerTrafficSecret a)

clientConnection :: ClientConfig -> Version -> AuthCIDs -> AuthCIDs -> DebugLogger -> QLogger -> Hooks -> IORef [Socket] -> RecvQ -> IO Connection

serverConnection :: ServerConfig -> Version -> AuthCIDs -> AuthCIDs -> DebugLogger -> QLogger -> Hooks -> IORef [Socket] -> RecvQ -> IO Connection

newtype Input

Constructors

InpStream Stream

Instances

Show Input

Defined in Network.QUIC.Connection.Types

Methods

showsPrec :: Int -> Input -> ShowS

show :: Input -> String

showList :: [Input] -> ShowS

data Crypto

Constructors

InpHandshake EncryptionLevel ByteString

Instances

Show Crypto

Defined in Network.QUIC.Connection.Types

Methods

showsPrec :: Int -> Crypto -> ShowS

show :: Crypto -> String

showList :: [Crypto] -> ShowS

data Output

Constructors

OutControl EncryptionLevel [Frame] (IO ())

OutHandshake [(EncryptionLevel, ByteString)]

OutRetrans PlainPacket

type InputQ = TQueue Input

type CryptoQ = TQueue Crypto

type OutputQ = TQueue Output

type MigrationQ = TQueue ReceivedPacket

type SendStreamQ = TQueue TxStreamData

data Shared

Constructors

Shared

Fields

• sharedCloseSent :: IORef Bool
• sharedCloseReceived :: IORef Bool
• shared1RTTReady :: IORef Bool
• sharedSendStreamQ :: SendStreamQ

newShared :: IO Shared

class Connector a where

Methods

getRole :: a -> Role

getEncryptionLevel :: a -> IO EncryptionLevel

getMaxPacketSize :: a -> IO Int

getConnectionState :: a -> IO ConnectionState

getPacketNumber :: a -> IO PacketNumber

getAlive :: a -> IO Bool

Instances

Connector Connection

Defined in Network.QUIC.Connection.Types

Methods

getRole :: Connection -> Role

getEncryptionLevel :: Connection -> IO EncryptionLevel

getMaxPacketSize :: Connection -> IO Int

getConnectionState :: Connection -> IO ConnectionState

getPacketNumber :: Connection -> IO PacketNumber

getAlive :: Connection -> IO Bool

Connector LDCC

Defined in Network.QUIC.Recovery.Types

Methods

getRole :: LDCC -> Role

getEncryptionLevel :: LDCC -> IO EncryptionLevel

getMaxPacketSize :: LDCC -> IO Int

getConnectionState :: LDCC -> IO ConnectionState

getPacketNumber :: LDCC -> IO PacketNumber

getAlive :: LDCC -> IO Bool

data ConnState

Constructors

ConnState

Fields

• role :: Role
• connectionState :: TVar ConnectionState
• packetNumber :: IORef PacketNumber
• encryptionLevel :: TVar EncryptionLevel
• maxPacketSize :: IORef Int
• connectionAlive :: IORef Bool

newConnState :: Role -> IO ConnState

data Role

Constructors

Client

Server

Instances

Eq Role

Defined in Network.QUIC.Connector

Methods

(==) :: Role -> Role -> Bool

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

Show Role

Defined in Network.QUIC.Connector

Methods

showsPrec :: Int -> Role -> ShowS

show :: Role -> String

showList :: [Role] -> ShowS

isClient :: Connector a => a -> Bool

isServer :: Connector a => a -> Bool

data ConnectionState

Constructors

Handshaking

ReadyFor0RTT

ReadyFor1RTT

Established

Instances

Eq ConnectionState

Defined in Network.QUIC.Connector

Methods

(==) :: ConnectionState -> ConnectionState -> Bool

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

Ord ConnectionState

Defined in Network.QUIC.Connector

Methods

compare :: ConnectionState -> ConnectionState -> Ordering

(<) :: ConnectionState -> ConnectionState -> Bool

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

(>) :: ConnectionState -> ConnectionState -> Bool

(>=) :: ConnectionState -> ConnectionState -> Bool

max :: ConnectionState -> ConnectionState -> ConnectionState

min :: ConnectionState -> ConnectionState -> ConnectionState

Show ConnectionState

Defined in Network.QUIC.Connector

Methods

showsPrec :: Int -> ConnectionState -> ShowS

show :: ConnectionState -> String

showList :: [ConnectionState] -> ShowS

isConnectionEstablished :: Connector a => a -> IO Bool

Payload encryption

defaultCipher :: Cipher

initialSecrets :: Version -> CID -> TrafficSecrets InitialSecret

clientInitialSecret :: Version -> CID -> ClientTrafficSecret InitialSecret

serverInitialSecret :: Version -> CID -> ServerTrafficSecret InitialSecret

aeadKey :: Cipher -> Secret -> Key

initialVector :: Cipher -> Secret -> IV

nextSecret :: Cipher -> Secret -> Secret

headerProtectionKey :: Cipher -> Secret -> Key

makeNonce :: IV -> ByteString -> Nonce

encryptPayload :: Cipher -> Key -> IV -> PlainText -> ByteString -> PacketNumber -> [CipherText]

encryptPayload' :: Cipher -> Key -> Nonce -> PlainText -> AddDat -> [CipherText]

decryptPayload :: Cipher -> Key -> IV -> CipherText -> ByteString -> PacketNumber -> Maybe PlainText

decryptPayload' :: Cipher -> Key -> Nonce -> CipherText -> AddDat -> Maybe PlainText

Header Protection

protectionMask :: Cipher -> Key -> Sample -> Mask

tagLength :: Cipher -> Int

sampleLength :: Cipher -> Int

bsXOR :: ByteString -> ByteString -> ByteString

Types

type PlainText = ByteString

type CipherText = ByteString

newtype Key

Constructors

Key ByteString

Instances

Eq Key

Defined in Network.QUIC.Crypto

Methods

(==) :: Key -> Key -> Bool

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

Show Key

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> Key -> ShowS

show :: Key -> String

showList :: [Key] -> ShowS

newtype IV

Constructors

IV ByteString

Instances

Eq IV

Defined in Network.QUIC.Crypto

Methods

(==) :: IV -> IV -> Bool

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

Show IV

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> IV -> ShowS

show :: IV -> String

showList :: [IV] -> ShowS

data CID

A type for conneciton ID.

Instances

Eq CID

Defined in Network.QUIC.Types.CID

Methods

(==) :: CID -> CID -> Bool

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

Ord CID

Defined in Network.QUIC.Types.CID

Methods

compare :: CID -> CID -> Ordering

(<) :: CID -> CID -> Bool

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

(>) :: CID -> CID -> Bool

(>=) :: CID -> CID -> Bool

max :: CID -> CID -> CID

min :: CID -> CID -> CID

Show CID

Defined in Network.QUIC.Types.CID

Methods

showsPrec :: Int -> CID -> ShowS

show :: CID -> String

showList :: [CID] -> ShowS

newtype Secret

Constructors

Secret ByteString

Instances

Eq Secret

Defined in Network.QUIC.Crypto

Methods

(==) :: Secret -> Secret -> Bool

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

Show Secret

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> Secret -> ShowS

show :: Secret -> String

showList :: [Secret] -> ShowS

newtype AddDat

Constructors

AddDat ByteString

Instances

Eq AddDat

Defined in Network.QUIC.Crypto

Methods

(==) :: AddDat -> AddDat -> Bool

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

Show AddDat

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> AddDat -> ShowS

show :: AddDat -> String

showList :: [AddDat] -> ShowS

newtype Sample

Constructors

Sample ByteString

Instances

Eq Sample

Defined in Network.QUIC.Crypto

Methods

(==) :: Sample -> Sample -> Bool

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

Show Sample

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> Sample -> ShowS

show :: Sample -> String

showList :: [Sample] -> ShowS

newtype Mask

Constructors

Mask ByteString

Instances

Eq Mask

Defined in Network.QUIC.Crypto

Methods

(==) :: Mask -> Mask -> Bool

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

Show Mask

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> Mask -> ShowS

show :: Mask -> String

showList :: [Mask] -> ShowS

newtype Nonce

Constructors

Nonce ByteString

Instances

Eq Nonce

Defined in Network.QUIC.Crypto

Methods

(==) :: Nonce -> Nonce -> Bool

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

Show Nonce

Defined in Network.QUIC.Crypto

Methods

showsPrec :: Int -> Nonce -> ShowS

show :: Nonce -> String

showList :: [Nonce] -> ShowS

data Cipher

Cipher algorithm

Instances

Eq Cipher

Defined in Network.TLS.Cipher

Methods

(==) :: Cipher -> Cipher -> Bool

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

Show Cipher

Defined in Network.TLS.Cipher

Methods

showsPrec :: Int -> Cipher -> ShowS

show :: Cipher -> String

showList :: [Cipher] -> ShowS

data InitialSecret

type TrafficSecrets a = (ClientTrafficSecret a, ServerTrafficSecret a)

Hold both client and server traffic secrets at the same step.

newtype ClientTrafficSecret a

A client traffic secret, typed with a parameter indicating a step in the TLS key schedule.

Constructors

ClientTrafficSecret ByteString

Instances

Show (ClientTrafficSecret a)

Defined in Network.TLS.Types

Methods

showsPrec :: Int -> ClientTrafficSecret a -> ShowS

show :: ClientTrafficSecret a -> String

showList :: [ClientTrafficSecret a] -> ShowS

newtype ServerTrafficSecret a

A server traffic secret, typed with a parameter indicating a step in the TLS key schedule.

Constructors

ServerTrafficSecret ByteString

Instances

Show (ServerTrafficSecret a)

Defined in Network.TLS.Types

Methods

showsPrec :: Int -> ServerTrafficSecret a -> ShowS

show :: ServerTrafficSecret a -> String

showList :: [ServerTrafficSecret a] -> ShowS

Misc

calculateIntegrityTag :: Version -> CID -> ByteString -> ByteString

data FusionContext

fusionNewContext :: IO FusionContext

fusionSetup :: Cipher -> FusionContext -> Key -> IV -> IO ()

fusionEncrypt :: FusionContext -> Supplement -> Buffer -> Int -> Buffer -> Int -> PacketNumber -> Buffer -> IO Int

fusionDecrypt :: FusionContext -> Buffer -> Int -> Buffer -> Int -> PacketNumber -> Buffer -> IO Int

data Supplement

fusionSetupSupplement :: Cipher -> Key -> IO Supplement

fusionSetSample :: Supplement -> Ptr Word8 -> IO ()

fusionGetMask :: Supplement -> IO (Ptr Word8)

data Builder

Builders denote sequences of bytes. They are Monoids where mempty is the zero-length sequence and mappend is concatenation, which runs in O(1).

Instances

Semigroup Builder

Defined in Data.ByteString.Builder.Internal

Methods

(<>) :: Builder -> Builder -> Builder

sconcat :: NonEmpty Builder -> Builder

stimes :: Integral b => b -> Builder -> Builder

Monoid Builder

Defined in Data.ByteString.Builder.Internal

Methods

mempty :: Builder

mappend :: Builder -> Builder -> Builder

mconcat :: [Builder] -> Builder

ToLogStr Builder

Defined in System.Log.FastLogger.LogStr

Methods

toLogStr :: Builder -> LogStr

type DebugLogger = Builder -> IO ()

A type for debug logger.

bhow :: Show a => a -> Builder

stdoutLogger :: DebugLogger

dirDebugLogger :: Maybe FilePath -> CID -> IO (DebugLogger, IO ())

Encode

encodeVersionNegotiationPacket :: VersionNegotiationPacket -> IO ByteString

This is not used internally.

encodeRetryPacket :: RetryPacket -> IO ByteString

encodePlainPacket :: Connection -> Buffer -> BufferSize -> PlainPacket -> Maybe Int -> IO (Int, Int)

Decode

decodePacket :: ByteString -> IO (PacketI, ByteString)

decodePackets :: ByteString -> IO [PacketI]

decodeCryptPackets :: ByteString -> IO [(CryptPacket, EncryptionLevel)]

decryptCrypt :: Connection -> Buffer -> BufferSize -> Crypt -> EncryptionLevel -> IO (Maybe Plain)

decodeStatelessResetToken :: ByteString -> Maybe StatelessResetToken

Frame

encodeFrames :: [Frame] -> IO ByteString

decodeFrames :: Buffer -> BufferSize -> IO (Maybe [Frame])

countZero :: Ptr Word8 -> Ptr Word8 -> IO Int

Header

isLong :: Word8 -> Bool

isShort :: Flags Protected -> Bool

protectFlags :: Flags Raw -> Word8 -> Flags Protected

unprotectFlags :: Flags Protected -> Word8 -> Flags Raw

encodeLongHeaderFlags :: LongHeaderPacketType -> Flags Raw -> Flags Raw -> Bool -> IO (Flags Raw)

encodeShortHeaderFlags :: Flags Raw -> Flags Raw -> Bool -> Bool -> IO (Flags Raw)

decodeLongHeaderPacketType :: Flags Protected -> LongHeaderPacketType

encodePktNumLength :: Int -> Flags Raw

decodePktNumLength :: Flags Raw -> Int

versionNegotiationPacketType :: IO (Flags Raw)

retryPacketType :: IO (Flags Raw)

Token

data CryptoToken

Constructors

CryptoToken

Fields

• tokenQUICVersion :: Version
• tokenCreatedTime :: TimeMicrosecond
• tokenCIDs :: Maybe (CID, CID, CID)

Instances

Storable CryptoToken

Defined in Network.QUIC.Packet.Token

Methods

sizeOf :: CryptoToken -> Int

alignment :: CryptoToken -> Int

peekElemOff :: Ptr CryptoToken -> Int -> IO CryptoToken

pokeElemOff :: Ptr CryptoToken -> Int -> CryptoToken -> IO ()

peekByteOff :: Ptr b -> Int -> IO CryptoToken

pokeByteOff :: Ptr b -> Int -> CryptoToken -> IO ()

peek :: Ptr CryptoToken -> IO CryptoToken

poke :: Ptr CryptoToken -> CryptoToken -> IO ()

isRetryToken :: CryptoToken -> Bool

generateToken :: Version -> IO CryptoToken

generateRetryToken :: Version -> CID -> CID -> CID -> IO CryptoToken

encryptToken :: TokenManager -> CryptoToken -> IO Token

decryptToken :: TokenManager -> Token -> IO (Maybe CryptoToken)

data Parameters

QUIC transport parameters.

Constructors

Parameters

Fields

• originalDestinationConnectionId :: Maybe CID
• maxIdleTimeout :: Milliseconds
• statelessResetToken :: Maybe StatelessResetToken
• maxUdpPayloadSize :: Int
• initialMaxData :: Int
• initialMaxStreamDataBidiLocal :: Int
• initialMaxStreamDataBidiRemote :: Int
• initialMaxStreamDataUni :: Int
• initialMaxStreamsBidi :: Int
• initialMaxStreamsUni :: Int
• ackDelayExponent :: Int
• maxAckDelay :: Milliseconds
• disableActiveMigration :: Bool
• preferredAddress :: Maybe ByteString
• activeConnectionIdLimit :: Int
• initialSourceConnectionId :: Maybe CID
• retrySourceConnectionId :: Maybe CID
• grease :: Maybe ByteString
• greaseQuicBit :: Bool

Instances

Eq Parameters

Defined in Network.QUIC.Parameters

Methods

(==) :: Parameters -> Parameters -> Bool

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

Show Parameters

Defined in Network.QUIC.Parameters

Methods

showsPrec :: Int -> Parameters -> ShowS

show :: Parameters -> String

showList :: [Parameters] -> ShowS

Qlog (Parameters, String)

Defined in Network.QUIC.Qlog

Methods

qlog :: (Parameters, String) -> LogStr

defaultParameters :: Parameters

An example parameters obsoleted in the near future.

baseParameters :: Parameters

The default value for QUIC transport parameters.

encodeParameters :: Parameters -> ByteString

decodeParameters :: ByteString -> Maybe Parameters

data AuthCIDs

Constructors

AuthCIDs

Fields

• initSrcCID :: Maybe CID
• origDstCID :: Maybe CID
• retrySrcCID :: Maybe CID

Instances

Eq AuthCIDs

Defined in Network.QUIC.Parameters

Methods

(==) :: AuthCIDs -> AuthCIDs -> Bool

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

Show AuthCIDs

Defined in Network.QUIC.Parameters

Methods

showsPrec :: Int -> AuthCIDs -> ShowS

show :: AuthCIDs -> String

showList :: [AuthCIDs] -> ShowS

defaultAuthCIDs :: AuthCIDs

setCIDsToParameters :: AuthCIDs -> Parameters -> Parameters

getCIDsToParameters :: Parameters -> AuthCIDs

type QLogger = QlogMsg -> IO ()

newQlogger :: TimeMicrosecond -> ByteString -> CID -> FastLogger -> IO QLogger

class Qlog a where

Methods

qlog :: a -> LogStr

Instances

Qlog Frame

Defined in Network.QUIC.Qlog

Methods

qlog :: Frame -> LogStr

Qlog StatelessReset

Defined in Network.QUIC.Qlog

Methods

qlog :: StatelessReset -> LogStr

Qlog CryptPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: CryptPacket -> LogStr

Qlog PlainPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: PlainPacket -> LogStr

Qlog Header

Defined in Network.QUIC.Qlog

Methods

qlog :: Header -> LogStr

Qlog RetryPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: RetryPacket -> LogStr

Qlog VersionNegotiationPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: VersionNegotiationPacket -> LogStr

Qlog LR

Defined in Network.QUIC.Qlog

Methods

qlog :: LR -> LogStr

Qlog Debug

Defined in Network.QUIC.Qlog

Methods

qlog :: Debug -> LogStr

Qlog SentPacket

Defined in Network.QUIC.Recovery.Types

Methods

qlog :: SentPacket -> LogStr

Qlog (Parameters, String)

Defined in Network.QUIC.Qlog

Methods

qlog :: (Parameters, String) -> LogStr

class KeepQlog a where

Methods

keepQlog :: a -> QLogger

Instances

KeepQlog Connection

Defined in Network.QUIC.Connection.Types

Methods

keepQlog :: Connection -> QLogger

KeepQlog LDCC

Defined in Network.QUIC.Recovery.Types

Methods

keepQlog :: LDCC -> QLogger

data QlogMsg

Constructors

QRecvInitial

QSentRetry

QSent LogStr TimeMicrosecond

QReceived LogStr TimeMicrosecond

QDropped LogStr TimeMicrosecond

QMetricsUpdated LogStr TimeMicrosecond

QPacketLost LogStr TimeMicrosecond

QCongestionStateUpdated LogStr TimeMicrosecond

QLossTimerUpdated LogStr TimeMicrosecond

QDebug LogStr TimeMicrosecond

QParamsSet LogStr TimeMicrosecond

QCIDUpdate LogStr TimeMicrosecond

qlogReceived :: (KeepQlog q, Qlog a) => q -> a -> TimeMicrosecond -> IO ()

qlogDropped :: (KeepQlog q, Qlog a) => q -> a -> IO ()

qlogRecvInitial :: KeepQlog q => q -> IO ()

qlogSentRetry :: KeepQlog q => q -> IO ()

qlogParamsSet :: KeepQlog q => q -> (Parameters, String) -> IO ()

qlogDebug :: KeepQlog q => q -> Debug -> IO ()

qlogCIDUpdate :: KeepQlog q => q -> LR -> IO ()

newtype Debug

Constructors

Debug LogStr

Instances

Show Debug

Defined in Network.QUIC.Qlog

Methods

showsPrec :: Int -> Debug -> ShowS

show :: Debug -> String

showList :: [Debug] -> ShowS

Qlog Debug

Defined in Network.QUIC.Qlog

Methods

qlog :: Debug -> LogStr

data LR

Constructors

Local CID

Remote CID

Instances

Qlog LR

Defined in Network.QUIC.Qlog

Methods

qlog :: LR -> LogStr

packetType :: Header -> LogStr

sw :: Show a => a -> LogStr

Types

data Stream

An abstract data type for streams.

Instances

Show Stream

Defined in Network.QUIC.Stream.Types

Methods

showsPrec :: Int -> Stream -> ShowS

show :: Stream -> String

showList :: [Stream] -> ShowS

streamId :: Stream -> StreamId

Getting stream identifier.

streamConnection :: Stream -> Connection

newStream :: Connection -> StreamId -> IO Stream

data TxStreamData

Constructors

TxStreamData Stream [StreamData] Length Fin

data Flow

Constructors

Flow

Fields

• flowData :: Int
• flowMaxData :: Int

Instances

Eq Flow

Defined in Network.QUIC.Stream.Types

Methods

(==) :: Flow -> Flow -> Bool

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

Show Flow

Defined in Network.QUIC.Stream.Types

Methods

showsPrec :: Int -> Flow -> ShowS

show :: Flow -> String

showList :: [Flow] -> ShowS

defaultFlow :: Flow

data StreamState

Constructors

StreamState

Fields

• streamOffset :: Offset
• streamFin :: Fin

Instances

Eq StreamState

Defined in Network.QUIC.Stream.Types

Methods

(==) :: StreamState -> StreamState -> Bool

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

Show StreamState

Defined in Network.QUIC.Stream.Types

Methods

showsPrec :: Int -> StreamState -> ShowS

show :: StreamState -> String

showList :: [StreamState] -> ShowS

data RecvStreamQ

Constructors

RecvStreamQ

Fields

• recvStreamQ :: TQueue ByteString
• pendingData :: IORef (Maybe ByteString)
• endOfStream :: IORef Bool

data RxStreamData

Constructors

RxStreamData

Fields

• rxstrmData :: StreamData
• rxstrmOff :: Offset
• rxstrmLen :: Length
• rxstrmFin :: Fin

Instances

Eq RxStreamData

Defined in Network.QUIC.Stream.Types

Methods

(==) :: RxStreamData -> RxStreamData -> Bool

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

Show RxStreamData

Defined in Network.QUIC.Stream.Types

Methods

showsPrec :: Int -> RxStreamData -> ShowS

show :: RxStreamData -> String

showList :: [RxStreamData] -> ShowS

type Length = Int

Misc

getTxStreamOffset :: Stream -> Int -> IO Offset

isTxStreamClosed :: Stream -> IO Bool

setTxStreamClosed :: Stream -> IO ()

getRxStreamOffset :: Stream -> Int -> IO Offset

isRxStreamClosed :: Stream -> IO Bool

setRxStreamClosed :: Stream -> IO ()

readStreamFlowTx :: Stream -> STM Flow

addTxStreamData :: Stream -> Int -> STM ()

setTxMaxStreamData :: Stream -> Int -> IO ()

readStreamFlowRx :: Stream -> IO Flow

addRxStreamData :: Stream -> Int -> IO ()

setRxMaxStreamData :: Stream -> Int -> IO ()

addRxMaxStreamData :: Stream -> Int -> IO Int

getRxMaxStreamData :: Stream -> IO Int

getRxStreamWindow :: Stream -> IO Int

flowWindow :: Flow -> Int

Reass

takeRecvStreamQwithSize :: Stream -> Int -> IO ByteString

putRxStreamData :: Stream -> RxStreamData -> IO Bool

tryReassemble :: Stream -> RxStreamData -> (StreamData -> IO ()) -> IO () -> IO Bool

Table

data StreamTable

emptyStreamTable :: StreamTable

lookupStream :: StreamId -> StreamTable -> Maybe Stream

insertStream :: StreamId -> Stream -> StreamTable -> StreamTable

deleteStream :: StreamId -> StreamTable -> StreamTable

insertCryptoStreams :: Connection -> StreamTable -> IO StreamTable

deleteCryptoStream :: EncryptionLevel -> StreamTable -> StreamTable

lookupCryptoStream :: EncryptionLevel -> StreamTable -> Maybe Stream

clientHandshaker :: QUICCallbacks -> ClientConfig -> Version -> AuthCIDs -> SessionEstablish -> Bool -> IO ()

serverHandshaker :: QUICCallbacks -> ServerConfig -> Version -> AuthCIDs -> IO ()

type Bytes = ShortByteString

All internal byte sequences. ByteString should be used for FFI related stuff.

type SendBuf = Buffer -> Int -> IO ()

type Receive = IO ReceivedPacket

type Close = IO ()

data Direction

Constructors

Unidirectional

Bidirectional

Instances

Eq Direction

Defined in Network.QUIC.Types.Frame

Methods

(==) :: Direction -> Direction -> Bool

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

Show Direction

Defined in Network.QUIC.Types.Frame

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

type PacketNumber = Int

type Range = Int

type Gap = Int

data AckInfo

Constructors

AckInfo PacketNumber Range [(Gap, Range)]

Instances

Eq AckInfo

Defined in Network.QUIC.Types.Ack

Methods

(==) :: AckInfo -> AckInfo -> Bool

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

Show AckInfo

Defined in Network.QUIC.Types.Ack

Methods

showsPrec :: Int -> AckInfo -> ShowS

show :: AckInfo -> String

showList :: [AckInfo] -> ShowS

ackInfo0 :: AckInfo

toAckInfo :: [PacketNumber] -> AckInfo

>>> toAckInfo [9]
AckInfo 9 0 []
>>> toAckInfo [9,8,7]
AckInfo 9 2 []
>>> toAckInfo [8,7,3,2]
AckInfo 8 1 [(2,1)]
>>> toAckInfo [9,8,7,5,4]
AckInfo 9 2 [(0,1)]

fromAckInfo :: AckInfo -> [PacketNumber]

>>> fromAckInfo $ AckInfo 9 0 []
[9]
>>> fromAckInfo $ AckInfo 9 2 []
[7,8,9]
>>> fromAckInfo $ AckInfo 8 1 [(2,1)]
[2,3,7,8]
>>> fromAckInfo $ AckInfo 9 2 [(0,1)]
[4,5,7,8,9]

fromAckInfoWithMin :: AckInfo -> PacketNumber -> [PacketNumber]

>>> fromAckInfoWithMin (AckInfo 9 0 []) 1
[9]
>>> fromAckInfoWithMin (AckInfo 9 2 []) 8
[8,9]
>>> fromAckInfoWithMin (AckInfo 8 1 [(2,1)]) 3
[3,7,8]
>>> fromAckInfoWithMin (AckInfo 9 2 [(0,1)]) 8
[8,9]

fromAckInfoToPred :: AckInfo -> PacketNumber -> Bool

newtype PeerPacketNumbers

Constructors

PeerPacketNumbers IntSet

Instances

Eq PeerPacketNumbers

Defined in Network.QUIC.Types.Ack

Methods

(==) :: PeerPacketNumbers -> PeerPacketNumbers -> Bool

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

Show PeerPacketNumbers

Defined in Network.QUIC.Types.Ack

Methods

showsPrec :: Int -> PeerPacketNumbers -> ShowS

show :: PeerPacketNumbers -> String

showList :: [PeerPacketNumbers] -> ShowS

emptyPeerPacketNumbers :: PeerPacketNumbers

newtype CID

A type for conneciton ID.

Constructors

CID Bytes

Instances

Eq CID

Defined in Network.QUIC.Types.CID

Methods

(==) :: CID -> CID -> Bool

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

Ord CID

Defined in Network.QUIC.Types.CID

Methods

compare :: CID -> CID -> Ordering

(<) :: CID -> CID -> Bool

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

(>) :: CID -> CID -> Bool

(>=) :: CID -> CID -> Bool

max :: CID -> CID -> CID

min :: CID -> CID -> CID

Show CID

Defined in Network.QUIC.Types.CID

Methods

showsPrec :: Int -> CID -> ShowS

show :: CID -> String

showList :: [CID] -> ShowS

myCIDLength :: Int

newCID :: IO CID

fromCID :: CID -> ByteString

Converting a connection ID.

toCID :: ByteString -> CID

makeCID :: ShortByteString -> CID

unpackCID :: CID -> (ShortByteString, Word8)

newtype StatelessResetToken

Constructors

StatelessResetToken Bytes

Instances

Eq StatelessResetToken

Defined in Network.QUIC.Types.CID

Methods

(==) :: StatelessResetToken -> StatelessResetToken -> Bool

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

Ord StatelessResetToken

Defined in Network.QUIC.Types.CID

Methods

compare :: StatelessResetToken -> StatelessResetToken -> Ordering

(<) :: StatelessResetToken -> StatelessResetToken -> Bool

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

(>) :: StatelessResetToken -> StatelessResetToken -> Bool

(>=) :: StatelessResetToken -> StatelessResetToken -> Bool

max :: StatelessResetToken -> StatelessResetToken -> StatelessResetToken

min :: StatelessResetToken -> StatelessResetToken -> StatelessResetToken

Show StatelessResetToken

Defined in Network.QUIC.Types.CID

Methods

showsPrec :: Int -> StatelessResetToken -> ShowS

show :: StatelessResetToken -> String

showList :: [StatelessResetToken] -> ShowS

newStatelessResetToken :: IO StatelessResetToken

newtype PathData

Constructors

PathData Bytes

Instances

Eq PathData

Defined in Network.QUIC.Types.CID

Methods

(==) :: PathData -> PathData -> Bool

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

Show PathData

Defined in Network.QUIC.Types.CID

Methods

showsPrec :: Int -> PathData -> ShowS

show :: PathData -> String

showList :: [PathData] -> ShowS

newPathData :: IO PathData

data CIDInfo

Constructors

CIDInfo

Fields

• cidInfoSeq :: Int
• cidInfoCID :: CID
• cidInfoSRT :: StatelessResetToken

Instances

Eq CIDInfo

Defined in Network.QUIC.Types.CID

Methods

(==) :: CIDInfo -> CIDInfo -> Bool

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

Ord CIDInfo

Defined in Network.QUIC.Types.CID

Methods

compare :: CIDInfo -> CIDInfo -> Ordering

(<) :: CIDInfo -> CIDInfo -> Bool

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

(>) :: CIDInfo -> CIDInfo -> Bool

(>=) :: CIDInfo -> CIDInfo -> Bool

max :: CIDInfo -> CIDInfo -> CIDInfo

min :: CIDInfo -> CIDInfo -> CIDInfo

Show CIDInfo

Defined in Network.QUIC.Types.CID

Methods

showsPrec :: Int -> CIDInfo -> ShowS

show :: CIDInfo -> String

showList :: [CIDInfo] -> ShowS

maximumUdpPayloadSize :: Int

defaultQUICPacketSize :: Int

defaultQUICPacketSizeForIPv4 :: Int

defaultQUICPacketSizeForIPv6 :: Int

maximumQUICHeaderSize :: Int

idleTimeout :: Microseconds

newtype TransportError

Transport errors of QUIC.

Constructors

TransportError Int

Instances

Eq TransportError

Defined in Network.QUIC.Types.Error

Methods

(==) :: TransportError -> TransportError -> Bool

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

Show TransportError

Defined in Network.QUIC.Types.Error

Methods

showsPrec :: Int -> TransportError -> ShowS

show :: TransportError -> String

showList :: [TransportError] -> ShowS

pattern NoError :: TransportError

pattern InternalError :: TransportError

pattern ConnectionRefused :: TransportError

pattern FlowControlError :: TransportError

pattern StreamLimitError :: TransportError

pattern StreamStateError :: TransportError

pattern FinalSizeError :: TransportError

pattern FrameEncodingError :: TransportError

pattern TransportParameterError :: TransportError

pattern ConnectionIdLimitError :: TransportError

pattern ProtocolViolation :: TransportError

pattern InvalidToken :: TransportError

pattern ApplicationError :: TransportError

pattern CryptoBufferExceeded :: TransportError

pattern KeyUpdateError :: TransportError

pattern AeadLimitReached :: TransportError

pattern NoViablePath :: TransportError

cryptoError :: AlertDescription -> TransportError

Converting a TLS alert to a corresponding transport error.

newtype ApplicationProtocolError

Application protocol errors of QUIC.

Constructors

ApplicationProtocolError Int

Instances

Eq ApplicationProtocolError

Defined in Network.QUIC.Types.Error

Methods

(==) :: ApplicationProtocolError -> ApplicationProtocolError -> Bool

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

Show ApplicationProtocolError

Defined in Network.QUIC.Types.Error

Methods

showsPrec :: Int -> ApplicationProtocolError -> ShowS

show :: ApplicationProtocolError -> String

showList :: [ApplicationProtocolError] -> ShowS

data QUICException

User level exceptions for QUIC.

Constructors

ConnectionIsClosed

TransportErrorIsReceived TransportError ReasonPhrase

TransportErrorIsSent TransportError ReasonPhrase

ApplicationProtocolErrorIsReceived ApplicationProtocolError ReasonPhrase

ApplicationProtocolErrorIsSent ApplicationProtocolError ReasonPhrase

ConnectionIsTimeout

ConnectionIsReset

StreamIsClosed

HandshakeFailed AlertDescription

VersionIsUnknown Word32

NoVersionIsSpecified

VersionNegotiationFailed

BadThingHappen SomeException

Instances

Show QUICException

Defined in Network.QUIC.Types.Exception

Methods

showsPrec :: Int -> QUICException -> ShowS

show :: QUICException -> String

showList :: [QUICException] -> ShowS

Exception QUICException

Defined in Network.QUIC.Types.Exception

Methods

toException :: QUICException -> SomeException

fromException :: SomeException -> Maybe QUICException

displayException :: QUICException -> String

data InternalControl

Constructors

MustNotReached

ExitConnection

WrongTransportParameter

BreakForever

Instances

Eq InternalControl

Defined in Network.QUIC.Types.Exception

Methods

(==) :: InternalControl -> InternalControl -> Bool

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

Show InternalControl

Defined in Network.QUIC.Types.Exception

Methods

showsPrec :: Int -> InternalControl -> ShowS

show :: InternalControl -> String

showList :: [InternalControl] -> ShowS

Exception InternalControl

Defined in Network.QUIC.Types.Exception

Methods

toException :: InternalControl -> SomeException

fromException :: SomeException -> Maybe InternalControl

displayException :: InternalControl -> String

newtype NextVersion

Constructors

NextVersion (Maybe Version)

Instances

Show NextVersion

Defined in Network.QUIC.Types.Exception

Methods

showsPrec :: Int -> NextVersion -> ShowS

show :: NextVersion -> String

showList :: [NextVersion] -> ShowS

Exception NextVersion

Defined in Network.QUIC.Types.Exception

Methods

toException :: NextVersion -> SomeException

fromException :: SomeException -> Maybe NextVersion

displayException :: NextVersion -> String

data Abort

Constructors

Abort ApplicationProtocolError ReasonPhrase

VerNego (Maybe Version)

Instances

Show Abort

Defined in Network.QUIC.Types.Exception

Methods

showsPrec :: Int -> Abort -> ShowS

show :: Abort -> String

showList :: [Abort] -> ShowS

Exception Abort

Defined in Network.QUIC.Types.Exception

Methods

toException :: Abort -> SomeException

fromException :: SomeException -> Maybe Abort

displayException :: Abort -> String

type FrameType = Int

data Direction

Constructors

Unidirectional

Bidirectional

Instances

Eq Direction

Defined in Network.QUIC.Types.Frame

Methods

(==) :: Direction -> Direction -> Bool

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

Show Direction

Defined in Network.QUIC.Types.Frame

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

type ReasonPhrase = ShortByteString

type SeqNum = Int

data Frame

Constructors

Padding Int

Ping

Ack AckInfo Delay

ResetStream StreamId ApplicationProtocolError Int

StopSending StreamId ApplicationProtocolError

CryptoF Offset CryptoData

NewToken Token

StreamF StreamId Offset [StreamData] Fin

MaxData Int

MaxStreamData StreamId Int

MaxStreams Direction Int

DataBlocked Int

StreamDataBlocked StreamId Int

StreamsBlocked Direction Int

NewConnectionID CIDInfo SeqNum

RetireConnectionID SeqNum

PathChallenge PathData

PathResponse PathData

ConnectionClose TransportError FrameType ReasonPhrase

ConnectionCloseApp ApplicationProtocolError ReasonPhrase

HandshakeDone

UnknownFrame Int

Instances

Eq Frame

Defined in Network.QUIC.Types.Frame

Methods

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

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

Show Frame

Defined in Network.QUIC.Types.Frame

Methods

showsPrec :: Int -> Frame -> ShowS

show :: Frame -> String

showList :: [Frame] -> ShowS

Qlog Frame

Defined in Network.QUIC.Qlog

Methods

qlog :: Frame -> LogStr

type StreamId = Int

Stream identifier. This should be 62-bit interger. On 32-bit machines, the total number of stream identifiers is limited.

isClientInitiatedBidirectional :: StreamId -> Bool

Checking if a stream is client-initiated bidirectional.

isServerInitiatedBidirectional :: StreamId -> Bool

Checking if a stream is server-initiated bidirectional.

isClientInitiatedUnidirectional :: StreamId -> Bool

Checking if a stream is client-initiated unidirectional.

isServerInitiatedUnidirectional :: StreamId -> Bool

Checking if a stream is server-initiated unidirectional.

isClientInitiated :: StreamId -> Bool

isServerInitiated :: StreamId -> Bool

type Delay = Milliseconds

type Fin = Bool

type CryptoData = ByteString

type StreamData = ByteString

type Token = ByteString

emptyToken :: Token

ackEliciting :: Frame -> Bool

pathValidating :: Frame -> Bool

inFlight :: Frame -> Bool

encodeInt :: Int64 -> ByteString

>>> enc16 $ encodeInt 151288809941952652
"c2197c5eff14e88c"
>>> enc16 $ encodeInt 494878333
"9d7f3e7d"
>>> enc16 $ encodeInt 15293
"7bbd"
>>> enc16 $ encodeInt 37
"25"

encodeInt8 :: Int64 -> ByteString

encodeInt' :: WriteBuffer -> Int64 -> IO ()

encodeInt'2 :: WriteBuffer -> Int64 -> IO ()

encodeInt'4 :: WriteBuffer -> Int64 -> IO ()

decodeInt :: ByteString -> Int64

>>> decodeInt (dec16 "c2197c5eff14e88c")
151288809941952652
>>> decodeInt (dec16 "9d7f3e7d")
494878333
>>> decodeInt (dec16 "7bbd")
15293
>>> decodeInt (dec16 "25")
37

decodeInt' :: ReadBuffer -> IO Int64

newtype Version

QUIC version.

Constructors

Version Word32

Instances

Eq Version

Defined in Network.QUIC.Types.Packet

Methods

(==) :: Version -> Version -> Bool

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

Ord Version

Defined in Network.QUIC.Types.Packet

Methods

compare :: Version -> Version -> Ordering

(<) :: Version -> Version -> Bool

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

(>) :: Version -> Version -> Bool

(>=) :: Version -> Version -> Bool

max :: Version -> Version -> Version

min :: Version -> Version -> Version

Show Version

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

pattern Negotiation :: Version

pattern Version1 :: Version

pattern Draft29 :: Version

pattern GreasingVersion :: Version

pattern GreasingVersion2 :: Version

data PacketI

Constructors

PacketIV VersionNegotiationPacket

PacketIR RetryPacket

PacketIC CryptPacket EncryptionLevel

PacketIB BrokenPacket

Instances

Eq PacketI

Defined in Network.QUIC.Types.Packet

Methods

(==) :: PacketI -> PacketI -> Bool

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

Show PacketI

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> PacketI -> ShowS

show :: PacketI -> String

showList :: [PacketI] -> ShowS

data PacketO

Constructors

PacketOV VersionNegotiationPacket

PacketOR RetryPacket

PacketOP PlainPacket

Instances

Eq PacketO

Defined in Network.QUIC.Types.Packet

Methods

(==) :: PacketO -> PacketO -> Bool

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

Show PacketO

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> PacketO -> ShowS

show :: PacketO -> String

showList :: [PacketO] -> ShowS

data VersionNegotiationPacket

Constructors

VersionNegotiationPacket CID CID [Version]

Instances

Eq VersionNegotiationPacket

Defined in Network.QUIC.Types.Packet

Methods

(==) :: VersionNegotiationPacket -> VersionNegotiationPacket -> Bool

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

Show VersionNegotiationPacket

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> VersionNegotiationPacket -> ShowS

show :: VersionNegotiationPacket -> String

showList :: [VersionNegotiationPacket] -> ShowS

Qlog VersionNegotiationPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: VersionNegotiationPacket -> LogStr

data RetryPacket

Constructors

RetryPacket Version CID CID Token (Either CID (ByteString, ByteString))

Instances

Eq RetryPacket

Defined in Network.QUIC.Types.Packet

Methods

(==) :: RetryPacket -> RetryPacket -> Bool

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

Show RetryPacket

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> RetryPacket -> ShowS

show :: RetryPacket -> String

showList :: [RetryPacket] -> ShowS

Qlog RetryPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: RetryPacket -> LogStr

data BrokenPacket

Constructors

BrokenPacket

Instances

Eq BrokenPacket

Defined in Network.QUIC.Types.Packet

Methods

(==) :: BrokenPacket -> BrokenPacket -> Bool

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

Show BrokenPacket

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> BrokenPacket -> ShowS

show :: BrokenPacket -> String

showList :: [BrokenPacket] -> ShowS

data Header

Constructors

Initial Version CID CID Token

RTT0 Version CID CID

Handshake Version CID CID

Short CID

Instances

Eq Header

Defined in Network.QUIC.Types.Packet

Methods

(==) :: Header -> Header -> Bool

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

Show Header

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> Header -> ShowS

show :: Header -> String

showList :: [Header] -> ShowS

Qlog Header

Defined in Network.QUIC.Qlog

Methods

qlog :: Header -> LogStr

headerMyCID :: Header -> CID

headerPeerCID :: Header -> CID

data PlainPacket

Constructors

PlainPacket Header Plain

Instances

Eq PlainPacket

Defined in Network.QUIC.Types.Packet

Methods

(==) :: PlainPacket -> PlainPacket -> Bool

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

Show PlainPacket

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> PlainPacket -> ShowS

show :: PlainPacket -> String

showList :: [PlainPacket] -> ShowS

Qlog PlainPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: PlainPacket -> LogStr

data CryptPacket

Constructors

CryptPacket Header Crypt

Instances

Eq CryptPacket

Defined in Network.QUIC.Types.Packet

Methods

(==) :: CryptPacket -> CryptPacket -> Bool

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

Show CryptPacket

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> CryptPacket -> ShowS

show :: CryptPacket -> String

showList :: [CryptPacket] -> ShowS

Qlog CryptPacket

Defined in Network.QUIC.Qlog

Methods

qlog :: CryptPacket -> LogStr

data Plain

Constructors

Plain

Fields

• plainFlags :: Flags Raw
• plainPacketNumber :: PacketNumber
• plainFrames :: [Frame]
• plainMarks :: Int

Instances

Eq Plain

Defined in Network.QUIC.Types.Packet

Methods

(==) :: Plain -> Plain -> Bool

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

Show Plain

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> Plain -> ShowS

show :: Plain -> String

showList :: [Plain] -> ShowS

defaultPlainMarks :: Int

setIllegalReservedBits :: Int -> Int

setUnknownFrame :: Int -> Int

setNoFrames :: Int -> Int

setNoPaddings :: Int -> Int

set4bytesPN :: Int -> Int

isIllegalReservedBits :: Int -> Bool

isUnknownFrame :: Int -> Bool

isNoFrames :: Int -> Bool

isNoPaddings :: Int -> Bool

is4bytesPN :: Int -> Bool

data Crypt

Constructors

Crypt

Fields

• cryptPktNumOffset :: Int
• cryptPacket :: ByteString
• cryptMarks :: Int

Instances

Eq Crypt

Defined in Network.QUIC.Types.Packet

Methods

(==) :: Crypt -> Crypt -> Bool

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

Show Crypt

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> Crypt -> ShowS

show :: Crypt -> String

showList :: [Crypt] -> ShowS

isCryptLogged :: Crypt -> Bool

isCryptDelayed :: Crypt -> Bool

setCryptLogged :: Crypt -> Crypt

setCryptDelayed :: Crypt -> Crypt

data StatelessReset

Constructors

StatelessReset

Instances

Eq StatelessReset

Defined in Network.QUIC.Types.Packet

Methods

(==) :: StatelessReset -> StatelessReset -> Bool

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

Show StatelessReset

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> StatelessReset -> ShowS

show :: StatelessReset -> String

showList :: [StatelessReset] -> ShowS

Qlog StatelessReset

Defined in Network.QUIC.Qlog

Methods

qlog :: StatelessReset -> LogStr

data ReceivedPacket

Constructors

ReceivedPacket

Fields

• rpCryptPacket :: CryptPacket
• rpTimeRecevied :: TimeMicrosecond
• rpReceivedBytes :: Int
• rpEncryptionLevel :: EncryptionLevel

Instances

Eq ReceivedPacket

Defined in Network.QUIC.Types.Packet

Methods

(==) :: ReceivedPacket -> ReceivedPacket -> Bool

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

Show ReceivedPacket

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> ReceivedPacket -> ShowS

show :: ReceivedPacket -> String

showList :: [ReceivedPacket] -> ShowS

mkReceivedPacket :: CryptPacket -> TimeMicrosecond -> Int -> EncryptionLevel -> ReceivedPacket

data LongHeaderPacketType

Constructors

InitialPacketType

RTT0PacketType

HandshakePacketType

RetryPacketType

Instances

Eq LongHeaderPacketType

Defined in Network.QUIC.Types.Packet

Methods

(==) :: LongHeaderPacketType -> LongHeaderPacketType -> Bool

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

Show LongHeaderPacketType

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> LongHeaderPacketType -> ShowS

show :: LongHeaderPacketType -> String

showList :: [LongHeaderPacketType] -> ShowS

data EncryptionLevel

Constructors

InitialLevel

RTT0Level

HandshakeLevel

RTT1Level

Instances

Eq EncryptionLevel

Defined in Network.QUIC.Types.Packet

Methods

(==) :: EncryptionLevel -> EncryptionLevel -> Bool

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

Ord EncryptionLevel

Defined in Network.QUIC.Types.Packet

Methods

compare :: EncryptionLevel -> EncryptionLevel -> Ordering

(<) :: EncryptionLevel -> EncryptionLevel -> Bool

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

(>) :: EncryptionLevel -> EncryptionLevel -> Bool

(>=) :: EncryptionLevel -> EncryptionLevel -> Bool

max :: EncryptionLevel -> EncryptionLevel -> EncryptionLevel

min :: EncryptionLevel -> EncryptionLevel -> EncryptionLevel

Show EncryptionLevel

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> EncryptionLevel -> ShowS

show :: EncryptionLevel -> String

showList :: [EncryptionLevel] -> ShowS

Ix EncryptionLevel

Defined in Network.QUIC.Types.Packet

Methods

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

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

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

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

rangeSize :: (EncryptionLevel, EncryptionLevel) -> Int

unsafeRangeSize :: (EncryptionLevel, EncryptionLevel) -> Int

packetEncryptionLevel :: Header -> EncryptionLevel

newtype Flags a

Constructors

Flags Word8

Instances

Eq (Flags a)

Defined in Network.QUIC.Types.Packet

Methods

(==) :: Flags a -> Flags a -> Bool

(/=) :: Flags a -> Flags a -> Bool

Show (Flags a)

Defined in Network.QUIC.Types.Packet

Methods

showsPrec :: Int -> Flags a -> ShowS

show :: Flags a -> String

showList :: [Flags a] -> ShowS

data Protected

data Raw

type EncodedPacketNumber = Word32

newtype RecvQ

Constructors

RecvQ (TQueue ReceivedPacket)

newRecvQ :: IO RecvQ

readRecvQ :: RecvQ -> IO ReceivedPacket

writeRecvQ :: RecvQ -> ReceivedPacket -> IO ()

prependRecvQ :: RecvQ -> ReceivedPacket -> STM ()

type SessionEstablish = SessionID -> SessionData -> IO ()

data ResumptionInfo

Information about resumption

Constructors

ResumptionInfo

Fields

• resumptionSession :: Maybe (SessionID, SessionData)
• resumptionToken :: Token
• resumptionRetry :: Bool

Instances

Eq ResumptionInfo

Defined in Network.QUIC.Types.Resumption

Methods

(==) :: ResumptionInfo -> ResumptionInfo -> Bool

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

Show ResumptionInfo

Defined in Network.QUIC.Types.Resumption

Methods

showsPrec :: Int -> ResumptionInfo -> ShowS

show :: ResumptionInfo -> String

showList :: [ResumptionInfo] -> ShowS

defaultResumptionInfo :: ResumptionInfo

is0RTTPossible :: ResumptionInfo -> Bool

Is 0RTT possible?

isResumptionPossible :: ResumptionInfo -> Bool

Is resumption possible?

get0RTTCipher :: ResumptionInfo -> Maybe CipherID

newtype Milliseconds

Constructors

Milliseconds Int64

Instances

Eq Milliseconds

Defined in Network.QUIC.Types.Time

Methods

(==) :: Milliseconds -> Milliseconds -> Bool

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

Num Milliseconds

Defined in Network.QUIC.Types.Time

Methods

(+) :: Milliseconds -> Milliseconds -> Milliseconds

(-) :: Milliseconds -> Milliseconds -> Milliseconds

(*) :: Milliseconds -> Milliseconds -> Milliseconds

negate :: Milliseconds -> Milliseconds

abs :: Milliseconds -> Milliseconds

signum :: Milliseconds -> Milliseconds

fromInteger :: Integer -> Milliseconds

Ord Milliseconds

Defined in Network.QUIC.Types.Time

Methods

compare :: Milliseconds -> Milliseconds -> Ordering

(<) :: Milliseconds -> Milliseconds -> Bool

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

(>) :: Milliseconds -> Milliseconds -> Bool

(>=) :: Milliseconds -> Milliseconds -> Bool

max :: Milliseconds -> Milliseconds -> Milliseconds

min :: Milliseconds -> Milliseconds -> Milliseconds

Show Milliseconds

Defined in Network.QUIC.Types.Time

Methods

showsPrec :: Int -> Milliseconds -> ShowS

show :: Milliseconds -> String

showList :: [Milliseconds] -> ShowS

Bits Milliseconds

Defined in Network.QUIC.Types.Time

Methods

(.&.) :: Milliseconds -> Milliseconds -> Milliseconds

(.|.) :: Milliseconds -> Milliseconds -> Milliseconds

xor :: Milliseconds -> Milliseconds -> Milliseconds

complement :: Milliseconds -> Milliseconds

shift :: Milliseconds -> Int -> Milliseconds

rotate :: Milliseconds -> Int -> Milliseconds

zeroBits :: Milliseconds

bit :: Int -> Milliseconds

setBit :: Milliseconds -> Int -> Milliseconds

clearBit :: Milliseconds -> Int -> Milliseconds

complementBit :: Milliseconds -> Int -> Milliseconds

testBit :: Milliseconds -> Int -> Bool

bitSizeMaybe :: Milliseconds -> Maybe Int

bitSize :: Milliseconds -> Int

isSigned :: Milliseconds -> Bool

shiftL :: Milliseconds -> Int -> Milliseconds

unsafeShiftL :: Milliseconds -> Int -> Milliseconds

shiftR :: Milliseconds -> Int -> Milliseconds

unsafeShiftR :: Milliseconds -> Int -> Milliseconds

rotateL :: Milliseconds -> Int -> Milliseconds

rotateR :: Milliseconds -> Int -> Milliseconds

popCount :: Milliseconds -> Int

newtype Microseconds

Constructors

Microseconds Int

Instances

Eq Microseconds

Defined in Network.QUIC.Types.Time

Methods

(==) :: Microseconds -> Microseconds -> Bool

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

Num Microseconds

Defined in Network.QUIC.Types.Time

Methods

(+) :: Microseconds -> Microseconds -> Microseconds

(-) :: Microseconds -> Microseconds -> Microseconds

(*) :: Microseconds -> Microseconds -> Microseconds

negate :: Microseconds -> Microseconds

abs :: Microseconds -> Microseconds

signum :: Microseconds -> Microseconds

fromInteger :: Integer -> Microseconds

Ord Microseconds

Defined in Network.QUIC.Types.Time

Methods

compare :: Microseconds -> Microseconds -> Ordering

(<) :: Microseconds -> Microseconds -> Bool

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

(>) :: Microseconds -> Microseconds -> Bool

(>=) :: Microseconds -> Microseconds -> Bool

max :: Microseconds -> Microseconds -> Microseconds

min :: Microseconds -> Microseconds -> Microseconds

Show Microseconds

Defined in Network.QUIC.Types.Time

Methods

showsPrec :: Int -> Microseconds -> ShowS

show :: Microseconds -> String

showList :: [Microseconds] -> ShowS

Bits Microseconds

Defined in Network.QUIC.Types.Time

Methods

(.&.) :: Microseconds -> Microseconds -> Microseconds

(.|.) :: Microseconds -> Microseconds -> Microseconds

xor :: Microseconds -> Microseconds -> Microseconds

complement :: Microseconds -> Microseconds

shift :: Microseconds -> Int -> Microseconds

rotate :: Microseconds -> Int -> Microseconds

zeroBits :: Microseconds

bit :: Int -> Microseconds

setBit :: Microseconds -> Int -> Microseconds

clearBit :: Microseconds -> Int -> Microseconds

complementBit :: Microseconds -> Int -> Microseconds

testBit :: Microseconds -> Int -> Bool

bitSizeMaybe :: Microseconds -> Maybe Int

bitSize :: Microseconds -> Int

isSigned :: Microseconds -> Bool

shiftL :: Microseconds -> Int -> Microseconds

unsafeShiftL :: Microseconds -> Int -> Microseconds

shiftR :: Microseconds -> Int -> Microseconds

unsafeShiftR :: Microseconds -> Int -> Microseconds

rotateL :: Microseconds -> Int -> Microseconds

rotateR :: Microseconds -> Int -> Microseconds

popCount :: Microseconds -> Int

milliToMicro :: Milliseconds -> Microseconds

microToMilli :: Microseconds -> Milliseconds

type TimeMicrosecond = UnixTime

timeMicrosecond0 :: UnixTime

getTimeMicrosecond :: IO TimeMicrosecond

getElapsedTimeMicrosecond :: TimeMicrosecond -> IO Microseconds

elapsedTimeMicrosecond :: UnixTime -> UnixTime -> Microseconds

getTimeoutInMicrosecond :: TimeMicrosecond -> IO Microseconds

getPastTimeMicrosecond :: Microseconds -> IO TimeMicrosecond

getFutureTimeMicrosecond :: Microseconds -> IO TimeMicrosecond

addMicroseconds :: TimeMicrosecond -> Microseconds -> TimeMicrosecond

fromRight :: b -> Either a b -> b

dec16 :: ByteString -> ByteString

enc16 :: ByteString -> ByteString

dec16s :: ShortByteString -> ShortByteString

enc16s :: ShortByteString -> ShortByteString

shortToString :: ShortByteString -> String

getRandomOneByte :: IO Word8

getRandomBytes :: Int -> IO ShortByteString

totalLen :: [ByteString] -> Int

sum' :: (Functor f, Foldable f) => f Int -> Int

withByteString :: ByteString -> (Ptr Word8 -> IO a) -> IO a

shortpack :: String -> ShortByteString

ignore :: SomeException -> IO ()

checkWindowOpenSTM :: LDCC -> Int -> STM ()

takePingSTM :: LDCC -> STM EncryptionLevel

speedup :: LDCC -> EncryptionLevel -> LogStr -> IO ()

resender :: LDCC -> IO ()

onPacketSent :: LDCC -> SentPacket -> IO ()

onPacketReceived :: LDCC -> EncryptionLevel -> PacketNumber -> IO ()

onAckReceived :: LDCC -> EncryptionLevel -> AckInfo -> Microseconds -> IO ()

onPacketNumberSpaceDiscarded :: LDCC -> EncryptionLevel -> IO ()

setInitialCongestionWindow :: LDCC -> Int -> IO ()

getPreviousRTT1PPNs :: LDCC -> IO PeerPacketNumbers

setPreviousRTT1PPNs :: LDCC -> PeerPacketNumbers -> IO ()

getSpeedingUp :: LDCC -> IO Bool

getPacketNumberSpaceDiscarded :: LDCC -> EncryptionLevel -> IO Bool

getAndSetPacketNumberSpaceDiscarded :: LDCC -> EncryptionLevel -> IO Bool

setMaxAckDaley :: LDCC -> Microseconds -> IO ()

getPeerPacketNumbers :: LDCC -> EncryptionLevel -> IO PeerPacketNumbers

fromPeerPacketNumbers :: PeerPacketNumbers -> [PacketNumber]

nullPeerPacketNumbers :: PeerPacketNumbers -> Bool

findDuration :: Seq SentPacket -> PacketNumber -> Maybe UnixDiffTime

getPTO :: LDCC -> IO Microseconds

releaseByRetry :: LDCC -> IO (Seq PlainPacket)

releaseOldest :: LDCC -> EncryptionLevel -> IO (Maybe SentPacket)

beforeAntiAmp :: LDCC -> IO ()

ldccTimer :: LDCC -> IO ()

data SentPacket

Instances

Eq SentPacket

Defined in Network.QUIC.Recovery.Types

Methods

(==) :: SentPacket -> SentPacket -> Bool

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

Ord SentPacket

Defined in Network.QUIC.Recovery.Types

Methods

compare :: SentPacket -> SentPacket -> Ordering

(<) :: SentPacket -> SentPacket -> Bool

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

(>) :: SentPacket -> SentPacket -> Bool

(>=) :: SentPacket -> SentPacket -> Bool

max :: SentPacket -> SentPacket -> SentPacket

min :: SentPacket -> SentPacket -> SentPacket

Show SentPacket

Defined in Network.QUIC.Recovery.Types

Methods

showsPrec :: Int -> SentPacket -> ShowS

show :: SentPacket -> String

showList :: [SentPacket] -> ShowS

Qlog SentPacket

Defined in Network.QUIC.Recovery.Types

Methods

qlog :: SentPacket -> LogStr

spPlainPacket :: SentPacket -> PlainPacket

spTimeSent :: SentPacket -> TimeMicrosecond

spSentBytes :: SentPacket -> Int

spEncryptionLevel :: SentPacket -> EncryptionLevel

spPacketNumber :: SentPacket -> PacketNumber

spPeerPacketNumbers :: SentPacket -> PeerPacketNumbers

spAckEliciting :: SentPacket -> Bool

mkSentPacket :: PacketNumber -> EncryptionLevel -> PlainPacket -> PeerPacketNumbers -> Bool -> SentPacket

fixSentPacket :: SentPacket -> Int -> Int -> SentPacket

data LDCC

Instances

Connector LDCC

Defined in Network.QUIC.Recovery.Types

Methods

getRole :: LDCC -> Role

getEncryptionLevel :: LDCC -> IO EncryptionLevel

getMaxPacketSize :: LDCC -> IO Int

getConnectionState :: LDCC -> IO ConnectionState

getPacketNumber :: LDCC -> IO PacketNumber

getAlive :: LDCC -> IO Bool

KeepQlog LDCC

Defined in Network.QUIC.Recovery.Types

Methods

keepQlog :: LDCC -> QLogger

newLDCC :: ConnState -> QLogger -> (PlainPacket -> IO ()) -> IO LDCC

qlogSent :: (KeepQlog q, Qlog pkt) => q -> pkt -> TimeMicrosecond -> IO ()

data ConnectionControl

How to control a connection.

Constructors

ChangeServerCID

ChangeClientCID

NATRebinding

ActiveMigration

Instances

Eq ConnectionControl

Defined in Network.QUIC.Client.Reader

Methods

(==) :: ConnectionControl -> ConnectionControl -> Bool

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

Show ConnectionControl

Defined in Network.QUIC.Client.Reader

Methods

showsPrec :: Int -> ConnectionControl -> ShowS

show :: ConnectionControl -> String

showList :: [ConnectionControl] -> ShowS

controlConnection :: Connection -> ConnectionControl -> IO Bool