def wire.read.counted

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

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

223# a read of m octets judged by its count, when that is enough to judge it
224def wire.read.counted(+h: Http.Hear, +m: Nat, counts: Bool) -> Maybe<&2, Read>:
225  match counts:
226    case True{}:
227      Some{wire.read.with(Http.hear.more.n(h, m))}
228    case False{}:
229      None{}