@[inline]

def Network.HTTP2.encodeUInt16BE (n : UInt16) : ByteArray

Equations

• Network.HTTP2.encodeUInt16BE n = (ByteArray.empty.push (n >>> 8).toUInt8).push n.toUInt8

@[inline]

def Network.HTTP2.encodeUInt32BE (n : UInt32) : ByteArray

Equations

• Network.HTTP2.encodeUInt32BE n = (((ByteArray.empty.push (n >>> 24).toUInt8).push (n >>> 16).toUInt8).push (n >>> 8).toUInt8).push n.toUInt8

def Network.HTTP2.encodeFrameHeader (h : FrameHeader) : ByteArray

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.encodeFrame (f : Frame) : ByteArray

Equations

• Network.HTTP2.encodeFrame f = Network.HTTP2.encodeFrameHeader f.header ++ f.payload

def Network.HTTP2.encodeSettingsParam (key : SettingsKeyId) (value : UInt32) : ByteArray

Equations

• Network.HTTP2.encodeSettingsParam key value = Network.HTTP2.encodeUInt16BE key.toUInt16 ++ Network.HTTP2.encodeUInt32BE value

def Network.HTTP2.encodeSettingsPayload (params : List (SettingsKeyId × UInt32)) : ByteArray

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildSettingsFrame (params : List (SettingsKeyId × UInt32)) (isAck : Bool := false) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildPingFrame (opaqueData : ByteArray) (isAck : Bool := false) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildGoawayFrame (lastStreamId : StreamId) (errorCode : ErrorCode) (debugData : ByteArray := ByteArray.empty) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildWindowUpdateFrame (streamId : StreamId) (increment : UInt32) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildRstStreamFrame (streamId : StreamId) (errorCode : ErrorCode) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildHeadersFrame (streamId : StreamId) (headerBlock : ByteArray) (endStream : Bool := false) (endHeaders : Bool := true) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.buildDataFrame (streamId : StreamId) (payload : ByteArray) (endStream : Bool := false) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.encodePriority (exclusive : Bool) (dependency : StreamId) (weight : UInt8) : ByteArray

Equations

• Network.HTTP2.encodePriority exclusive dependency weight = (Network.HTTP2.encodeUInt32BE (if exclusive = true then dependency.val ||| 2147483648 else dependency.val)).push weight

def Network.HTTP2.encodePadding (payload : ByteArray) (padLen : Nat) : ByteArray

Equations

• Network.HTTP2.encodePadding payload padLen = List.foldl (fun (acc : ByteArray) (x : Nat) => acc.push 0) (ByteArray.empty.push (min padLen 255).toUInt8 ++ payload) (List.range padLen)

def Network.HTTP2.buildContinuationFrame (streamId : StreamId) (headerBlock : ByteArray) (endHeaders : Bool := false) : Frame

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP2.splitHeaderBlock (block : ByteArray) (maxSize : Nat) : List ByteArray

Equations

• Network.HTTP2.splitHeaderBlock block maxSize = if (maxSize == 0) = true then [block] else Network.HTTP2.splitHeaderBlock.go block maxSize 0 [] (block.size / maxSize + 1)

def Network.HTTP2.splitHeaderBlock.go (block : ByteArray) (maxSize offset : Nat) (acc : List ByteArray) (fuel : Nat) : List ByteArray

Equations

• One or more equations did not get rendered due to their size.
• Network.HTTP2.splitHeaderBlock.go block maxSize offset acc 0 = acc.reverse