def names.cons

bend-toon-codec@0.1.0.0 · src/hdr.bend:57

import Base

57def names.cons(+r: Result<&2, &2, String, String>, +rest: Result<&2, &2, String, List<&2, String>>) -> Result<&2, &2, String, List<&2, String>>:
58  match r rest:
59    case Done{n} Done{ns}:
60      Done{Con{n, ns}}
61    case Fail{e} _:
62      Fail{e}
63    case _ Fail{e}:
64      Fail{e}