The JSONPrinter structure implements a printer for the
JSON.value type.
Synopsis
structure JSONPrinter
Interface
val print : TextIO.outstream * JSON.value -> unit
val print' : {strm : TextIO.outstream, pretty : bool} -> JSON.value -> unit
Description
val print : TextIO.outstream * JSON.value -> unit-
print (outS, jv)prints the JSON valuejvto the outstreamoutSin condensed format (i.e., without newlines or indentation). val print' : {strm : TextIO.outstream, pretty : bool} -> JSON.value -> unit-
print' {outS, pretty} jvprints the JSON valuejvto the outstreamoutS, where the value of theprettyfield controls whether the output is condensed (whenprettyisfalse) or printed with new lines and indentation to improve readability (whenprettyistrue).