@@ -88,23 +88,24 @@ text t = B.char8 '"' <> unquoted t <> B.char8 '"'
8888-- | Encode a JSON string, without enclosing quotes.
8989unquoted :: T.Text -> Builder
9090unquoted t = TE.encodeUtf8BuilderEscaped escapeAscii t
91− where
92− escapeAscii :: BP.BoundedPrim Word8
93− escapeAscii =
94− BP.condB (== c2w '\\' ) (ascii2 ('\\','\\')) $
95− BP.condB (== c2w '\"' ) (ascii2 ('\\','"' )) $
96− BP.condB (>= c2w '\x20') (BP.liftFixedToBounded BP.word8) $
97− BP.condB (== c2w '\n' ) (ascii2 ('\\','n' )) $
98− BP.condB (== c2w '\r' ) (ascii2 ('\\','r' )) $
99− BP.condB (== c2w '\t' ) (ascii2 ('\\','t' )) $
100− (BP.liftFixedToBounded hexEscape) -- fallback for chars < 0x20
101−
102− c2w = fromIntegral . ord
10391
92+escapeAscii :: BP.BoundedPrim Word8
93+escapeAscii =
94+ BP.condB (== c2w '\\' ) (ascii2 ('\\','\\')) $
95+ BP.condB (== c2w '\"' ) (ascii2 ('\\','"' )) $
96+ BP.condB (>= c2w '\x20') (BP.liftFixedToBounded BP.word8) $
97+ BP.condB (== c2w '\n' ) (ascii2 ('\\','n' )) $
98+ BP.condB (== c2w '\r' ) (ascii2 ('\\','r' )) $
99+ BP.condB (== c2w '\t' ) (ascii2 ('\\','t' )) $
100+ (BP.liftFixedToBounded hexEscape) -- fallback for chars < 0x20
101+ where
104102 hexEscape :: BP.FixedPrim Word8
105103 hexEscape = (\c -> ('\\', ('u', fromIntegral c))) BP.>$<
106104 BP.char8 >*< BP.char8 >*< BP.word16HexFixed
107105
106+c2w :: Char -> Word8
107+c2w c = fromIntegral (ord c)
108+
108109-- | Encode a JSON number.
109110number :: Scientific -> Builder
110111number s