- idle : StreamState
- open : StreamState
- halfClosedLocal : StreamState
- halfClosedRemote : StreamState
- resetLocal : StreamState
- resetRemote : StreamState
- closed : StreamState
- reservedLocal : StreamState
- reservedRemote : StreamState
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[implicit_reducible]
Equations
@[implicit_reducible]
Equations
@[implicit_reducible]
Equations
Equations
- Network.HTTP2.instBEqStreamState.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
@[implicit_reducible]
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[implicit_reducible]
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[implicit_reducible]
Equations
@[inline]
Instances For
Equations
Instances For
- streams : Std.HashMap StreamId StreamInfo
- lastClientStreamId : StreamId
- lastServerStreamId : StreamId
- nextServerStreamId : StreamId
Instances For
@[implicit_reducible]
Equations
Equations
Instances For
@[implicit_reducible]
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Network.HTTP2.StreamTable.openClientStream
(table : StreamTable)
(streamId : StreamId)
(initialWindow : Int)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Network.HTTP2.StreamTable.updateState
(table : StreamTable)
(streamId : StreamId)
(state : StreamState)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Network.HTTP2.StreamTable.updatePriority
(table : StreamTable)
(streamId : StreamId)
(exclusive : Bool)
(dependency : StreamId)
(weight : UInt8)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.