Module JSON.Pretty
Author
Jonas Oberschweiber, Michael Hanus
Version
February 2025
This library contains the implementation of a pretty-printer for JSON values so that one can show these values in the standard textual format.
Exported Functions
Pretty print a JSON value with the default options of Curry's Pretty module.
Turn a JSON value into a Doc from Curry's Pretty module. JSON numbers are printed as integers if appropriate.