def wire.read.count.at

emerging-ezhttp@0.21.0.0 · src/wirespec.bend:231

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

231# a read of m octets: none is the close
232def wire.read.count.at(+h: Http.Hear, +m: Nat, closed: Bool)
233  -> Maybe<&2, Read>:
234  match closed:
235    case True{}:
236      Some{Heard{}}
237    case False{}:
238      wire.read.counted(h, m, Http.hear.counts(h, m))