def client.goaway.filter

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

import Base

831def client.goaway.filter(xs: List<&1, Stream>, +last: U32) -> Gone:
832  match xs:
833    case Nil{}:
834      Gone{Nil{}, 0, Nil{}}
835    case Con{Stream{+id, send_window, recv_window, local_end, remote_end,
836        head, headers, partial, body, outgoing}, rest}:
837      client.goaway.cons(U32.is_le(id, last),
838        Stream{id, send_window, recv_window, local_end, remote_end, head, headers, partial, body, outgoing},
839        id, client.goaway.filter(rest, last))