Documentation

Lean.Data.Json.Stream

def IO.FS.Stream.readUTF8 (h : Stream) (nBytes : Nat) :
Equations
Instances For

    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