def hdr.at

bend-toon-codec@0.1.0.0 · src/entry.bend:90

import Base
import bend-toon-codec@0.1.0.0/src/split.bend as S
import bend-toon-codec@0.1.0.0/src/hdr.bend as H

90def hdr.at(+strict: Bool, +text: String, +ci: U32, +bi: U32, +r: Result<&2, &2, String, H.Hdr>) -> Result<&2, &2, String, Ent>:
91  match r:
92    case Done{h}:
93      Done{EArr{key.opt(String.take(text, U32.to_nat(bi))), h}}
94    case Fail{e}:
95      hdr.bad(U32.is_eq(ci, S.none()), strict, e, text, ci)