~/jendhub

def push

bend-toon-codec@0.1.0.0 · src/text.bend:172

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

172def push(+c: U32, +r: Result<&2, &2, String, Cut>) -> Result<&2, &2, String, Cut>:
173  match r:
174    case Fail{e}:
175      Fail{e}
176    case Done{Cut{v, rest}}:
177      Done{Cut{SCon{Chr{c}, v}, rest}}

Uses (5)

Used by (1)