The JSONStreamPrinter structure

The JSONStreamPrinter structure provides an imperative printer for producing JSON output to a TextIO output stream.

Synopsis

structure JSONStreamPrinter : JSON_STREAM_OUTPUT
    where type outstream = outstream