~/jendhub

def esc.one

bend-net-json@0.3.0.0 · json.bend:187

import bend-net-json@0.3.0.0/json.bend as Json
import Base

187# One escape after the backslash.
188def esc.one(t: String) -> Maybe<&2, Esc>:
189  match t:
190    case SNil{}:
191      None{}
192    case SCon{Chr{+e}, +u}:
193      +v = esc.simple(e)
194      Bool.pick(Maybe<&2, Esc>, U32.is_eq(e, 117), esc.u(hex4(u)), Bool.pick(Maybe<&2, Esc>, U32.is_eq(v, 99), None{}, Some{Esc{v, u}}))

Uses (9)

Used by (1)