law parses_unicode_escape

qasim-bend-kit@0.1.0.2 · LAWS.bend:206

import qasim-bend-kit@0.1.0.2/LAWS.bend as LAWS
import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as Json

206# Unicode escapes decode to their scalar value, including a surrogate pair.
207law parses_unicode_escape:
208    { Json.parse("\"\\u263A\"") == Done{Json.Str{"\u{263a}"}} :
209        Result<&1, &1, Json.Error, Json.Value> }

Uses (4)

Used by (0)

No other definition uses this definition.