~/jendhub

def client.stream.adjust

bend-kit-http2@0.4.0.0 · http2.bend:560

import bend-kit-http2@0.4.0.0/http2.bend as Http2
import Base

560def client.stream.adjust(s: Stream, delta: U32) -> Maybe<&1, Stream>:
561  Stream{id, send_window, recv_window, local_end, remote_end, head, headers, partial, body, outgoing} = s
562  Maybe.map(&1, U32, Stream,
563    next => Stream{id, next, recv_window, local_end, remote_end, head, headers, partial, body, outgoing},
564    client.window.adjust(send_window, delta))

Uses (5)

Used by (1)