Documentation

Lean.Data.Json.Stream

Consumes nBytes bytes from the stream, interprets the bytes as a utf-8 string and the string as a valid JSON object.

Equations
Instances For
    Equations
    • h.writeJson j = do h.putStr j.compress h.flush
    Instances For