def Http.step.size.go

bend-kube-runtime@0.2.0.0 · src/http.bend:339

import Base

339def Http.step.size.go(+size: U32, lf: Bool, ext: Bool, h: Maybe<&2, U32>, semi: Bool,
340  cr: Bool, any: Bool) -> Phase:
341  match lf ext h semi cr any:
342    case True{} _ _ _ _ True{}:
343      Http.step.size.end(size, U32.is_eq(size, 0))
344    case True{} _ _ _ _ False{}:
345      PErr{"empty chunk size"}
346    case False{} True{} _ _ _ _:
347      PSize{size, True{}, any}
348    case False{} False{} Some{v} _ _ _:
349      Http.step.size.digit(size, v, U32.is_ge(size, 134217728))
350    case False{} False{} None{} True{} _ _:
351      PSize{size, True{}, any}
352    case False{} False{} None{} False{} True{} _:
353      PSize{size, ext, any}
354    case _ _ _ _ _ _:
355      PErr{"bad chunk size"}