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
    Instances For