def hdr.done

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

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

38def hdr.done(+k: Maybe<&2, String>, +r: Result<&2, &2, String, H.Hdr>) -> Result<&2, &2, String, Ent>:
39  match r:
40    case Done{h}:
41      Done{EArr{k, h}}
42    case Fail{e}:
43      Fail{e}