def key.end

bend-toon-codec@0.1.0.0 · src/prim.bend:80

import Base
import bend-toon-codec@0.1.0.0/src/text.bend as T

80def key.end(+r: Result<&2, &2, String, T.Cut>) -> Result<&2, &2, String, String>:
81  match r:
82    case Fail{e}:
83      Fail{e}
84    case Done{T.Cut{v, rest}}:
85      key.rest(String.is_empty(rest), v)