mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-06 03:05:28 -05:00
3 lines
No EOL
6 KiB
HTML
3 lines
No EOL
6 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ANSI_codes (containers.CCFormat.ANSI_codes)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.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">containers</a> » <a href="../index.html">CCFormat</a> » ANSI_codes</nav><header class="odoc-preamble"><h1>Module <code><span>CCFormat.ANSI_codes</span></code></h1><p>ANSI escape codes. This contains lower level functions for them.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 3.5</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type" id="type-color" class="anchored"><a href="#type-color" class="anchor"></a><code><span><span class="keyword">type</span> color</span><span> = </span><span>[ </span></code><table><tr id="type-color.Black" class="anchored"><td class="def constructor"><a href="#type-color.Black" class="anchor"></a><code><span>| </span></code><code><span>`Black</span></code></td></tr><tr id="type-color.Red" class="anchored"><td class="def constructor"><a href="#type-color.Red" class="anchor"></a><code><span>| </span></code><code><span>`Red</span></code></td></tr><tr id="type-color.Yellow" class="anchored"><td class="def constructor"><a href="#type-color.Yellow" class="anchor"></a><code><span>| </span></code><code><span>`Yellow</span></code></td></tr><tr id="type-color.Green" class="anchored"><td class="def constructor"><a href="#type-color.Green" class="anchor"></a><code><span>| </span></code><code><span>`Green</span></code></td></tr><tr id="type-color.Blue" class="anchored"><td class="def constructor"><a href="#type-color.Blue" class="anchor"></a><code><span>| </span></code><code><span>`Blue</span></code></td></tr><tr id="type-color.Magenta" class="anchored"><td class="def constructor"><a href="#type-color.Magenta" class="anchor"></a><code><span>| </span></code><code><span>`Magenta</span></code></td></tr><tr id="type-color.Cyan" class="anchored"><td class="def constructor"><a href="#type-color.Cyan" class="anchor"></a><code><span>| </span></code><code><span>`Cyan</span></code></td></tr><tr id="type-color.White" class="anchored"><td class="def constructor"><a href="#type-color.White" class="anchor"></a><code><span>| </span></code><code><span>`White</span></code></td></tr></table><code><span> ]</span></code></div><div class="spec-doc"><p>An ANSI color</p></div></div><div class="odoc-spec"><div class="spec type" id="type-style" class="anchored"><a href="#type-style" class="anchor"></a><code><span><span class="keyword">type</span> style</span><span> = </span><span>[ </span></code><table><tr id="type-style.FG" class="anchored"><td class="def constructor"><a href="#type-style.FG" class="anchor"></a><code><span>| </span></code><code><span>`FG <span class="keyword">of</span> <a href="#type-color">color</a></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>foreground</p><span class="comment-delim">*)</span></td></tr><tr id="type-style.BG" class="anchored"><td class="def constructor"><a href="#type-style.BG" class="anchor"></a><code><span>| </span></code><code><span>`BG <span class="keyword">of</span> <a href="#type-color">color</a></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>background</p><span class="comment-delim">*)</span></td></tr><tr id="type-style.Bold" class="anchored"><td class="def constructor"><a href="#type-style.Bold" class="anchor"></a><code><span>| </span></code><code><span>`Bold</span></code></td></tr><tr id="type-style.Reset" class="anchored"><td class="def constructor"><a href="#type-style.Reset" class="anchor"></a><code><span>| </span></code><code><span>`Reset</span></code></td></tr></table><code><span> ]</span></code></div><div class="spec-doc"><p>A style. Styles can be composed in a list.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-clear_line" class="anchored"><a href="#val-clear_line" class="anchor"></a><code><span><span class="keyword">val</span> clear_line : string</span></code></div><div class="spec-doc"><p><code>clear_line</code> is an escape code to clear the current line. It is very useful for progress bars; for example:</p><pre><code>let pp_progress i =
|
||
Printf.printf "%sprogress at %d%!" ANSI_codes.clear_line i</code></pre><p>if called repeatedly this will print successive progress messages on a single line.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-reset" class="anchored"><a href="#val-reset" class="anchor"></a><code><span><span class="keyword">val</span> reset : string</span></code></div><div class="spec-doc"><p>The escape code to reset style (colors, bold, etc.)</p></div></div><div class="odoc-spec"><div class="spec value" id="val-string_of_style" class="anchored"><a href="#val-string_of_style" class="anchor"></a><code><span><span class="keyword">val</span> string_of_style : <span><a href="#type-style">style</a> <span class="arrow">-></span></span> string</span></code></div><div class="spec-doc"><p><code>string_of_style st</code> is an escape code to set the current style to <code>st</code>. It can be printed as is on any output that is a compatible terminal.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-string_of_style_list" class="anchored"><a href="#val-string_of_style_list" class="anchor"></a><code><span><span class="keyword">val</span> string_of_style_list : <span><span><a href="#type-style">style</a> list</span> <span class="arrow">-></span></span> string</span></code></div><div class="spec-doc"><p><code>string_of_style_list styles</code> is an escape code for multiple styles at once. For example <code>string_of_style_list ANSI_codes.([`FG `Red; `BG `Green; `Bold])</code> is a very shiny style.</p></div></div></div></body></html> |