simon/tiny_httpd
1
0
Fork 0
mirror of https://github.com/c-cube/tiny_httpd.git synced 2026-01-22 09:26:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
tiny_httpd/ocaml/Printtyp/index.html
c-cube 8e524924a5 deploy: f3461cfd21
2025-03-21 12:40:14 +00:00

23 lines
15 KiB
HTML
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Printtyp (ocaml.Printtyp)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">Index</a> &#x00BB; <a href="../index.html">ocaml</a> &#x00BB; Printtyp</nav><header class="odoc-preamble"><h1>Module <code><span>Printtyp</span></code></h1><p>Printing functions</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type subst anchored" id="type-namespace"><a href="#type-namespace" class="anchor"></a><code><span><span class="keyword">type</span> namespace</span><span> := <a href="../Shape/Sig_component_kind/index.html#type-t">Shape.Sig_component_kind.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-namespaced_ident"><a href="#val-namespaced_ident" class="anchor"></a><code><span><span class="keyword">val</span> namespaced_ident : <span><a href="#type-namespace">namespace</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-string_of_path"><a href="#val-string_of_path" class="anchor"></a><code><span><span class="keyword">val</span> string_of_path : <span><a href="../Path/index.html#type-t">Path.t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-strings_of_paths"><a href="#val-strings_of_paths" class="anchor"></a><code><span><span class="keyword">val</span> strings_of_paths : <span><a href="#type-namespace">namespace</a> <span class="arrow">&#45;&gt;</span></span> <span><span><a href="../Path/index.html#type-t">Path.t</a> list</span> <span class="arrow">&#45;&gt;</span></span> <span>string list</span></span></code></div><div class="spec-doc"><p>Print a list of paths, using the same naming context to avoid name collisions</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-printed_signature"><a href="#val-printed_signature" class="anchor"></a><code><span><span class="keyword">val</span> printed_signature :
<span>string <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Stdlib/Format/index.html#type-formatter">Stdlib.Format.formatter</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-signature">Types.signature</a> <span class="arrow">&#45;&gt;</span></span>
unit</span></code></div><div class="spec-doc"><p><code>printed_signature sourcefile ppf sg</code> print the signature <code>sg</code> of <code>sourcefile</code> with potential warnings for name collisions</p></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-Printers"><a href="#module-type-Printers" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-Printers/index.html">Printers</a></span><span> := <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Doc"><a href="#module-Doc" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Doc/index.html">Doc</a></span><span> : <a href="module-type-Printers/index.html">Printers</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <span>'a <a href="module-type-Printers/index.html#type-printer">printer</a></span> := <span><span class="type-var">'a</span> <a href="../Format_doc/index.html#type-printer">Format_doc.printer</a></span></span></span></code></div></div><div class="odoc-include"><div class="spec-doc"><p>For compatibility with Format printers</p></div><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <a href="module-type-Printers/index.html">Printers</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <span>'a <a href="module-type-Printers/index.html#type-printer">printer</a></span> := <span><span class="type-var">'a</span> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></span></code></summary><div class="odoc-spec"><div class="spec value anchored" id="val-wrap_printing_env"><a href="#val-wrap_printing_env" class="anchor"></a><code><span><span class="keyword">val</span> wrap_printing_env : <span><span class="label">error</span>:bool <span class="arrow">&#45;&gt;</span></span> <span><a href="../Env/index.html#type-t">Env.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span>unit <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p>Call the function using the environment for type path shortening This affects all the printing functions below Also, if <code>~error:true</code>, then disable the loading of cmis</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-longident"><a href="#val-longident" class="anchor"></a><code><span><span class="keyword">val</span> longident : <span><a href="../Longident/index.html#type-t">Longident.t</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-ident"><a href="#val-ident" class="anchor"></a><code><span><span class="keyword">val</span> ident : <span><a href="../Ident/index.html#type-t">Ident.t</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-path"><a href="#val-path" class="anchor"></a><code><span><span class="keyword">val</span> path : <span><a href="../Path/index.html#type-t">Path.t</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_path"><a href="#val-type_path" class="anchor"></a><code><span><span class="keyword">val</span> type_path : <span><a href="../Path/index.html#type-t">Path.t</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div><div class="spec-doc"><p>Print a type path taking account of <code>-short-paths</code>. Calls should be within <code>wrap_printing_env</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_expr"><a href="#val-type_expr" class="anchor"></a><code><span><span class="keyword">val</span> type_expr : <span><a href="../Types/index.html#type-type_expr">Types.type_expr</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div><div class="spec-doc"><p>Print out a type. This will pick names for type variables, and will not reuse names for common type variables shared across multiple type expressions. (It will also reset the printing state, which matters for other type formatters such as <code>prepared_type_expr</code>.) If you want multiple types to use common names for type variables, see <a href="../Out_type/index.html#val-prepare_for_printing"><code>Out_type.prepare_for_printing</code></a> and <a href="../Out_type/index.html#val-prepared_type_expr"><code>Out_type.prepared_type_expr</code></a>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_scheme"><a href="#val-type_scheme" class="anchor"></a><code><span><span class="keyword">val</span> type_scheme : <span><a href="../Types/index.html#type-type_expr">Types.type_expr</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-shared_type_scheme"><a href="#val-shared_type_scheme" class="anchor"></a><code><span><span class="keyword">val</span> shared_type_scheme : <span><a href="../Types/index.html#type-type_expr">Types.type_expr</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div><div class="spec-doc"><p><code>shared_type_scheme</code> is very similar to <code>type_scheme</code>, but does not reset the printing context first. This is intended to be used in cases where the printing should have a particularly wide context, such as documentation generators; most use cases, such as error messages, have narrower contexts for which <code>type_scheme</code> is better suited.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_expansion"><a href="#val-type_expansion" class="anchor"></a><code><span><span class="keyword">val</span> type_expansion :
<span><a href="../Out_type/index.html#type-type_or_scheme">Out_type.type_or_scheme</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Errortrace/index.html#type-expanded_type">Errortrace.expanded_type</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-label"><a href="#val-label" class="anchor"></a><code><span><span class="keyword">val</span> label : <span><a href="../Types/index.html#type-label_declaration">Types.label_declaration</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-constructor"><a href="#val-constructor" class="anchor"></a><code><span><span class="keyword">val</span> constructor : <span><a href="../Types/index.html#type-constructor_declaration">Types.constructor_declaration</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-constructor_arguments"><a href="#val-constructor_arguments" class="anchor"></a><code><span><span class="keyword">val</span> constructor_arguments :
<span><a href="../Types/index.html#type-constructor_arguments">Types.constructor_arguments</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-extension_constructor"><a href="#val-extension_constructor" class="anchor"></a><code><span><span class="keyword">val</span> extension_constructor :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-extension_constructor">Types.extension_constructor</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div><div class="spec-doc"><p>Prints extension constructor with the type signature: type ('a, 'b) bar += A of float</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-extension_only_constructor"><a href="#val-extension_only_constructor" class="anchor"></a><code><span><span class="keyword">val</span> extension_only_constructor :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-extension_constructor">Types.extension_constructor</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div><div class="spec-doc"><p>Prints only extension constructor without type signature: A of float</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-value_description"><a href="#val-value_description" class="anchor"></a><code><span><span class="keyword">val</span> value_description :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-value_description">Types.value_description</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_declaration"><a href="#val-type_declaration" class="anchor"></a><code><span><span class="keyword">val</span> type_declaration :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-type_declaration">Types.type_declaration</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-modtype_declaration"><a href="#val-modtype_declaration" class="anchor"></a><code><span><span class="keyword">val</span> modtype_declaration :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-modtype_declaration">Types.modtype_declaration</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-class_declaration"><a href="#val-class_declaration" class="anchor"></a><code><span><span class="keyword">val</span> class_declaration :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-class_declaration">Types.class_declaration</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cltype_declaration"><a href="#val-cltype_declaration" class="anchor"></a><code><span><span class="keyword">val</span> cltype_declaration :
<span><a href="../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="../Types/index.html#type-class_type_declaration">Types.class_type_declaration</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-modtype"><a href="#val-modtype" class="anchor"></a><code><span><span class="keyword">val</span> modtype : <span><a href="../Types/index.html#type-module_type">Types.module_type</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-signature"><a href="#val-signature" class="anchor"></a><code><span><span class="keyword">val</span> signature : <span><a href="../Types/index.html#type-signature">Types.signature</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-class_type"><a href="#val-class_type" class="anchor"></a><code><span><span class="keyword">val</span> class_type : <span><a href="../Types/index.html#type-class_type">Types.class_type</a> <a href="../Format_doc/index.html#type-format_printer">Format_doc.format_printer</a></span></span></code></div></div></details></div></div></body></html>
Reference in a new issue View git blame Copy permalink