<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Tools (libabsolute.Libabsolute.Tools)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/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">libabsolute</a> &#x00BB; <a href="../index.html">Libabsolute</a> &#x00BB; Tools</nav><header class="odoc-preamble"><h1>Module <code><span>Libabsolute.Tools</span></code></h1><p>This module defines diverse utilities</p></header><nav class="odoc-toc"><ul><li><a href="#printing-stuff">Printing stuff</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec exception anchored" id="exception-Bot_found"><a href="#exception-Bot_found" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Bot_found</span></span></code></div><div class="spec-doc"><p>exception for bottom values</p></div></div><h2 id="printing-stuff"><a href="#printing-stuff" class="anchor"></a>Printing stuff</h2><div class="odoc-spec"><div class="spec value anchored" id="val-fail_fmt"><a href="#val-fail_fmt" class="anchor"></a><code><span><span class="keyword">val</span> fail_fmt : <span><span><span>(<span class="type-var">'a</span>, <span class="xref-unresolved">Stdlib</span>.Format.formatter, unit, <span class="type-var">'b</span>)</span> <span class="xref-unresolved">Stdlib</span>.format4</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span></span></code></div><div class="spec-doc"><p>same as <code>failwith</code> but uses a format instead</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-invalid_fmt"><a href="#val-invalid_fmt" class="anchor"></a><code><span><span class="keyword">val</span> invalid_fmt : <span><span><span>(<span class="type-var">'a</span>, <span class="xref-unresolved">Stdlib</span>.Format.formatter, unit, <span class="type-var">'b</span>)</span> <span class="xref-unresolved">Stdlib</span>.format4</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span></span></code></div><div class="spec-doc"><p>same as <code>invalid_arg</code> but uses a format instead</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inplace_print"><a href="#val-inplace_print" class="anchor"></a><code><span><span class="keyword">val</span> inplace_print : <span>unit <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>printing that erases previous output. should not be intertwined with other prints</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_list_sep"><a href="#val-pp_list_sep" class="anchor"></a><code><span><span class="keyword">val</span> pp_list_sep : 
  <span>string <span class="arrow">&#45;&gt;</span></span>
  <span><span>(<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> unit)</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
  <span><span><span class="type-var">'a</span> list</span> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div><div class="spec-doc"><p>same as <code>Format.pp_print_list</code> but with a string as a separator</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-swap_pair"><a href="#val-swap_pair" class="anchor"></a><code><span><span class="keyword">val</span> swap_pair : <span><span>(<span class="type-var">'a</span> * <span class="type-var">'b</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span> * <span class="type-var">'d</span></span></code></div><div class="spec-doc"><p>misc</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold_on_combination_2"><a href="#val-fold_on_combination_2" class="anchor"></a><code><span><span class="keyword">val</span> fold_on_combination_2 : 
  <span><span class="optlabel">?duplicate</span>:bool <span class="arrow">&#45;&gt;</span></span>
  <span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'c</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'d</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="type-var">'e</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span><span class="type-var">'f</span> array</span> <span class="arrow">&#45;&gt;</span></span>
  <span class="type-var">'g</span></span></code></div><div class="spec-doc"><p>folder on all possible combinations of size 2 of an array</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-meet_bot"><a href="#val-meet_bot" class="anchor"></a><code><span><span class="keyword">val</span> meet_bot : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'d</span> option</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'b</span> option</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'e</span> option</span></span></code></div><div class="spec-doc"><p>meet on options</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-merge_bot"><a href="#val-merge_bot" class="anchor"></a><code><span><span class="keyword">val</span> merge_bot : <span><span><span class="type-var">'a</span> option</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'b</span> option</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'c</span> * <span class="type-var">'d</span>)</span> option</span></span></code></div><div class="spec-doc"><p>merge on options</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-join_bot2"><a href="#val-join_bot2" class="anchor"></a><code><span><span class="keyword">val</span> join_bot2 : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'d</span> option</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'d</span> option</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'d</span> option</span></span></code></div><div class="spec-doc"><p>join on options</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-VarMap"><a href="#module-VarMap" class="anchor"></a><code><span><span class="keyword">module</span> <a href="VarMap/index.html">VarMap</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>only one instanciation forall variable maps modules</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-list_pick"><a href="#val-list_pick" class="anchor"></a><code><span><span class="keyword">val</span> list_pick : <span><span><span class="type-var">'a</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'b</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-VarSet"><a href="#module-VarSet" class="anchor"></a><code><span><span class="keyword">module</span> <a href="VarSet/index.html">VarSet</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div></div></body></html>
