Source

json-wheel-custom / html / Json_io.Pretty.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="Json_io.Fast.html">
<link rel="Up" href="Json_io.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Json_type" rel="Chapter" href="Json_type.html">
<link title="Json_io" rel="Chapter" href="Json_io.html">
<link title="Json_compat" rel="Chapter" href="Json_compat.html"><title>Json_io.Pretty</title>
</head>
<body>
<div class="navbar"><a href="Json_io.Fast.html">Previous</a>
&nbsp;<a href="Json_io.html">Up</a>
&nbsp;</div>
<center><h1>Module <a href="type_Json_io.Pretty.html">Json_io.Pretty</a></h1></center>
<br>
<pre><span class="keyword">module</span> Pretty: <code class="code">sig</code> <a href="Json_io.Pretty.html">..</a> <code class="code">end</code></pre>Conversion of JSON data to indented text.<br>
<hr width="100%">
<pre><span class="keyword">val</span> <a name="VALprint"></a>print : <code class="type">?allow_nan:bool -> ?recursive:bool -> Format.formatter -> <a href="Json_type.html#TYPEt">Json_type.t</a> -> unit</code></pre><div class="info">
Generic pretty-printing function. 
    See the standard <code class="code">Format</code> module
    for how to create and use formatters.
<p>

    In general, <a href="Json_io.html#VALstring_of_json"><code class="code">Json_io.string_of_json</code></a> and 
    <a href="Json_io.html#VALsave_json"><code class="code">Json_io.save_json</code></a> are more convenient.<br>
</div>
</body></html>