def client.streams.adjust

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

import Base

566def client.streams.adjust(xs: List<&1, Stream>, +delta: U32) -> Maybe<&1, List<&1, Stream>>:
567  match xs:
568    case Nil{}:
569      Some{Nil{}}
570    case Con{first, rest}:
571      Maybe.bind(&1, Stream, List<&1, Stream>, client.stream.adjust(first, delta), updated =>
572        Maybe.map(&1, List<&1, Stream>, List<&1, Stream>, tail => Con{updated, tail},
573          client.streams.adjust(rest, delta)))